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