|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
BasicConstants | This interface provides constants of this package. |
Formula | This interface tells us about the methods a Formula must have. |
SubjectVariableMarker | Implementions of this marker interface are threated as subject variables. |
Class Summary | |
AbstractFormula | From this abstract implementation of Formula each non abstract Formula must inherit from. |
BasicCreator | This class provides static methods for reading and
writing an Argument . |
BasicFormulaPatternVariable | Pattern variable, for matching purposes. |
BasicPatternVariable | Pattern variable, for matching purposes. |
BasicPatternVariables | Set of pattern variables. |
BasicPredicateVariablePatternVariable | Pattern variable, for matching purposes. |
BasicSubjectVariablePatternVariable | Pattern variable, for matching purposes. |
Conjunction | Conjunction of formulas. |
Disjunction | Disjunction of formulas. |
Equivalence | Equivalence of formulas. |
ExistentialQuantifier | Existential quantifier, logical "exists". |
Implication | Implication of formulas. |
LogicalOperatorWithTwoFormulas | LogicalOperatorWithTwoFormulas of formulas. |
Negation | Logical negation, logical "not". |
PackageTest | General package test. |
PredicateVariable | Predicate variable with argument list. |
PropositionVariable | Represents an arbitrary logical proposition. |
PropositionVariables | Set of proposition variables. |
Quantifier | Basis class for Quantifier. |
RegularArgumentList | A simple collection of arguments. |
SubjectVariable | Subject variable, represents a subject of the universe of discourse. |
SubjectVariables | Set of subject variables. |
TestConjunction | Unit test for class Conjunction. |
UniversalQuantifier | Universal qualifier, logical "for all". |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |