Результати пошуку

'''Теорема Леба'''&nbsp;— теорема в [[Математична логіка|математичній логіці]] про взаємозв'язок між доказовими твердження і самим т ...лючає [[Аксіоми Пеано|аксіоматику Пеано]], для будь-якого [[Висловлювання (логіка)|висловлювання]] <math> P </math> доведеність висловлювання «доведеність <m ...

...] — набір символів, специфічних для конкретної системи, що визначають її [[Формальна мова|формальну мову]]. Формально, сигнатура <math>\Sigma=(R,F,C,\rho)</math {{Математична логіка|state=collapsed}} ...

У [[Логіка|логіці]] '''логічною константою''' [[Формальна мова|формальної мови]] <math>\mathcal{L}</math> є символ, який має одне й т ...позначається "=") так само розглядається як логічна константа в багатьох [[Формальна система|системах логіки]]. ...

...нтують істинність висновку при істинності посилок. [[Дедукція|Дедуктивна]] логіка іноді ототожнюється з формальною логікою. Поза межами дедуктивної логіки зн Однією з найбільш характерних сфер життя, в якій дедуктивна логіка діє по максимуму, є [[юриспруденція]]. Коли закон прийнятий, то його дотрим ...

'''Диз'юнкти́вна норма́льна фо́рма''' ('''ДНФ''') в [[булева логіка|булевій логіці]] — [[нормальна форма]] в якій булева формула має вид [[диз' == Формальна граматика, що описує ДНФ == ...

...|формальної специфікації]] функції і використовується для її [[верифікація формальна|верифікації]]: в разі виконання передумов, мусять, відповідно, виконуватись [[Категорія:Логіка в інформатиці]] ...

'''Кон'юнкти́вна норма́льна фо́рма''' ('''КНФ''') в [[булева логіка|булевій логіці]] - [[нормальна форма]] в якій булева формула має вид [[кон' == Формальна граматика, що описує КНФ == ...

...м]] [[1928]] року: знайти [[алгоритм]], який би брав як вхідні дані опис [[формальна мова|формальної мови]] та математичного твердження <math> S </math> цією мо {{Математична логіка}} ...

'''Метатеоре́ма'''&nbsp;— [[Логіка|логічне]] твердження про [[Формальна система|формальну систему]], доведене [[Метамова|метамовою]]. На відміну ві Формальна система визначається формальною мовою і [[Формальна система|дедуктивною системою]] ([[аксіома]]ми і [[Правило висновування|прав ...

...лкова виключна диз'юнкція''' - це [[формальна помилка]], коли [[Дедуктивна логіка|дедуктивний]] аргумент приймає наступну {{Не перекладено|Логічна форма|логі де <math>{} \vdash {}</math> позначає {{Не перекладено|Судження (логіка)|логічне твердження|en|Judgment (mathematical logic)}}. ...

В [[інформатика|інформатиці]] і [[математична логіка|математичній логіці]], '''абетка''' це скінченний набір ''[[символ]]ів'' аб Абетки важливі при використанні [[формальна мова|формальних мов]], [[Теорія автоматів|автоматів]] і [[Модель станів і п ...

...арифметика'''&nbsp;— це формулювання [[Арифметика|арифметики]] у вигляді [[Формальна система|формальної (аксіоматичної) системи]]. ...дозволяє формулювати думки про скінченну [[Множина|множину]]. Більш того, формальна арифметика еквівалентна аксіоматичній теорії множин [[Ернст Цермело|Цермела ...

'''Modus tollens''' ({{Lang-uk|спосіб, що заперечує}}) — це формальна назва для '''[[Доведення від супротивного|доведення від супротивного]]'''. [[Категорія:Класична логіка]] ...

...я]]'''&nbsp;— це функція '''g''' , що зіставляє з кожним об'єктом деякої [[Формальна мова|формальної мови]] її номер. З її допомогою можна явно пронумерувати на ...вана як інструмент для доказу [[Теорема Геделя про неповноту|неповноти]] [[Формальна арифметика|формальної арифметики]]. ...

Аксіоми Пеано дали змогу [[Формальна арифметика|формалізувати арифметику]]. [[Категорія:Математична логіка]] ...

...в твердженні неприпустимого [[Самореференція|посилання на саме себе]]. У [[Формальна система|формальних системах доказів]] парадокс Каррі не виникає, однак деяк [[Категорія:Математична логіка]] ...

...чотирьох основних законів [[Формальна логіка|формальної]] (традиційної) [[Логіка|логіки]], який можна висловити так: У [[математична логіка|математичній логіці]] закон суперечності також є одним з основних та має та ...

...н подві́йного запере́чення —''' принцип, що покладений в основу [[Класична логіка|класичної логіки]], згідно з яким «якщо [[заперечення|неправильно]], що неп і в такому вигляді фігурує, зазвичай, в переліку логічних аксіом [[формальна система|формальних теорій]]. У традиційній змістовній математиці закон подв ...

...кої, як [[числення висловлень|логіка числення висловлень]] та [[предикатна логіка]]. Побудувати такі системи можна декількома шляхами, включаючи способи розш [[Філософська логіка|Філософську логіку]], особливо у [[Теоретична інформатика|теоретичній інфор ...

У [[Математична логіка|математичній логіці]] '''замкнений терм''' [[Формальна система|формальної системи]] є [[Терм|термом]], який не містить жодної [[Ві ...а, яка не містить жодної [[Вільні і зв'язані змінні|вільної змінної]]. У [[Логіка першого порядку|логіці першого порядку]] формула <math>\forall x (x=x)</mat ...