Sprawdź, czy z przesłanek wymienionych nad kreską można

Sprawdź, czy z przesłanek wymienionych nad kreską można wydedukować wniosek
wymieniony pod kreską:
(1)
~p
~(p˄s)→w
(w˅x)→~k
k ˅ t_________
t
(2)
p˄~s
~x
(y˄w)→r
w
~(s˅x)→y
r
(3)
d
r→t
~(~p˅x)
~x→y
w˅r
(y˄d)→~w
t˅s
(4)
~(p˅(s˄t))
~~s
~t→x
w____________
x˄w

Podobne dokumenty