# Stumped on a logical equivalence proof

Tags:
1. Nov 19, 2014

### Hazzardman

~(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

2. Nov 19, 2014

### ZetaOfThree

Do you mean to show that $\neg (P \leftrightarrow Q) \equiv (P \leftrightarrow \neg Q)$? Why not just use a truth table?

3. Nov 19, 2014

### Hazzardman

I need to do it by formal proof
this is as far as I got but I cant figure out how to determine the necessay ~Q->P or how to do it in the opposite direction.
Code (Text):

~(P<->Q)                want:P<->~Q
----------------------------------
|P                      want: ~Q
|-------------------------------
||Q                     reductio
||--------------------------------
|||P                    want: Q
|||--------------------------------
|||Q                    reiterate 3
||P->Q                  conditional introduction4-5
|||Q                    want: P
|||-------------------------------------------
|||P                    reiterate 2
||Q->P                  conditional introduction7-8
||P<->Q                 Biconditional definition 6,9
||~(P<>Q)               reiterate 1
|~Q                     indirect proof 3-11
P->~Q                   conditional introduction2-12

4. Nov 20, 2014

### Erland

To answer, we need to know which axioms and rules of inference that are allowed in this context. This can differ in different textbooks.

5. Nov 20, 2014

### 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

6. Nov 24, 2014

### Stephen Tashi

Unfortunately, the rules of logical inference don't all have standardized names. Their titles differ from textbook to textbook. Can you give a link to an article where those rules are written out?

7. Nov 24, 2014

### Erland

I think I know what most of these rules are. But exactly how are negation introduction and elimination defined in your textbook?