Proszę o pomoc lub wskazówkę Basia: Bardzo proszę o pomoc lub podpowiedź na czym to polega. Mam na zadanie zrobić zaprzeczenie takiego zdania: q => (p v r)

konrad: ~(q => (p v r)) ?

Basia: ~[q⇒(p∨r)] ⇔ q∧~(p∨r) ⇔ q∧(~p ∧~r) ⇔ q∧(~p)∧(~r)

Basia: Dziękuję. Basiu, a podpowiedziałabyś mi na czym to polega to zaprzeczanie. Nasz nauczyciel nic nie tłumaczy a wymaga:(

Basia: powinny już być udowodnione takie prawa: prawa de Morgana (dowodzi się metodą 0−1) ~(p∧q) ⇔ (~p)∨(~q) ~(p∨q) ⇔ (~p)∧(~q) prawo zaprzeczenia implikacji (też metodą 0−1) ~(p⇒q) ⇔ p∧(~q) stosujesz najpierw prawo zaprzeczenia implikacji, a potem do zaprzeczenia alternatywy drugie prawo de Morgana

Basia: No tak, to logiczne Basiu a takie? ~q => ~p Mam zanegować tylko to "nie p" ?

Basia: Zapomniałam podziękować. Dziękuję

Basia: ~(~q⇒~p) ⇔ ~q ∧ ~(~p) ⇔ ~q ∧ p jeżeli o to chodziło