IMPLIKACJA
Zdania proste ze spójnikiem “jeżeli“
“jeżeli” określamy jako =>
Implikacja p lub q = p => q
p nazywamy poprzednikiem, a q następnikiem .

Przykład 1:
“Jeżeli wieloryb to ssak to rekin to ryba”
“wieloryb to ssak” → p = 1
“rekin to ryba” → q = 1
p => q = 1 Implikacja logicznie prawdziwa, wartość logiczna = 1
Przykład 2:
“Jeżeli wieloryb to ssak to rekin to ssak”
“wieloryb to ssak” → p = 1
“rekin to ssak” → q = 0
p => q = 0 Implikacja logicznie nieprawdziwa, wartość logiczna = 0
Przykład 3:
“Jeżeli wieloryb to ryba to rekin to ryba”
“wieloryb to ryba” → p = 0
“rekin to ryba” → q = 1
p => q = 1 Implikacja logicznie prawdziwa, wartość logiczna = 1
Przykład 4:
“Jeżeli wieloryb to ryba to rekin to ssak”
“wieloryb to ryba” → p = 0
“rekin to ssak” → q = 0
p => q = 0 Implikacja logicznie nieprawdziwa, wartość logiczna = 0