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


К СПИСКУ СЛОВ В НАЧАЛО СЛОВАРЯ

НА ГЛАВНУЮ