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