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:

• A theorem in the lattice structure of Wajsberg algebras

Query

cnf(antecedent,negated_conjecture,
    ( ordered(x,implies(y,z))
    | ordered(y,implies(x,z)) )).

cnf(prove_wajsberg_theorem,negated_conjecture,
    ( ~ ordered(x,implies(y,z))
    | ~ ordered(y,implies(x,z)) )).

Answers:

• $false

  (by EP 1.0pre)
  [Browse Answer][Browse Proof] [ProbeIt][Tabulator]
  
  

• $false

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

Copyright 2009 Inference Web group.
All Rights Reserved.