Hilbert II - JAVA-Packages - Principia Mathematica II

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


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.