Импликация

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 156.