Posługując się kodeksem reguł wnioskowania dla rachunku zdań rozwiąż następujące zadania:
I.
1) p→q
2.) p ˄ r
(P1) q?
(P2) r?
III.
1) p
2.) p↔ q
3.) q→r
V.
1.) p˅q
2.) r→~q
3.) r
(P1) p?
(P2) q?
VII
1.) (p˅q)→r
2.) q ˄ t
(P) r?
IX
1.) p→(q˄r)
2.) ~p→s
3,) ~s ˅ ~t 4.) t
(P1)q?
(P2)r?
XI.
1.) ~(p˄q)
2.) ~p→r
3.) ~(r ˅ s)
4.) ~(t↔ s)
(P2)t?
XIII
1.) ~ (p˄q)˅r
2.) ~(s↔ r)
3.) ~(~-s˅~q)
(P)p?
II.
1.) p→q
2.) q→r
3.) ~p
IV.
2.) r→s
3.) ~q˄r
(P1)p?
(P2)s?
VI.
1.) ~p˄~q
2.) q˅r
3.) r→(p˅s)
(P1)r?
VIII.
1.) p˄~q
2.) ~p ˅ ~r
3.) s→q
X.
1.) (p↔ q)→r
3.) ~s ˄ ~q
XII.
1.) ~ (p↔ q)
2.) (s ˄ q) → r
3.) ~(~s ˅ r)
XIV.
1.) ~(p →q)
2.) ~(r↔ q)
3.) (r ˄ p)↔ t
(P)t?
Belchatow2