Wnioskowania Quantic: Witam. Mam do zrobienia parę zadań z matematyki dyskretnej. Z większością już sobie poradziłem, ale zostały mi jeszcze dwa, dosyć trudne, podpunkty. Mogę kogoś prosić o pokazanie mi jak je zrobić, wytłumaczenie? Z góry bardzo dziękuję. Zadanie: Przeprowadź poniższe wnioskowania: http://iv.pl/images/81517708568079309725.png

aniabb: wniosek (s⇒t)⇒(¬p∧t) z przesłanek 1. q⇒¬r 2. q 3. r∨(s∧¬p) 4. (s⇒t) (ZD) 5. ¬r (1,2,EI) 6. (s∧¬p) (3,EA) 7. s (6,EK) 8. ¬p (6,EK) 9. t (4,7,EI) 10. (¬p∧t) (8,9,DK) 11. (s⇒t)⇒(¬p∧t) (10,DIN) co kończy dowód

Quantic: Dzięki wielkie. A jaki jest wniosek w podpunkcie b? Męczę się i męczę i mi coś innego wychodzi.

aniabb: wniosek q⇒t z przesłanek 1. ¬q∨r 2. u 3.¬(¬p⇒¬s) 4. r∧s⇒t 5. q (ZD) 5. ¬p∧s (3,NI) 6. r (1,5,EA) 7. ¬p (5,EK) 8. s (5,EK) 9. r∧s (6,8,DK) 10. t (9,EI) 11. q⇒t (10,DIN) co kończy dowód

Quantic: Dzięki wielkie!