Dedukcja jtdig7f: Czy ponizsza dedukcja jest prawidlowa? ¬P→(Q⋀R) , ¬(R∧P) |−− ¬Q 1. ¬P→(Q⋀R) Prem 2. ¬(R∧P) Prem −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 3. P Supp −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 4. R Supp −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 5. (R∨P) ⋁I(4,3) 6. ⊥ Abs(5,2) 7. ¬Q EFQ(6, 4) 8. ¬Q RAA(7,4) 9. ¬Q RAA(8,3) Jesli nie, w ktorym miejscu jest w niej blad? Z gory dziekuje za pomoc

jtdig7f: Przepraszam, w linii 2. mialo byc ¬(R∨P)