Wartość logiczna implikacji to prawda.
Zdanie poprzednik p:
7 jest dzielnikiem liczby 8.
Zdanie następnik q:
8 jest dzielnikiem liczby 9.
Jeżeli wartość logiczna poprzednika jest nieprawdą, a wartość logiczna następnika jest nieprawdą, to: