Zapisanie zaprzeczenia. px22xp20: Witam, mam problem z poniższym zadaniem: "Sprawdź (metodą zero−jedynkową), czy zdanie jest tautologią: [(p⇒q)∧(∼q)]⇒(∼p). Zapisz jego zaprzeczenie." O ile sprawdzić metodą zero−jedynkową umiem, to nie rozumiem na czym polega zapisanie zaprzeczenia tego zdania i dlaczego odpowiedzią jest: [(p⇒q)∧(∼q)]∧p.

m&m: (a⇒b) − umiesz podać zaprzeczenie tego?

m&m: tam analogicznie zaprzeczenie implikacji to ¬(a⇒b) <=>(a∧¬b) zatem ¬( [(p⇒q)∧(∼q)]⇒(∼p) ) <=> [(p⇒q)∧(∼q)] ∧p cheers