Zaprzecz zdaniu romek22: Zaprzecz zdaniu ∀x∃y(φ(x,y))⇒∃zξ(x,y,z)

Maslanek: ~(p⇒q) ⇔ p ∧ ~q

romek22: Tak ma wyglądać poprawny wynik? ∃x ∀y φ(x,y)) ∧ ∀z ξ(x,y,z)

julia: √x² =/x/⇒(sinx>1)

julia: jak zaprzeczyć temu zdaniu ?

julia: Sory , jak wyznaczyc wartośc logiczna ?

Adamm: to nie jest zdanie

yht: √x² = |x| to prawda, wartość logiczna = 1 (p=1) sinx>1 to nieprawda, wartość logiczna = 0 (q=0) p=1, q=0 p | q | p⇒q −−−−−−−−−−−−−−− 0 | 0 | 1 0 | 1 | 1 1 | 0 | 0 1 | 1 | 1 u nas jest pogrubiony przypadek stąd wartość logiczna implikacji jest równa 0

Adamm: nie znasz się yht to nie jest zdanie tylko funkcja zdaniowa zatem nie przyjmuje ani fałszu, ani prawdy

yht: możliwe że pomyliłem pojęcia, w każdym razie implikacja jest fałszywa

Adamm: nie jest fałszywa ani prawdziwa

yht: jeśli z prawdy wynika nieprawda to jest fałszywa w przeciwnych przypadkach jest prawdziwa

Adamm: √x²=|x| <− nie jest fałszem ani prawdą to funkcja zdaniowa, nie jest ani prawdziwa ani fałszywa dopóki nie podstawi się pod nią wartości