Словарь по логике

Консеквент: Выражение (высказывание, высказывательная форма, формула и т.п.), стоящее после знака импликации. Вывод, заключение условного высказывания.