test/interpreter/test_propositional_logic.rb in hilbert-0.0.2700100 vs test/interpreter/test_propositional_logic.rb in hilbert-0.0.2700110

@@ -25,11 +25,14 @@
     assert_iq_equal('Defined: B -> C is TRUE', 'B -> C')
     assert_iq_equal('Evaluate: A -> C  is TRUE', 'A -> C ?')
   end
 
   def test_paradox?
+    assert_iq_equal('FALSE', 'paradox?')
     assert_iq_equal('Defined: A is TRUE', 'A')
+    assert_iq_equal('FALSE', 'paradox?')
     assert_iq_equal('Defined: ~A is TRUE', '~A')
+    assert_iq_equal('TRUE', 'paradox?')
   end
     # assert_iq_equal('Defined: P(1) is true', "P(1)")
     # assert_iq_equal('Evaluate: P(1) is true', 'P?(1)')
     # assert_iq_equal('Evaluate: P(2) is undefined', 'P?(2)')
     # assert_iq_equal('Evaluate: Q(1) is undefined', 'Q?(1)')