New version (to be tested).

[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / FormulaAnd.java

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaAnd.java b/mainActivity/src/com/example/furt/myapplication/FormulaAnd.java
index 2c81ee93c3b57746646d6a863a0a434941a0aa3c..fe75584e9da66bbcd4abf82d66dd80f2f9c0146e 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/FormulaAnd.java
+++ b/mainActivity/src/com/example/furt/myapplication/FormulaAnd.java
@@ -31,6 +31,8 @@ public class FormulaAnd extends GenericFormula implements Formula
     {
         List<IntroductionRule> rules=new ArrayList<IntroductionRule>();
         rules.addAll(super.introductionRules());
+
+        //Regola di introduzione dell'And
         RuleIntroduction andIntroduction=new RuleIntroduction("∧i",5);
         Node Left=new Node(leftF);
         Node Right=new Node(rightF);
@@ -39,6 +41,7 @@ public class FormulaAnd extends GenericFormula implements Formula
         thisNode.addChild(Right);
         andIntroduction.tempRule=thisNode;
         rules.add(andIntroduction);
+
         return rules;
     }
     public List<EliminationRule> EliminationRules()