„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
111. sor:
Ahelyett, hogy beszélünk konnekciókról, először beszélhetünk az összes ilyen operációról is, vagyis amelyek <big>''U''</big><sup></sup>-en vannak értelmezve és a {0,1} halmazba képeznek. Minden konnekcióhoz van olyan operáció, amely pontosan azokon az elempárokon vesz fel 1 értéket, amelyek elemei a konnekciónak.
 
Ez látszólagút szokatlanszokatlanabb látszhat, mint amelyiken mi jártunk; és kezdők számára esetleg természetellenesebbtermészetellenesebbne út,is mint amin mi jártunktűnhetik, ugyanakkor van egy igen szemléletes és népszerű értelmezése. Nevezetesen, a karakterisztikus operácók felfoghatóak mint "kijelentések" (ún. relációs kijelentések), a 0 és 1 elemek pedig mint "igazságértékek", a 0 a "hamis" igazságérték és az 1 az "igaz" érték. E szemlélettel a konnekciók a "relációs kijelentések" igazsághalmazai (azaz azon elemek halmazai, melyekre a kijelentés igaz).
 
== Jegyzetek ==