Условные утверждения используются в доказательстве теорем, чтобы вывести заключение из условий (гипотез или предпосылок). 24

Многие математические теоремы формулируются в виде условных предложений: «Если А, то В». 5 Такая теорема утверждает не истинность В, а только то, что В является необходимым следствием А. 2

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

Чтобы доказать теорему, нужно построить цепочку рассуждений, с помощью которых осуществляется переход от условий теоремы к её заключению. 3 В этой цепочке могут использоваться условия теоремы, известные аксиомы, теоремы, формулы или данные, полученные из предыдущих рассуждений. 3