Вивід

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 11:36, 11 липня 2018, створена Володимир Ф (обговорення | внесок) (оформлення, посилання)
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку

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

Висновок у математичній логіці певної формули називають висновоком, останньою формулою якого є саме ця.

Доведення — це висновок з порожньої множини засновків. ППФ А називають висновоком з множини засновків Γ (символічно Γ А, де знак імплікації), якщо існує її результат з Г. ППФ А називають висновком (символічно А), якщо існує її доведення.

Література[ред. | ред. код]