∀x∀y=∀(x,y)
∃x∃y=∃(x,y)
¬∀x=∃x¬
¬(A∧B)=¬A∨¬B=A→¬B=A⊃¬B
¬¬C=C