Импликация – (лат. implico - тесно связываю) логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если... то». В импликативном высказывании различают антецедент -• высказывание, к-рому предпослано слово «если», и консеквент - высказывание, следующее за словом «то». В классической математической логике исходят из понятия материальной И., к-рая определяется посредством функции истинности: И. ложна лишь в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях.
