public List<IntroductionRule> introductionRules(){
List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
- nodes.addAll(super.introductionRules());
+ nodes.addAll(super.introductionRules()); //aggiunge la regola di R.A.A.
+
+ //Regola di introduzione dell'implicazione
+
RuleIntroduction implIntro=new RuleIntroduction("⇒i",10);
Node ImplN=new Node(rightF);
List<Formula> implHP=new ArrayList<Formula>();
thisNode.addChild(ImplN);
implIntro.tempRule=thisNode;
nodes.add(implIntro);
+
return nodes;
}
public List<EliminationRule> EliminationRules()