Language and Logic

Exercise 5

Student ID: 1361600

Using just the rules of Natural Deduction we've covered in the lecture, prove the following problems.
I use (~) as not.
1. : ( P -> Q) -> (~Q -> ~P)
Solution:
1. | P ->Q_
2. | |~Q __
3. | | | P_
4. | | | Q
5. | | | ~Q
6. | | ~P
7. | ~Q -> ~P
8. (P -> Q) -> (~Q -> ~P)

H {1}
H {1, 2}
H {1, 2, 3}
->elim {1, 2, 3}
it {1, 2, 3}
RAA {1, 2}
->intro {1}
->intro {}

2. (P^Q) -> ~R: R -> (P -> ~Q)

Solution:
1. (P^Q) -> ~R
2. | R___
3. | |P __
4. | | | Q_
5. | | | P^Q
6. | | | R
7. | | | ~R
8. | | ~Q
9. | P -> ~Q
10. R -> (P -> ~Q)

P {1}
H {2}
H {2, 3}
H {2, 3, 4}
^_intro {2, 3, 4}
it {2}
->elim {1, 2, 3, 4}
RAA {1, 2, 3}
->intro {1, 2}
->intro {1}

3. ~R, P -> ~Q, R -> Q, PvR: ~Q

Solution:
1. PvR
2. | P_
3. | P -> ~Q
4. | ~Q
5. | R___
6. | |Q __
7. | | R
8. | | ~R
9. | ~Q
10. ~Q

P {1}
H {2}
P {3}
->elim {2, 3}
H {5}
H {5, 6}
it {5}
P {8}
RAA {5, 8}
v_elim {1, 3, 8}