0N/Avar a

0N/Apred phi : a

0N/A. (forall x: a . phi x) = ((\ x: a . phi x) =e= \ x: a . ())

0N/A

935N/Avar p : Logical

0N/A. p \/ not p

0N/A