Establish the equivalance property connecting the bi- conditional with conditional: p↔q≡(p→q)∧(q→p)

Establish the equivalance property connecting the bi- conditional with conditional:
$p \leftrightarrow q \equiv (p \to q) \land (q \to p)$

Matching exercise

Match the items on the right to the items on the left.

Step 1

Step 2

s

screenshot12.18_2.png

screenshot12.18_1.png