Импликация

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

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 217.