 The existential quantifier and the other familiar connectives \(\supset\), \(\amp\) and \(\equiv\) are defined as for propositional logic. (In what follows A is now an arbitrary (possibly quantificational) formula):