Implikáció

A Wikipédiából, a szabad enciklopédiából

Implikál: maga után von, következtet

Implikáció: logikai művelet, használjuk a matematikai logikában, informatikában. Ha p és q ítéletek, melyek lehetséges értékei 0 (hamis) vagy 1 (igaz), akkor az implikáció műveletét, melynek jele a →, a következő művelettábla szerint értelmezzük:

p q p→q
0 0 1
0 1 1
1 0 0
1 1 1

A fentiek szerint hamis állításból következhet hamis, hamisból következhet igaz (reductio ad absurdum módszere), igazból nem következhet hamis, igazból következhet igaz állítás. Ez tulajdonképpen a "Ha..., akkor..." kijelentésnek felel meg. Példa: Ha húsz fok van odakint, akkor nem veszek kabátot.