Recent content by Hazzardman

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