conjunction introduction
disjunction introduction
conjunction elimination
disjunction elimination
conditional elimination
biconditional elimination
negation introduction/elimination proof
conditional introduction proof
bicondional definition
reiteration
these are all the rules I have learned
I need to do it by formal proof
this is as far as I got but I can't figure out how to determine the necessay ~Q->P or how to do it in the opposite direction.
~(P<->Q) want:P<->~Q
----------------------------------
|P want: ~Q...
~(P<->Q) ⊣ ⊢ (P<->~Q)
I'm suppose to write the proof for this equivalence but I can't figure it in either direction
The closest I got was (P->~Q) from ~(P<->Q) but I can't figure anything else out