SHARE
TWEET

Untitled

a guest May 19th, 2017 44 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. fof (at_least_four, axiom, ? [A,B,C,D] :
  2.     (
  3.         A != B &
  4.         A != C &
  5.         A != D &
  6.         B != C &
  7.         B != D &
  8.         C != D
  9.     )
  10. ).
  11.  
  12. fof (binary, axiom, ! [A] :
  13.     (
  14.         zero (A) <=> ~one (A)
  15.     )
  16. ).
  17.  
  18. fof (less, axiom, ! [A,B] :
  19.     (
  20.         less (A, B)
  21.     )
  22.         <=>
  23.     (
  24.         ! [C] :
  25.             ((less (A, B) & less (B, C)) => less (A, C))
  26.     )
  27. ).
RAW Paste Data
Top