Закон виключення суперечності

Закон виключення суперечностi – полягає в твердженi, що два суперечливих судження в один i той же час в одному й тому ж вiдношеннiiстнинiтахибнi.

Доведення

Доведення або доказ у математиці — процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження.

Методи доказів

Пряме доведення

При прямому доведенні висновок встановлюється через логічну комбінацію аксіом, визначень і раніше доведених теорем. Для прикладу розглянемо доведеення, що сума двох парних цілих чисел також є парною:

кожне з двох парних чисел x та y ми можемо за визначенням записати у вигдядіx = 2a та y = 2b, де a і b — деякі цілі числа, бо x та y діляться на 2. Але тоді сума x+ y = 2a + 2b = 2(a + b) також ділиться на 2, так що вона є парною за визначенням.

Цей доказ використовує визначення парних цілих чисел, і також дистрибутивний закон додавання.

Індуктивний доказ

Припустимо, що потрібно встановити справедливість нескінченної послідовності тверджень, занумерованих натуральними числами: P₁, P₂,…,P_n,P_n+1,… Припустимо, що

1. Встановлене, що P1вірно. (Це твердження називається базою індукції.)

2. Для будь-якого n доведено, що якщо вірно Pn, то вірно Pn+1. (Це твердження називається індукційним переходом.)

Тоді всі твердження нашої послідовності вірні.

Метод перестановки

Метод перестановки встановлює істинність твердження Якщо А, то Б доведенням еквівалентного твердження: Якщо не Б, то не А.

Доведення від зворотнього

Цей метод доведення відомий також як приведення до абсурду (лат.reductioadabsurdum). Доказ твердження A проводиться таким чином. Спочатку приймають припущення, що твердження A невірно, а потім доводять, що за такого припущення було б вірне деяке твердження B, яке заздалегідь невірне. Отримана суперечність показує, що початкове припущення було невірним, і тому вірне твердження A, яке за законом подвійного заперечення рівносильно твердженню A.

Конструктивний доказ

Конструктивний доказ або доведення наданням прикладу — це конструювання конкретного прикладу з властивостями, для того щоб довести, що існують приклади з цими властивостями. Наприклад, Жозеф Ліувілль, для того щоб довести існування трансцендентних чисел, явно сконструював таке число.

Принцип сходження від абстрактного до конкретного

Сходження від абстрактного до конкретного - метод вивчення дійсності, суть якого в послідовному переході від абстрактних і однобічних уявлень про неї до усе більш конкретного її відтворення в теоретичному мисленні. Термін сходження фіксує ту обставину, що всі попередні поняття в русі не втрачаються, а зберігаються, входять у знятому вигляді в наступні.

Умовні умовиводи

Умовний умовивід — опосередкований дедуктивний умовивід, до складу якого входять умовні судження; перший засновок у ньому завжди є умовним. Залежно від того, якими судженнями (умовними, категоричними чи розділовими) є другий засновок і висновок, умовні судження поділяють на суто умовні, умовно-категоричні та умовно-розділові. Суто умовний умовивід — умовний умовивід, в якому обидва засновки і висновок є умовними судженнями.Формула умовного умовиводу:Якщо А є С, то В є D. Якщо В є D, то К є М.Отже, якщо А є С, то К є М. Приклад: Якщо виробництво товарів у державі є неефективним, то до її скарбниці не надходять податки. Якщо до скарбниці держави не надходять податки, то держава не має змоги виплачувати пенсії. Отже, якщо виробництво товарів у державі є неефективним, то держава не має змоги виплачувати пенсії. Залежність між судженнями в умовному умовиводі передається таким положенням: наслідок наслідку є наслідком підстави. Це положення називають аксіомою, умовного умовиводу.