Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.