Протиставлення
Визначення
Протиставлення – логічна операція над судженням, що полягає в зміні його якості (ствердження на заперечення і навпаки) і одночасній перестановці місцями його суб'єкта і предиката.
Правила протиставлення
Щоб утворене судження зберігало значення істинності вихідного, необхідно в процесі протиставлення дотримуватися певних правил:
- Зміну якості проводити як подвійне заперечення.
- Загальностверджувальне судження перетворювати на загальнозаперечне.
- Частковозаперечне судження перетворювати на частковостверджувальне.
Таблиця протиставлення
| Тип судження | Протиставлення |
|---|---|
| A (загальностверджувальне) | E (загальнозаперечне) |
| E (загальнозаперечне) | A (загальностверджувальне) |
| I (частковостверджувальне) | O (частковозаперечне) |
| O (частковозаперечне) | I (частковостверджувальне) |
Використання протиставлення
Операцію протиставлення часто використовують:
- Як безпосередній умовивід, тобто умовивід з одного засновку.
- Як засіб перевірки достовірності судження, тобто якщо протиставлення істинного судження є хибним, то вихідне судження також є хибним.
- Для спрощення міркувань, тобто для переходу від одного типу судження до іншого з збереженням його значення істинності.
Приклади протиставлення
Судження: Всі люди смертні.
Протиставлення: Ніхто з людей не безсмертний.
Судження: Деякі дерева вічнозелені.
Протиставлення: Деякі дерева не є вічнозеленими.
Протиставлення є важливою логічною операцією, яка дозволяє змінювати структуру та якість суджень без втрати їх істинності. Воно використовується в різних сферах, таких як філософія, математика та штучний інтелект, для аналізу, перевірки та спрощення міркувань.
Часті запитання
- Яка основна мета протиставлення? – Зміна якості судження та перестановка його суб'єкта і предиката.
- Які правила необхідно дотримуватися при протиставленні? – Дотримуватися правил подвійного заперечення та перетворення типів суджень.
- Як можна використовувати протиставлення? – Як безпосередній умовивід, засіб перевірки достовірності та спрощення міркувань.
- Що таке подвійне заперечення? – Перетворення заперечення на ствердження і навпаки.
- Чи є протиставлення істинним, якщо вихідне судження хибне? – Ні, протиставлення буде хибним, якщо вихідне судження хибне.