diff options
Diffstat (limited to 'logic/logic_b.in')
-rw-r--r-- | logic/logic_b.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/logic/logic_b.in b/logic/logic_b.in new file mode 100644 index 0000000..6e087e7 --- /dev/null +++ b/logic/logic_b.in @@ -0,0 +1,12 @@ +formulas(sos). + (x*(y*z)=(x*y)*z). + (x*I=x). + (x*inv(x)=I). +end_of_list. + +formulas(goals). + all x (I*x=x). + all x (inv(inv(x))=x). + all x (inv(x)*x=I). + all x all y (x*y=y*x). +end_of_list. |