|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |