kwantyfikatory mariusz: działania na kwantyfikatorach Zapisać zaprzeczenie poniższej formuły (bez użycia symbolu negacji) i okreslic jej wartosc logiczna: ⋁ ( l x − 2 l > 2 ) ∧ ⋀ ( x² − 4 < 0 ) x∊R x∊R i nie wiem jak to mam rozumieć.. jak mam kw. szczególny to on mówi"istnieje taki x∊R ze zachodzi f(x).. to w tym przypadku to mam brać że to prawda czy falsz? bo zachodzi ale nie dla wszystkich x. czy wystarczy jeden?

mariusz: pomoże ktoś

Jerzy: ∼ (A ∩ B) ⇔ ∼ A U ∼ B ∼ A ⇔ ⋀_x∊R (I x − 2I < 2) ∼ B ⇔ ⋁_x∊R (x² − 4 > 0)

mariusz: tylko to nie suma tylko koniunkcja..

mariusz: no i wiem że jak zaprzeczenie to nie <0 tylko jak juz ≤0 chyba, tak nam podawał na lekcji

Jerzy: no właśnie , masz zaprzeczyć koniunkcję .. patrz pierwsza linijka

Jerzy: tak ... popraw znaki na "słabe"

mariusz: a okey.. a wartośc logiczna tego pierwszego? istnieje taki x że ( l x − 2 l > 2 ) to jest prawda czy fałsz? bo jakiś się znajdzie przecież ale nie wszystkie bd dobre

Jerzy: prawda ( istnieje = przynajmniej jeden )

mariusz: w(r) = 1 ∧ 0 = 0 gry r to całe wyrażenie w(~r) = 0 v 1 = 1 tak?

mariusz: czyli w ⋀ wystarczy znaleźć jeden niepasujący by było fałszem a w ⋁ tylko jeden poprawny x by było prawdziwe, tak?

Jerzy: dokładnie tak