9 lines
147 B
OpenEdge ABL
9 lines
147 B
OpenEdge ABL
fof(lt_irreflex, axiom,
|
|
![X] : (~lt(X, X))
|
|
).
|
|
|
|
fof(lt_assym, axiom,
|
|
![X, Y] : (lt(X, Y) <=> ~lt(Y, X))
|
|
).
|
|
|
|
fof(prove, conjecture, $false).
|