NEW URI

Proof Style English Proof Tree Sentence Format English Raw Lens Magnitude 1 2 3 4 5 10 25 max Lens Width 500 600 700 800 900 1000 1100 1200 1300 1400 1500 1600

Question:

• Compatibility of additive inverses with the equality, part 2

Query

cnf(additive_inverse_equals_additive_inverse_3,negated_conjecture,
    ( equalish(additive_inverse(a),additive_inverse(b)) )).

cnf(a_not_equal_to_b_4,negated_conjecture,
    ( ~ equalish(a,b) )).

Answer:

• $false

  (by Vampire 11.0)
  [Browse Answer][Browse Proof] [ProbeIt][Tabulator]
  
  

Copyright 2010 Inference Web group.
All Rights Reserved.