Импликация это отношение между двумя суждениями, при котором второе является необходимым следствием первого: если р, то q.
Если первое суждение истинно, истинно и второе. Если второе ложно, ложно и первое. Напротив, если первое суждение ложно, второе может быть как ложным, так и истинным.
С точки зрения формальной логики импликация как целое может быть ложной тогда и только тогда, когда она связывает истинный антецедент (предшествующий член) с ложным следствием.
Например, суждение «Если Париж — столица Франции, то у кур есть зубы» — ложно. Напротив, импликация, начинающаяся с ложного суждения, обязательно верна.
Так, суждение «Если у кур есть зубы, то я — французский король» истинно всегда, независимо от того, кому оно принадлежит — Людовику XIV или обычному человеку.