Package Pandora.NDRules

Class Summary

AndElim	Implements the And Elmination rule. Extends abstract class Rule.
AndIntro	Implements the And Introduction rule. Extends abstract class Rule.
EM	Implements the Excluded Middle(EM) rule. Extends abstract class Rule.
ExistsElim	Implements the There Exists Elimination rule. Extends abstract class Rule.
ExistsIntro	Implements the There Exists Introduction rule. Extends abstract class Rule.
FalsityElim	Implements the Falsity Elimination rule. Extends abstract class Rule.
FalsityIntro	Implements the Falsity Introduction rule. Extends abstract class Rule.
ForallArrowElim	Implements the For All Arrow Elimination rule. Extends abstract class Rule.
ForallArrowIntro	Implements the For All Introduction rule. Extends abstract class Rule.
ForallElim	Implements the For All Elimination rule. Extends abstract class Rule.
ForallIntro	Implements the For All Introduction rule. Extends abstract class Rule.
ForallTick	Implements the For All Tick rule. Extends abstract class Rule.
IffElim	Implements the Iff Elimination rule. Extends abstract class Rule.
IffElimDerived	Implements the Iff Elimination Derived rule. Extends abstract class Rule.
IffIntro	Implements the Iff Introduction rule. Extends abstract class Rule.
IffIntroDerived	Implements the Iff Introduction Derived rule. Extends abstract class Rule.
ImpliesElim	Implements the Implies Elimination rule. Extends abstract class Rule.
ImpliesIntro	Implements the Implies Introduction rule. Extends abstract class Rule.
Instantiate	Implements the instantiate rule.
Lemma	Implements the Lemma rule. Extends abstract class Rule.
NDRule	Abstract Rule class. Extended by each of the rule classes.
NotElim	Implements the Not Elmination rule. Extends abstract class Rule.
NotIntro	Implements the Not Introduction rule. Extends abstract class Rule.
NotNot	Implements the NotNot rule. Extends abstract class NDRule.
OrElim	Implements the Or Elmination rule. Extends abstract class NDRule.
OrIntro	Implements the Or Introduction rule. Extends abstract class NDRule.
Pair
PC	Implements the Proof By Contradiction rule. Extends abstract class NDRule.
Reflexivity	Implements the Reflexivity rule. Extends abstract class NDRule.
Substitution	Implements the Substitution rule. Extends abstract class NDRule.
Tick	Implements the Tick rule.
TM	Implements the Trust Me rule. Extends abstract class NDRule.
TMTick	Implements the Trust Me Tick rule.
TopIntro	Implements the Top Introduction rule. Extends abstract class Rule.