Implikáció

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.

A p→q formula ekvivalens ¬p∨q -val.