Условные утверждения используются в математических доказательствах, так как многие теоремы формулируются в условной форме «если x, то y». 3 Первое утверждение в такой конструкции называется условием или посылкой, а второе — следствием или заключением. 13

Пример: теорема о равенстве треугольников. 1 Условное утверждение: «Если две стороны и угол между ними одного треугольника соответственно равны двум сторонам и углу между ними другого треугольника, то такие треугольники равны». 1 Здесь посылкой является утверждение «Две стороны и угол между ними одного треугольника соответственно равны двум сторонам и углу между ними другого треугольника», а следствием — утверждение «Такие треугольники равны». 1

Правило: условное утверждение истинно, если следствие истинно или посылка ложна. 1 Чтобы понять, истинно или ложно условное утверждение, нужно узнать, истинны или ложны его составные части — посылка и следствие. 1