org.qedeq.kernel.se.base.module
Interface Universal

All Superinterfaces:

Reason

All Known Implementing Classes:

UniversalVo

public interface Universal
extends Reason

Rule of universal generalization.

   A -> B(x)
  -------------------
   A -> forall x  B(x)
 

Author:

Michael Meyling

Method Summary

java.lang.String	getReference() Get reference to formula.
Element	getSubjectVariable() Get free subject variable we want to quantify over.
Universal	getUniversal() Get this reason.

Methods inherited from interface org.qedeq.kernel.se.base.module.Reason

getName, getReferences

Method Detail

getUniversal

Universal getUniversal()

Get this reason.

Returns:

This reason.

getReference

java.lang.String getReference()

Get reference to formula. Usually this a formula of type A -> B(x)

Returns:

Reference to previously proved formula.

getSubjectVariable

Element getSubjectVariable()

Get free subject variable we want to quantify over.

Returns:

Free subject variable.