Maja: Stosując odpowiednie prawa rachunku zdań zapisać zaprzeczenie zdania: (x² = 4) ⇒ (x = 2 v x = -2 ) Proszę o pomoc.

Kama: czy znak ⊂ w/g Ciebie to n czy u część wspólna czy suma napisz

Kama: jeżeli tak (x²= 4) n (x= 2 v x= -2) to korzystamy z prawa de Morgana dla f. zdaniowych czyli zaprzeczenie alternatywy i koniungcji (x²≠ 0 ) v ( x≠2 i x≠ -2) a jeżeli miałaś (x²=4) u (x=2 v x= -2) to zaprzeczenie jest (x² ≠ 4) v (x≠ 2 i x≠ -2)

Maja: Bardzo dziękuję. Znak miedzy nawiasami to funktor implikacji, czyli wynikania-(jeżeli, to)

Kama: Maju zmienia to postać rzeczy powinnaś napisac to tak (x² -4) => (x=2 v x = -2) więc poprawimy rozwiazanie zgodnie z tautologią ~( p => q) <=> p i ~ q czyli (x²- 4) i ( x ≠2 i x≠ - 2)

Maja: Kama-Dziękuję Ci bardzo, właśnie o to chodziło! Pozdrawiam,

Kama: tam gdzie napisałam i wpisz znaczek v odwrócony OK

Maja: Tak,tak, pisze o tym w drugim zadaniu. dzięki,