De Morgan Azonosságok
Ez a jegyzet félkész. Kérjük, segíts kibővíteni egy javaslat beküldésével! A matematikai logika elemei? A logikai szita formula kettő, illetve három halmaz esetében: |A ⋃ B| = |A| + |B| - |A ⋂ B| |A ⋃ B ⋃ C| = |A| + |B| + |C| - |A ⋂ B| - |A ⋂ C| - |B ⋂ C| + |A ⋂ B ⋂ C| Logikai műveletek Logikai függvény értelmezési tartománya bármi lehet, értékkészlete kételemű halmaz {igaz; hamis} Negáció (tagadás) Komplementer halmaz. P = 1 \to! P = 0 Konjunkció (és kapcsolat) Két halmaz metszete (két állítás metszete). A B A * B 0 0 0 1 0 0 0 1 0 1 1 1 Diszjunkció (vagy kapcsolat) Két halmaz uniója. A B A + B 0 0 0 1 0 1 0 1 1 1 1 1 Implikáció A B A → B 0 0 1 1 0 0 0 1 1 1 1 1 A fentiek szerint hamis állításból következhet hamis, hamisból következhet igaz, igazból nem következhet hamis, igazból következhet igaz állítás. Ez tulajdonképpen a "Ha..., akkor... De Morgan-azonosságok - online Java programozó képzés. " kijelentésnek felel meg. Ekvivalencia A B A ↔ B 0 0 1 1 0 0 0 1 0 1 1 1 De Morgan-azonosságok A halmazelméletben a következők: Logikában pedig: Állítás és megfordítása, szükséges és elégséges feltétel Arisztotelészi logika (3-as elv) minden dolog azonos önmagával semmi sem azonos önmaga ellentétjével egy dolog és tagadása közül egy igaz Szillogizmus: amikor 2 állításból jön a konklúzió Szókratész ember.
De Morgan-Azonosságok - Online Java Programozó Képzés
Feladatok Először csak a bal oldali ábrát nézd: színezd be az () műveletnek megfelelő területet, azaz mindent, ami az (A B) halmazon kívül van! Térj át a jobb oldali ábrára: itt az halmazt kell beszínezned! Kattints a "Kész" feliratú gombon! Hasonlítsd össze a kapott ábrákat, majd a megjelenő egyenlő/nem egyenlő relációk közül válaszd ki a megfelelőt! Ha mindennel elkészültél, kattints az Ellenőrzés gombra (), és nézd meg, jól dolgoztál-e! INFORMÁCIÓ: Ha jól dolgozott a felhasználó, mindkét ábrán ugyanazt látja, hiszen ez a De Morgan-azonosságok egyike. Helyes színezés esetén mindkettő alatt látható egy-egy zöld pipa, valamint az egyenlő gomb mellett is.
Minden ember halandó. Tehát Szókratész halandó. "Arisztotelész" Állítás megfordítása: pl. a paralelogramma átlói felezik egymást megfordítható: négyszög átlója ami felezi egymást paralelogramma Szükséges feltétel, elégséges feltétel Szükséges de nem elégséges feltétel: ahhoz, hogy egy négyszög paralelogramma legyen, szükséges 2 párhuzamos oldal Elégséges, de nem szükséges feltétel: 2 egyenlő és felező átló Legutóbb frissítve:2015-09-25 17:03
July 7, 2024, 5:47 pm