Висновок

Умозаключение— це форма мислення, у якій із однієї чи кількох суджень, званих посилками (підставами), виводиться нове судження, зване висновком чи наслідком, выводом.

Зміст

[ред.] Класифікація висновків

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

[ред.] Види висновків:

• перетворення;
• звернення;
• протиставлення предикату;
• протиставлення суб'єкту;
• контрапозиція.

Контрапозиція— це перетворення (операція) складного судження за законом класичної логіки: якщо з судженняAвипливає судженняB, то із заперечення судженняBслідує заперечення судженняA.

[ред.] Структурні схеми

Перетворення(заперечення предикату).

Звернення(перестановка суб'єкта та предикату).

Протиставлення предикату(перестановка та заперечення предикату).

Протиставлення суб'єкту(перестановка та заперечення суб'єкта).

---