Professional Documents
Culture Documents
PLIK2
PLIK2
1. (p v r) → q
2. q → ~p
3. p
4. ~(~q ^ ~r) ZDNW
4. ~~p OK
5. p ON
6. r
1. ~p v q Z
2. q → ~(s ^ ~r) Z
3. pZ
4. sZ
5. ~~p DN3
6. q OA 1,5
7. ~(s ^ ~r) MPP2,6
8. s → r ZIK ODWR. 7
9. r MPP 4,8
lub
10. ~p v q Z
11. q → ~(s ^ ~r) Z
12. p Z
13. s Z
14. ~~p DN3
15. q OA 1,5
16. ~(s ^ ~r) MPP2,6
17. ~s v ~~r NK7
18. ~~S DN4
19. ~~R DA 8,9
20. R ON10
(~(p = q) ^ ~(p v r)) → ~(~~q → r)
~r
~~q
~(~~q → r)
1. p = q Z
2. (~p v q) → r Z
3. ~q Z
4. r → s Z
5. p → q OR 1
6. ~p MTT 5,3
7. ~p v q DA 6
8. r MPP 2,7
9. s MPP 8,4
10. s ^ ~p DK 9,6
1. (p ^ ~q) → (r v s) Z
2. ~r → (q = s) Z
3. ~r ^ ~q Z
4. ~~p ZDNW
5. ~r OK3
6. q =s MPP2,5
7. s → q OR6
8. ~q OK3
9. ~s MTT 7,8
10. p ON 4
11. p ^ ~q OK 2,10
12. r V s MPP 1,11
13. s OA5