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