Все три относятся метода относятся к методам доказательства корректности алгоритмов.
Ниже приводяться доказательства установления истинности вида (P ⇒Q)
-
Прямое рассуждение.
При данном методе предполагается, что высказывание P истинно и показывается справедливость Q. При подобном способе доказательства исключается вероятность того, что P – истинно, а Q – ложно, постольку посколькуименно в этом случае импликация (P ⇒Q) — принимает ложное значение.
2. Обратное рассуждение.
Предполагая высказывание Q — ложным, показывается ошибочность P. То происходит проверка прямым образов импликации ((не Q)⇒(не P)), что является логически эквивалентным истинности исходного выражения (P ⇒Q).
3. Метод от «противного».
Предполагая истинность высказывания P, и при этом считая, что высказывание Q — ложно. При помощи аргументированное рассуждения, как результат получается противоречие.