В импликативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, и консеквент - высказывание, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Розенталь М.М.
Философский словарь Издание 3 1972
В импликативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, и консеквент - высказывание, следующее за словом то. В классической математической логике исходят из понятия материальной И.