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