Uses of Class
com.meyling.principia.logic.basic.AbstractFormula

Packages that use AbstractFormula

com.meyling.principia.logic.basic

Uses of AbstractFormula in com.meyling.principia.logic.basic

Subclasses of AbstractFormula in com.meyling.principia.logic.basic

class	Conjunction Conjunction of formulas.
class	Disjunction Disjunction of formulas.
class	Equivalence Equivalence of formulas.
class	ExistentialQuantifier Existential quantifier, logical "exists".
class	Implication Implication of formulas.
class	LogicalOperatorWithTwoFormulas LogicalOperatorWithTwoFormulas of formulas.
class	Negation Logical negation, logical "not".
class	PredicateVariable Predicate variable with argument list.
class	PropositionVariable Represents an arbitrary logical proposition.
class	Quantifier Basis class for Quantifier.
class	UniversalQuantifier Universal qualifier, logical "for all".