Formel	Angriff	Verteidigung
A und B	L? / R?	A / B
A oder B	?	A / B
Wenn A, dann B	A?	B
nicht A	A?	...
Für alle x: A(x)	y?	A(y)
Es gibt ein x: A(x)	?	A(y)