5.441

This disappearance of the apparent logical constants also occurs if “ ~ ( ∃ x ) . ~ f ⁡ x ” says the same as “ ( x ) . f ⁡ x ”, or “ ( ∃ x

411