ocen wartosc logiczną zdania applepay: ∼∃ x należacego do R [x≠2 ⋀ ( x²>4)]

J: fałsz

applepay: a tu wyjdzie tak? ∼∀ x należącego do R [(x≠3 ⋁ (x= −2)] i dalej bedzie ∃ x dla R [x=3 ⋀ x≠ −2 ] czyli zdanie fałszywe?

J: nie rozumiem ... podajesz dwa zdania

applepay: chodzi mi o 1 zapis gdzie jest x≠3 lub x= −2 a pierwszy jest rownoważny z 2 tak? w sensie te prawa de Morgana dla kwantyfikatrów dają nam x=3 i x≠ −2

applepay: albo jak mam x²−x<0 (lub) ⋁ x+2>1 to to jest prawda dla x należacego do R ? bo tego nie mogę zrozumieć

J: [x² − x < 0 ∨ x + 2 >1] ... to nie jest zdanie logiczne, więc nie mozna mu przypisać ani prawdę ani fałsz

applepay: dobra napiszę calość : ∀ x należacego do R [(x²−x≥0 ⋀ (x=2≤1) ]

J: co to znaczy: x = 2 ≤ 1 ?

applepay: x+2≤1, przepraszam za bląd

J: oczywiście fałsz

applepay: dziękuje, a to ∼∃ x należacego do R [x²−4≤0 v (x²≠9)] i korzystając z prawa de Morgana bede mieć: ⇔∀ x∊R[(x²−4)>0 ⋀ x²=9] czyli wyjdzie fałsz?