Вивід
Було запропоновано об'єднати цю статтю або розділ з Логічна імплікація, але, можливо, це варто додатково обговорити. Пропозиція з квітня 2014. |
Висновок у математичній логіці — формалізація поняття виводу, що її проводять при побудові формальної системи логістичним методом. У математичній логіці виводом з сукупності правильно побудованих формул (ППФ) — засновків, гіпотез (Г) називають таку послідовність ППФ, за якої кожна формула цієї послідовності або належить Г, або є аксіомою, або одержала з попередніх формул за якимось з правил виводу.
Висновок у математичній логіці певної формули називають висновоком, останньою формулою якого є саме ця.
Доведення — це висновок з порожньої множини засновків. ППФ А називають висновоком з множини засновків Γ (символічно Γ А, де знак імплікації), якщо існує її результат з Г. ППФ А називають висновком (символічно А), якщо існує її доведення.
Література
- Вивід // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
🔥 Top keywords: Головна сторінкаФайл:XHamster logo.svgДень вишиванкиPorno for PyrosСпеціальна:ПошукВишиванкаЮрай ЦинтулаНова КаледоніяВовчанськУсик Олександр ОлександровичТайсон Ф'юріУкраїнаТериторіальний центр комплектування та соціальної підтримкиФайл:XVideos logo.svgРоберт ФіцоYouTubeБудинок «Слово»Nemo (співак)МіГ-31БріджертониВійськово-облікова спеціальністьПісенний конкурс Євробачення 2024Всесвітній день вишиванкиТайсон Ф'юрі — Олександр УсикНебінарний гендерБудинок «Слово» (фільм, 2021)Микола ХвильовийFacebook125-та окрема бригада територіальної оборони (Україна)Шевченко Тарас ГригоровичПриродні заповідники УкраїниТварини Червоної книги УкраїниРосійське вторгнення в Україну (з 2022)Марко ВовчокСкуфЛеся УкраїнкаРослини Червоної книги УкраїниРозстріляне відродженняВійськові звання України