SHARE


MATEMATIKAI LOGIKA

TOVÁBBI LECKÉK
MATEMATIKAI LOGIKA (BEVEZETŐ)

1) LOGIKAI MŰVELETEK – KONJUNKCIÓ (ÉS)

2) LOGIKAI MŰVELETEK – DISZJUNKCIÓ (VAGY)

3) LOGIKAI MŰVELETEK – NEGÁCIÓ (TAGADÁS, NEM)

1) FELADATLAP – LOGIKAI MŰVELETEK

4) LOGIKAI MŰVELETEK – IMPLIKÁCIÓ (HA... AKKOR...)

IMPLIKÁCIÓ, FELADATOK GYAKORLÁSA

IMPLIKÁCIÓS TAUTOLÓGIA HÁROM VÁLTOZÓVAL

5) LOGIKAI MŰVELETEK – EKVIVALENCIA – (AKKOR ÉS CSAK AKKOR)


5) LOGIKAI MŰVELETEK – EKVIVALENCIA – (AKKOR ÉS CSAK AKKOR)
8
BEVEZETŐ
Miről tanulunk aktuális leckénkben?
Miről tanulunk aktuális leckénkben?
 Mai leckénkben megismerkedünk az utolsó logikai művelettel: az ekvivalenciával.
 Az ekvivalencia (egyenértékűség) kétváltozós logikai művelet. Két állításból egy új, összetett állítást alkot, amely azt fejezi ki, hogy a két állítás egyszerre igaz vagy egyszerre hamis.
 Két állítást az AKKOR ÉS CSAK AKKOR, HA szókapcsolattal kötünk össze. Jele: p ⇔ q. Olvasd: „p akkor és csak akkor, ha q” vagy „p ekvivalens q-val”.
 Az ekvivalencia kétirányú következtetés: p ⇔ q = (p ⇒ q) ∧ (q ⇒ p). Nem minden implikáció ekvivalencia!
 Az ekvivalencia akkor igaz, ha a két állítás logikai értéke megegyezik, és akkor hamis, ha különbözik.
 Gyakorlati jelentősége: definíciók, oszthatósági szabályok, szükséges és elégséges feltétel.
VIDEÓ MAGYARÁZAT


TANANYAG