Show that the following logical equivalences hold for the Peirce arrow ↓, where P ↓ Q ≡ ∼(P ∨ Q).
a. ∼P ≡ P ↓ P
b. P ∨ Q ≡ (P ↓ Q) ↓ (P ↓ Q)
c. P ∧ Q ≡ (P ↓ P) ↓ (Q ↓ Q)
d. Write P → Q using Peirce arrows only.
e. Write P ↔ Q using Peirce arrows only.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.