Вивід: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Слово не використовується в даній області, єдине місце де воно є це в книзі філософа-макрсиста. Проте є поняття "Логічна імплікація". |
м Додавання/виправлення дати для: Шаблон:Об'єднати |
||
Рядок 1:
{{
'''Висновок''' у [[математична логіка|математичній логіці]] — формалізація поняття виводу, що її проводять при побудові [[формальна система|формальної системи]] логістичним методом. У математичній логіці виводом з сукупності правильно побудованих формул (''ППФ'') — [[засновок|засновків]], [[гіпотеза|гіпотез]] (Г) називають таку послідовність ''ППФ'', за якої кожна формула цієї послідовності або належить Г, або є [[аксіома|аксіомою]], або одержала з попередніх формул за якимось з правил виводу.
| |||