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