7.4.1 Implikáció
Legyen p és q adott kijelentések. (pl.: p=„Süt a Nap"; q=„sétálunk").
Két kifejezés implikációja: A p
és q kijelentések implikációján a „p akkor q" kijelentést értjük. (pl.: Ha süt a Nap, akkor sétálunk") Jele: (olvasd p implikálja q-t)
Elnevezések.
Előtag: p
Utótag: q
Az implikáció igazságtáblája:

Tétel 7.2: Az implikáció nem kommutatív és nem asszociatív művelet.
Megjegyzés.
Az előző alfejezetben közölt tétel alapján az implikáció kifejezhető negáció és konjunkció műveletével.
Tekintsük a következő igazságtáblákat:

Az igazságtáblából azt
kaptuk, hogy . Mivel a diszjunkció kifejezhető negációval és
konjunkcióval, a következő eredményt kapjuk: