Package Raptor.NDRules

Class Summary

AndElim	Implements the And Elmination rule. Extends abstract class Rule.
AndIntro	Implements the And Introduction rule Extends abstract class NDRule.
EM	Implements the Excluded Middle(EM) rule Extends abstract class NDRule.
ExistsElim	Implements the Exists Elimination rule.
ExistsIntro	Implements the There Exists Introduction rule. Extends abstract class NDRule.
FalsityElim	Implements the Falsity Elimination rule.
FalsityIntro	Implements the Falsity Introduction rule Extends abstract class NDRule.
ForallArrowElim	Implements the For All Arrow Elimination rule. Extends abstract class NDRule.
ForallElim	Implements the For All Elimination rule. Extends abstract class NDRule.
ForallIntro	Implements the For All Introduction rule.
ForallTick	Implements the For All Tick rule. Extends abstract class NDRule.
IffElim	Implements the Iff Elimination rule Extends abstract class NDRule.
IffElimDerived	Implements the Iff Elimination Derived rule Extends abstract class NDRule.
IffIntro	Implements the Iff Introduction rule Extends abstract class NDRule.
IffIntroDerived	Implements the Iff Introduction Derived rule Extends abstract class NDRule.
ImpliesElim	Implements the Implies Elimination rule.
ImpliesIntro	Implements the Implies Introduction rule.
Instantiate	Implements the instantiate rule.
Lemma	Implements the Lemma rule.
NDRule	Abstract NDRule class.
NotElim	Implements the Not Elmination rule Extends abstract class NDRule.
NotIntro	Implements the Not Introduction rule Extends abstract class NDRule.
NotNot	Implements the NotNot rule.
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.
Reflexivity	Implements the Reflexivity rule.
Substitution	Implements the Substitution rule.
Tick	Implements the Tick rule.
TM	Implements the Trust Me rule.
TMTick	Implements the Trust Me Tick rule.
TopIntro	Implements the Top Introduction rule. Extends abstract class Rule.