Суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие другой, называется условным. Условные суждения чаще всего выражаются предложениями с союзом «если…, то…». В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится

между словом «если» и словом «то». Часть условного суждения, которая находится после слова «то», называется следствием.

Условный союз «если…, то…» обозначается стрелкой ().

В построениях современной логики находит широкое распространение союз «если…, то…», обозначаемый символом «». Этот символ называется знаком (материальной) импликации, а суждение с этим союзом – импликативным. Часть импликативного суждения, находящаяся между словами «если» и «то», называется антецедентом, а часть, находящаяся после слова «то» – консеквентом.

Таблица истинности импликации: