Logika zbadaj czy zdania są wzajemnie dopełniające się Axx: Zbadać, czy zdania o następujących schematach są zdaniami wzajemnie dopełniającymi się: p⇒(q∨~r), p∧~q∧r Prosiłbym możliwie o odpowiedź z krótką teorią jak badać czy zdania są dopełniające, wykluczające, sprzeczne. Może być też link

Janek191: Zaprzeczeniem implikacji jest ∼ ( p ⇒ q ) ⇔ p ∧ ∼ q więc ∼ [ p ⇒ ( q ∨ ∼ r ) ] ⇔ ∼ p ∧ ∼ ( q ∨ ∼ r) ⇔ ∼ p ∧ ∼ q ∧ r

Janek191: Masz po lewej stronie ( kolor niebieski) : logika, zbiory , ...

Janek191: Tam jest pomyłka − powinno być: ∼ [ p ⇒ ( q ∨ ∼ r) ] ⇔ p ∧ ∼ ( q ∨ ∼ r) ⇔ p ⋀ ∼ q ∧ r

Axx: Ok, juz rozumiem. Dzięki