Proszę o sprawdzenie poprawności rozwiązania owsiak: Witam, chciałbym się dowiedzieć czy podane zadnie jest poprawnie rozwiązane: (p −> q v (r−>s))−>(p∧ r−>qvs) 1) p −> q v (r−>s) zał. 2) p ∧ r zał. 3) ~(q v s) z.d.n. 4) p { OK 2} 5) r { OK 2} 6) ~q ∧ ~s { I De Morgana 3} 7) ~q { OK 6} 8) ~s { OK 6} 9) q v (r −> s) { RO 4,1} 10) r −> s { OA 7 i 9} 11) s { RO 5 i 10} sprzeczność 11 i 8