2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0Christian Maedervar a

2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0Christian Maederpred phi : a

2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0Christian Maeder. (forall x: a . phi x) = ((\ x: a . phi x) =e= \ x: a . ())

2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0Christian Maeder

2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0Christian Maedervar p : Logical

2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0Christian Maeder. p \/ not p