Sprawdź, czy z przesłanek wymienionych nad kreską można
Transkrypt
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