O logice tymson: ∼ (A ⊆ B) ⇐⇒ A \ B != ∅ Jak zapisać prawą stronę równoważności w postaci form zdaniowych?

chichi: z definicji A ⊆ B ⇔ ∀x∊A ( x∊B )

chichi: a Ty napisałeś prawą...

tymson: A ⊄ B ⇐⇒∼ (A ⊆ B) ⇐⇒ A \ B ≠ ∅ Dobrze napisałem. Proszę o nie wypowiadanie się jeśli nie rozumie się zagadnienia. A to co napisałeś/aś jest niepełne. Mi chodzi o zapis typu A ⊆ B ⇐⇒ ∀x ∈ X : ϕA(x) ⇒ ϕB(x), gdzie ϕA(x) oznacza x ∊ A, z B analogicznie, X po przestrzeń, a A i B to jej podzbiory.

tymson: Prośba nadal jest aktualna

er: Może ∃_{x ∊X} x∊A ∧ x∉B

tymson: Tak, czyli ostatecznie jakby ktoś chciał sprawdzić ∼[∃ x∊X: qA(x) ⇒qB(x)] ←→ [∃ x∊X : qA(x) ⋀ (∼qB(x))]

er: Po lewo powinno być ∀

chichi: faux pas. źle przeczytałem polecenie i chodziło mi, że ja pisałem o lewej stronie, a Ty pytałeś o prawą, a nie, że Ty źle coś napisałeś