diff options
| author | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2017-01-15 18:59:40 +0100 |
|---|---|---|
| committer | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2017-01-15 18:59:40 +0100 |
| commit | eb0899b974b937b8a0dbd496d6b99c6e9c6a1d44 (patch) | |
| tree | c57bc97dfb91fe3dff015b0130ce9d9e77dca757 /logic/logic_b.m4.in | |
| parent | 0db54aa974ded619a1644d8cd8daf9f9aa157898 (diff) | |
| download | 2IMF25-AR-eb0899b974b937b8a0dbd496d6b99c6e9c6a1d44.tar.gz | |
part 3 done
Diffstat (limited to 'logic/logic_b.m4.in')
| -rw-r--r-- | logic/logic_b.m4.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/logic/logic_b.m4.in b/logic/logic_b.m4.in new file mode 100644 index 0000000..8cc7b75 --- /dev/null +++ b/logic/logic_b.m4.in @@ -0,0 +1,9 @@ +formulas(sos). + (x*(y*z)=(x*y)*z). + (x*I=x). + (x*inv(x)=I). +end_of_list. + +formulas(goals). + all x all y (x*y=y*x). +end_of_list. |