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

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

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

У [[Математична логіка|математичній логіці]], [[Теорія|теорія]] є '''повна''', якщо всі формули або її заперечення є д ...логіки'', яка означає, що для кожної теорії, яка може бути сформульована в логіці, будь-яке семантично допустиме твердження є доказовою теоремою на базі аксі ...

...один об'єкт з зазначеною властивістю. У [[Математична логіка| математичній логіці]], такий різновид [[Квантор|квантору]] відомий як '''квантор унікальності'' Альтернативний спосіб довести унікальність полягає в доказі існування значення <math>a</math> ,що задовольняють умові, а потім д ...

...у минулому був столицею України», які неможливо або вкрай складно виразити в немодальній мові. Окрім часових і просторових модальностей є й інші, наприк [[Алетична модальність|Алетичні]] модальні поняття: ...

Дистрибутивність присутня в багатьох [[алгебрична структура|алгебричних структурах]] де визначене додав В [[алгебра логіки|булевій алгебрі]] та [[математична логіка|математичній логіці]] операції [[кон'юнкція|кон'юнкції]] <math>\land</math> та [[диз'юнкція (ло ...

...татеорії]] і може посилатися на поняття, які присутні в метатеорії, але не в {{Не перекладено|Теорія об'єктів|теорії об'єктів|en|Object theory}}.<ref>'' ...роста рекурсивна арифметика||en|Primitive recursive arithmetic}} (особливо в [[Теорія доведення|теорії доведень]]). Замість того щоб демонструвати доказ ...

...м]] є катастрофою; оскільки будь-яке твердження можна довести, це знецінює поняття істинності.<ref name="McKubre-Jordens">{{cite web У [[Символічна логіка|символічній логіці]], принцип вибуху можна записати так: ...

...призвести]] до непорозумінь чи навіть суперечностей. Протилежне за змістом поняття&nbsp;— '''предикативність'''. ...ість) називають '''непредикативною''', якщо вона містить пов'язану змінну, в область зміни якої потрапляє визначуваний об'єкт. Властивість називають ''' ...

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

...зність|розв'язності]] для логічних формул з урахуванням теорій, які лежать в їх основі. Прикладами таких теорій для SMT формул є: теорії цілих та дійсни == Основні поняття == ...

...]]), у тому сенсі, що якщо передумови є [[Значення істинності|істинними]] (в межах інтерпретації), то істинним є і висновок. ...істинність, семантичну властивість. У [[Багатозначна логіка|багатозначній логіці]] воно зберігає узагальнене значення. Але дія правила висновування є винятк ...

В [[логіка|логіці]], слова ''необхідно'' і ''достатньо'' відповідають [[імплікація|імплікацій ...ю для твердження «сьогодні [[День Незалежності України|День Незалежності]] в [[Україна|Україні]].» Подібно, необхідною і достатньою умовою для [[Обернен ...

...відношень. Одне з найяскравіших застосувань техніки математичних відношень в [[Прикладна математика|прикладах]]&nbsp;— [[Реляційна система керування баз Широко вживаними в [[математика|математиці]] та прикладних науках є двомісні або [[бінарне від ...

...повідність Каррі — Говарда|Каррі — Говарда]]). Тому операції в інтуїтивній логіці зберігають {{Не перекладено|Джастифікаціонізм|юстифікацію (виправдання)|ru| Недоведеним твердженням в інтуїтивній логіці не надаються проміжні значення істинності (як іноді помилково стверджується ...

[[Файл:Infinity symbol.svg|thumb|200px|right|[[Символ нескінченності]] ∞ в різних шрифтах.]] ...мається на увазі, що вона може бути необмежено збільшена. Альтернативою є поняття '''актуальної нескінченності''', яка означає величину, що не має кінцевої м ...

...<math>x \in X</math>, які не належать жодній множині <math>A_k</math>, і 0 в іншому разі. Тому ...ка|комбінаториці]], яке використовують також і в інших областях, наприклад в [[теорія ймовірностей|теорії ймовірностей]]: якщо <math>X</math>&nbsp;— [[й ...

Інколи поняття ''Польської нотації'' включає (як протилежність ''[[Інфіксна нотація|інфікс ...ро «Узагальнення дедукції»'' була розглянута Ґ.&nbsp;А.&nbsp;Погожельським в ''Journal of Symbolic Logic'' у 1965 році.<ref>Pogorzelski, H. A., [http:// ...

...nbsp;— [[формальна система]] в [[математична логіка|математичній логіці]], в якій [[формула|формули]], що відповідають висловленням, можуть утворюватись ...ota</math> є скінченною множиною, елементи якої називаються [[аксіома]]ми. В окремих прикладах дана множина може бути пустою. ...

...имось на кшталт суміші суперечливих потреб». Термін часто використовується в широкому сенсі і має різні споріднені концепції. ...му, що, згідно з Расселліанським поглядом, дві пропозиції, які є істинними в усіх однакових станах речей ще можна диференціювати. Наприклад, пропозиція ...