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: