Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package com.meyling.principia.logic.basic

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".

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.