|
∃ X : p(X) ⇔ ˜∀ X ˜p(X) 00. If it is true there is an X such that a statement is true, then it is false that for every X the statement is false. |
∃ X : ˜p(X) ⇔ ˜∀ X p(X) 01. If it is true there is an X such that a statement is false, then it is false that for every X the statement is true. |
|
˜∃ X : p(X) ⇔ ∀ X ˜p(X) 10. If it is false there is an X such that a statement is true, then it is true that for every X the statement is false. |
˜∃ X : ˜p(X) ⇔ ∀ X p(X) 11. If it is false there is an X such that a statement is false, then it is true that for every X the statement is true. |