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...)


4) LOGIKAI MŰVELETEK – IMPLIKÁCIÓ (HA... AKKOR...)
39
BEVEZETŐ
Miről tanulunk aktuális leckénkben?
 Miről tanulunk aktuális leckénkben?
 Mai leckénkben megismerkedünk a következő logikai művelettel: az implikációval.
 Az implikáció (következtetés) 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 az egyikből következik a másik.
 Két állítást a HA …, AKKOR … szókapcsolattal kötünk össze. Jele: p ⇒ q. Olvasd: „ha p, akkor q” vagy „p-ből következik q”.
 A HA utáni rész az előtag (feltétel), az AKKOR utáni az utótag (következmény).
 Az implikáció csak akkor hamis, ha az előtag igaz, az utótag pedig hamis. Minden más esetben igaz.
VIDEÓ MAGYARÁZAT


TANANYAG