Elementy teorii mnogości, logika, kwantyfikatory grzesiuu: Jak czyta się takie "zdania"? ∀ x∈X p(x) ⇔ {x:∈X : p(x) }=X Wiem, że to tożsamość, ale jak ją wytłumaczyć słowami. Najbardziej interesuje mnie znaczenie p(x). Dla każdego x należącego do X...?

:): dla każdego x należącego do X , x spełnia formułę p wtedy i tylko wtedy gdy zbiór elementów zbioru X spełniających formułę p pokrywa się ze zbiorem X. Może brzmieć to dość skomplikowanie..ale to bardzo proste Niech np p będzie oznaczało równanie (x−2)(x+3)= / p jest czymś w rodzaju WARUNKU Niech X={2,−3} i wtedy masz dla każdego x∊X (x−2)(x+3)=0 ⇔{x∊X:(x−2)(x+3)}=X

grzesiuu: Powiedzmy, że zajarzyłem, ale dlaczego w tym przykładzie po prawej stronie jest już samo (x−2)(x+3) a nie (x−2)(x+3)=0 ?

:): tak miało być tylko nie dopisałem

grzesiuu: Dziękuję za pomoc kolejny raz