Какие существуют методы доказательства с помощью дедукции?

Некоторые методы доказательства с помощью дедукции:

• Прямые дедуктивные построения. 4brain.ru Строятся таким образом, что непосредственно переходят от посылок к заключению. 4brain.ru
• Рассуждение от противного. 4brain.ru В качестве исходной посылки берётся отрицание тезиса, из которого дедуктивно выводятся следствия. 4brain.ru На определённом шаге приходит противоречие. 4brain.ru Так как логика не терпит противоречий, можно сделать вывод, что отрицание исходного тезиса было ложным, а сам тезис истинным. 4brain.ru
• Сведение к абсурду. 4brain.ru Этот метод похож на рассуждение от противного, но в нём хотят доказать ложность некоторого тезиса, а не его истинность. 4brain.ru Поэтому в качестве исходной посылки берут утверждение тезиса, а не его отрицание. 4brain.ru
• Метод сходства. 4brain.ru Наряду с рассматриваемым событием берут предыдущие похожие ситуации. 4brain.ru Затем выявляют, что у них общего. 4brain.ru Этот общий фактор и объявляют причиной. 4brain.ru
• Метод различия. 4brain.ru Строится на поочерёдном изъятии предшествующих событий. 4brain.ru Выявляют, при отсутствии какого события событие не происходит. 4brain.ru
• Полная индукция. sgpi.ru Метод доказательства, при котором истинность утверждения следует из истинности его во всех частных случаях. sgpi.ru