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

Packages that use LogicalOperatorWithTwoFormulas

com.meyling.principia.logic.basic

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

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

class	Conjunction Conjunction of formulas.
class	Disjunction Disjunction of formulas.
class	Equivalence Equivalence of formulas.
class	Implication Implication of formulas.