com.meyling.principia.logic.basic
Interfaces
BasicConstants
Formula
SubjectVariableMarker
Classes
AbstractFormula
BasicCreator
BasicFormulaPatternVariable
BasicPatternVariable
BasicPatternVariables
BasicPredicateVariablePatternVariable
BasicSubjectVariablePatternVariable
Conjunction
Disjunction
Equivalence
ExistentialQuantifier
Implication
LogicalOperatorWithTwoFormulas
Negation
PackageTest
PredicateVariable
PropositionVariable
PropositionVariables
Quantifier
RegularArgumentList
SubjectVariable
SubjectVariables
TestConjunction
UniversalQuantifier