Как условные утверждения используются в математических доказательствах?

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

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

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