korzystanie z praw logicznych i de Morgana zagubiona: jak zbudować zaprzeczenie tego zdania przy pomocy praw logicznych i de Morgana? 2<3⇒(1.41∉NW⋀3/7)

Jack: w następniku masz koniunkcję, więc negacja koniunkcji to alternatywa negacji. Pozbieraj do kupy: ¬(p→q) ⇒ p∧¬q ¬(p∧q) ⇒ ¬p∨¬q

Sławek: Może tak: 2<3 ⇒ (1.41 ∉ NW ⋀ 3/7) To jest implikacja. Prawo zaprzeczenia implikacji to: ~(p⇒q) ⇔ (p∧~q) W zadaniu będzie tak: ~[(2<3) ⇒ (1.41 ∉ NW ⋀ 3/7)] ⇔ (2<3) ∧ ~(1.41 ∉ NW ⋀ 3/7) Prawo de Morgana mówi, że: ~(p∧q) ⇔ (~p) ∨`(~q) Zastosuj je do prawej strony równoważności (2<3) ∧ ~(1.41 ∉ NW ⋀ 3/7) (2<3) ∧ [~(1.41 ∉ NW) ∨ ~(3/7)]

Jack: nawet dokladnie tak, a idąc do końca: (2<3) ∧ [1.41∊NW ∨ ¬(3|7) ]