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 PackageTest.TestReader PredicateVariable PropositionVariable PropositionVariables Quantifier RegularArgumentList SubjectVariable SubjectVariables TestConjunction UniversalQuantifier