logic/logic_b.m4.in


1
2
3
4
5
6
7
8
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.