1
vote
Basic proof verification of biconditional formula
Your reasoning is correct.
Generally speaking, for any two well-formed formulas $P,Q$, the biconditional formula $P \leftrightarrow Q$ is logicallally equivantent to the formula $(P \to Q) \wedge (Q \...
- 5,546
Only top scored, non community-wiki answers of a minimum length are eligible