corrected wrong negation in negate_quantor

slomo · Oct 10, 2012 · 191313e · 191313e
1 parent be1f5e9
commit 191313e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/operations.py b/operations.py
@@ -19,9 +19,9 @@ def rewrite_binary(binary_formula, left, right, new_op):
 def rewrite_quantor(quantor_formula, not_negated, new_quantor):
 
     if not_negated:
-        new_term = quantor_formula.term.negate()
-    else:
         new_term = quantor_formula.term
+    else:
+        new_term = quantor_formula.term.negate()
 
     return f.Quantor(new_quantor, quantor_formula.variables, transform(new_term))
 
@@ -78,7 +78,7 @@ def inner_function(eq_formula):
         '&'     : beta(False, False),
         '~|'    : beta(True, True),
 
-        '?'     : gamma(True),
+        '?'     : gamma(False),
         '!'     : delta(False),
 
         '~'     : double_negation,