Вивід: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Слово не використовується в даній області, єдине місце де воно є це в книзі філософа-макрсиста. Проте є поняття "Логічна імплікація". |
м Додавання/виправлення дати для: Шаблон:Об'єднати |
||
| Рядок 1: | Рядок 1: | ||
{{ |
{{Об'єднати|Логічна імплікація|discuss=Wikipedia_talk:Merging#Merge_the_MERGE.21|дата=квітень 2014}} |
||
'''Висновок''' у [[математична логіка|математичній логіці]] — формалізація поняття виводу, що її проводять при побудові [[формальна система|формальної системи]] логістичним методом. У математичній логіці виводом з сукупності правильно побудованих формул (''ППФ'') — [[засновок|засновків]], [[гіпотеза|гіпотез]] (Г) називають таку послідовність ''ППФ'', за якої кожна формула цієї послідовності або належить Г, або є [[аксіома|аксіомою]], або одержала з попередніх формул за якимось з правил виводу. |
'''Висновок''' у [[математична логіка|математичній логіці]] — формалізація поняття виводу, що її проводять при побудові [[формальна система|формальної системи]] логістичним методом. У математичній логіці виводом з сукупності правильно побудованих формул (''ППФ'') — [[засновок|засновків]], [[гіпотеза|гіпотез]] (Г) називають таку послідовність ''ППФ'', за якої кожна формула цієї послідовності або належить Г, або є [[аксіома|аксіомою]], або одержала з попередніх формул за якимось з правил виводу. |
||
Версія за 17:35, 6 липня 2014
 | Було запропоновано об'єднати цю статтю або розділ з Логічна імплікація, але, можливо, це варто додатково обговорити. Пропозиція з квітня 2014. |
Висновок у математичній логіці — формалізація поняття виводу, що її проводять при побудові формальної системи логістичним методом. У математичній логіці виводом з сукупності правильно побудованих формул (ППФ) — засновків, гіпотез (Г) називають таку послідовність ППФ, за якої кожна формула цієї послідовності або належить Г, або є аксіомою, або одержала з попередніх формул за якимось з правил виводу.
Висновок у математичній логіці певної формули називають висновоком, останньою формулою якого є саме ця.
Доведення — це висновок з порожньої множини засновків. ППФ А називають висновоком з множини засновків
Література
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.