Inactive Tutor answered 10/10/22
Tutor
New to Wyzant
A. A biconditional is a proposition of the form "IF and Only IF P, Then Q"
it combines "If P then Q" with "If Q then P" so the arrow runs in both directions.
in A, ~(PvQ) is equivalent to P above, and r is equivalent to Q