From 0db54aa974ded619a1644d8cd8daf9f9aa157898 Mon Sep 17 00:00:00 2001 From: Koen van der Heijden Date: Sat, 14 Jan 2017 20:06:41 +0100 Subject: 3a done. 3b partially --- logic/logic_a.in | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 logic/logic_a.in (limited to 'logic/logic_a.in') diff --git a/logic/logic_a.in b/logic/logic_a.in new file mode 100644 index 0000000..625351d --- /dev/null +++ b/logic/logic_a.in @@ -0,0 +1,9 @@ +formulas(sos). + a(x,x)=x. + a(x,y)=a(y,x). + a(x,a(y,z))=a(a(x,y),z). +end_of_list. + +formulas(goals). + all p all q (a(p,a(q,a(p,a(q,a(p,a(q,p))))))=a(p,q)). +end_of_list. -- cgit v1.2.1