New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaNot.java b/mainActivity/src/com/example/furt/myapplication/FormulaNot.java
index f8b0d37662acb5febfa12758681b95ee7f091da6..6bd80e54f602c6e199353087e750cf2ac526f1fe 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/FormulaNot.java
+++ b/mainActivity/src/com/example/furt/myapplication/FormulaNot.java
@@ -27,6 +27,8 @@ public class FormulaNot extends GenericFormula implements Formula{
 
     public List<IntroductionRule> introductionRules(){
         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
+
+        //Introduzione del not (NOTA: il not non eredita la regola di riduzione ad assurdo)
         RuleIntroduction notIntro=new RuleIntroduction("¬i",4);
         Node notN=new Node(new FormulaBOT());
         List<Formula> notHP=new ArrayList<Formula>();
@@ -63,4 +65,4 @@ public class FormulaNot extends GenericFormula implements Formula{
     public Formula duplicate() {
         return new FormulaNot(Operand.duplicate());
     }
-}
\ No newline at end of file
+}