Словарь логики - антецедент и консеквент

(от лат. antecedent предшеству­ющий, предыдущий и consequens — следствие) — два высказыва­ния, из которых с помощью логической операции импликации («если..., то ...») образуется сложное импликативное выс­казывание. А. — высказывание, которому предпослано слово «если», К. — высказывание, идущее после слова «то». Два выска­зывания, составляющие условное высказывание, именуются также основанием и следствием. .