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

У [[Логіка|логіці]] '''логічною константою''' [[Формальна мова|формальної мови]] <math {{Математична логіка|state=collapsed}} ...

...la|praedicare}}&nbsp;— проголошувати, заявляти, присуджувати) у сучасній [[Логіка|логіці]] зазвичай означає [[Булева функція|булевозначну функцію]] ''P'': '' ...|логіка вищих порядків|вищих порядків||Higher-order logic}}. Починаючи з [[логіка другого порядку|логіки другого порядку]], у формулах можна ставити [[кванто ...

...є й інші, наприклад «відомо, що» (логіка знання) або «можна довести, що» (логіка довідності). == Модальна логіка у філософії == ...

В [[інформатика|інформатиці]] і [[математична логіка|математичній логіці]], '''абетка''' це скінченний набір ''[[символ]]ів'' аб * [[Синтаксис]] ...

...-функції і змінні-предикати, а також квантифікація над цими змінними. Дана логіка не спрощується до логіки першого порядку. == Мова і синтаксис == ...

...ють визначити порядок операцій та інші аспекти {{Не перекладено|Синтаксис (логіка)|синтаксису|en|Syntax (logic)}}. Вираз&nbsp;— одне з фундаментальних матема ...иклад, <math>8x-5 \geq 5x-8</math> набуває значення {{Не перекладено|Хиба (логіка)|хиба|en|False (logic)}} (''false''), якщо ''x'' має значення менше −1, і з ...

...йна алгебра (алгебра [[відношення|відношень]]) є алгебраїчною структурою [[логіка першого порядку|логіки першого порядку]] та [[теорія множин|теорії множин]] ...\land</math> ([[кон'юнкція|кон'юнкції]]), <math>\lor</math> ([[Диз'юнкція (логіка)|диз'юнкції]]) та <math>\lnot</math> ([[заперечення]]). Така вибірка вибира ...

SMTLIB використовує синтаксис, подібний до LISP, щоб полегшити серіалізацію та десеріалізацію моделей, ал === Логіка висловлень та логіка предикатів === ...

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

У формальній системі правила оперування множиною символів суто [[Синтаксис|синтаксичні]] без врахування смислового змісту, тобто [[Семантика|семантики * У 30-і рр.. XX століття Курт [[Гедель]] показав, що є цілий клас [[Логіка першого порядку|теорій першого порядку]], які є неповними. Більше того, фор ...

...нших, враховуючи їх структуру. Логіку предикатів трактують як розширення [[логіка висловлень|логіки висловлювань]] через виявлення внутрішньої структури висл ...за синтаксисом порівняно з логікою висловлювань. Розрізняють семантику та синтаксис логіки предикатів. ...

...три вказаних операнди. Аналогом тернарної умовної операції в [[математична логіка|математичній логіці]] і [[алгебра логіки|булевій алгебрі]] є [[умовна диз'ю ...рмі ця операція зобов'язана мові&nbsp;[[ALGOL|Алгол-60]], у якій вона мала синтаксис <code>'''if''' o1 '''then''' o2 '''else''' o3</code> і потім мови [[BCPL]] ...

=== Синтаксис типів === === Синтаксис термів === ...

...д групи [[операнд]]ів. Якщо [[арність]] операторів фіксована, то отримуємо синтаксис без використання будь-яких дужок і без двозначності. Польську нотацію запро ...отацією. Тому [[Лісп]] та споріднені йому мови програмування визначають їх синтаксис у визначеннях префіксної нотації (тоді як інші використовують [[Польський і ...

...ідношення|відношення]], або можуть вводити пунктуацію чи інші [[синтаксис (логіка)|синтаксичні]] сутності. Використання виразів може різнитися від простих ар ...

...стина» і «хиба» відповідно) незалежно від того, чи є у нас прямий [[Доказ (логіка)|доказ]] для будь-якого випадку. Навпаки, пропозиціональним формулам (преди ...ої логіки, або навіть як логіки з кінцевим знаком. Попри те, що інтуїтивна логіка зберігає тривіальні судження <math>\{\top, \bot\}</math> наслідувані від кл ...

...ж [[формальна мова|формальними мовами]] та їх [[Інтерпретація (математична логіка)|інтерпретаціями]], або моделями. Назву '''теорія моделей''' вперше запропо ...математичних]] проблем, пов'язаних із [[алгебра|алгеброю]] й [[математична логіка|математичною логікою]]. Самі ці підходи існували давно, але при цьому довги ...

...та доведеннями у [[Числення секвенцій|секвенційному]] інтуїціоністському [[Логіка першого порядку|численні предикатів]]. Іншими словами, синтаксис терму, якщо записати його за допомогою [[Нотація Бекуса — Наура|BNF]], таки ...

...а-58669u}}</ref> Найчастіше вивчаються елементи формальної логіки&nbsp;— [[Логіка предикатів|логіки предикатів]] і їх модальні аналоги, і для них існують ста ...logіk.html}}</ref> (ППФ). Суттєвою особливістю формальної мови є те, що її синтаксис може бути визначений без звернення до інтерпретації. Наприклад, ми можемо в ...

...)), змінні типу в Haskell завжди вважаються універсально квантифікованими; синтаксис для універсальної квантифікації відсутній.}}</ref> Інші мови вимагають явно ...)|ML]] у 1975 році.<ref>[[Робін Мілнер|Мілнер, Р.]], Морріс, Л., Ньюї, М. "Логіка для обчислюваних функцій з рефлексивними та поліморфними типами", ''Proc. C ...