com.meyling.principia.logic.rule
Interfaces
Rule
RuleConstants
Classes
AddAxiom
AddSentence
ApplyAxiom
ApplySentence
ConjunctionRule
ElementaryEquivalence
Generalization
HypotheticalSyllogism
LeftAddition
LeftAdditionConjunction
LeftAdditionEquivalence
LeftAdditionImplication
LinkReference
ModusPonens
Particularization
RenameBoundSubjectVariable
RenameFreeSubjectVariable
ReplacePredicateVariable
ReplacePropositionVariable
ReverseAbbreviation
ReverseImplication
RightAddition
RightAdditionConjunction
RightAdditionEquivalence
RightAdditionImplication
RuleCreator
SubstLine
UseAbbreviation