... Mati: Określ wartość logiczną zdania r oraz stosując prawa de Morgana napisz jego zaprzeczenie: r⇔∨_x∊Z(x<−4 ⇒ x²>20) r⇔∨_x∊Z(x≥−4 ∨ x²>20) w(r)=1 ~r⇔∧_x∊Z(x<−4 ∨ x²≤20) Czy jest dobrze ?

Mati: ?

MQ: 2. linijka: źle −− w(r)=0, np. dla x=−4 3. linijka też źle

Mati: No ale czemu druga linijka jest źle ? Istnieje taki x np −5 czemu nie moze byc tak ?

MQ: ⋁ oznacza ∃? Nigdy nie mogę zapamiętać tej notacji warszawskiej −− na całym porżadnym świecie używa się ∀ i ∃. Jeśli tak, to 2. jest dobrze, ale 3. jest dalej źle.

Mati: ∨ to znaczy że istnieje takie x, ja znow nie kojarze za dobrze tej drugiej notacji A co w takim razie będzie źle w trzecim

Mati: chodzi o to (x<−4 ∨ x²≤20) że zamiast ∨ powinno być ∧ ?

MQ: Tak

Mati: No ok, dziękuje