Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- ...стина» і «хиба» відповідно) незалежно від того, чи є у нас прямий [[Доказ (логіка)|доказ]] для будь-якого випадку. Навпаки, пропозиціональним формулам (преди ...ої логіки, або навіть як логіки з кінцевим знаком. Попри те, що інтуїтивна логіка зберігає тривіальні судження <math>\{\top, \bot\}</math> наслідувані від кл ...41 КБ (1743 слова) - 06:04, 29 травня 2024
- '''Асинхронна логіка''' — різновид взаємодії логічних елементів [[Цифрова електроніка|цифро * [[Темпоральна логіка|темпоральна (часова) логіка]]; ...44 КБ (852 слова) - 20:41, 28 листопада 2023
- ...я для усунення необхідності [[Квантор|кількісних]] змінних в [[Математична логіка|математичній логіці]]. Вона була введена [[Шейнфінкель Мойсей Ейлєвич|Мойсе ...)|виразність]] комбінаторної логіки зазвичай перевищує за цим параметром [[Логіка першого порядку|логіку першого порядку]], виразність логіки предикативного ...59 КБ (2911 слів) - 12:57, 19 лютого 2025
- '''Квантова логіка''' — набір правил логіки для роботи з системами, що потребують урахува ...ною [[Квантовий комп'ютер|квантовим комп'ютером]]. З огляду на це квантова логіка користується іншими логічними операціями, які мають властивості [[Оборотні ...22 КБ (454 слова) - 13:45, 3 лютого 2025
- ...вами, секвенційна логіка припускає наявність ''пам'яті'', яку комбінаційна логіка не передбачає. Комбінаційна логіка використовується в обчислювальних схемах для формування вхідних сигналів і ...7 КБ (305 слів) - 13:50, 3 грудня 2024
- ...є й інші, наприклад «відомо, що» (логіка знання) або «можна довести, що» (логіка довідності). == Модальна логіка у філософії == ...9 КБ (320 слів) - 07:05, 5 березня 2025
- ...нших, враховуючи їх структуру. Логіку предикатів трактують як розширення [[логіка висловлень|логіки висловлювань]] через виявлення внутрішньої структури висл Логіка предикатів як система створюється відповідно до загальних принципів побудов ...16 КБ (292 слова) - 15:38, 24 серпня 2024
- У [[Математична логіка|математичній логіці]] '''терм''' позначає математичний об'єкт, у той час як ...в [[Принцип бівалентності|бівалентній логіці]], за умови [[Інтерпретація (логіка)|інтерпретації]]. Наприклад, {{tmath|(x+1)*(x+1)}} — це терм, побудований з ...30 КБ (885 слів) - 06:08, 30 березня 2024
- '''Тавтологія''' — це [[формула]] [[логіка|логіки]], що має значення «істина» не залежно від конкретних значень аргуме {{Математична логіка}} ...1 КБ (48 слів) - 17:05, 8 лютого 2025
- ...0-х]] {{нп|Arthur Prior|Артур Пріор|en|Arthur Prior}} на основі [[Модальна логіка|модальної логіки]] й вона отримала подальший розвиток в [[Інформатика|інфор ...ої логіці значення залежить від того, коли воно перевіряється. Темпоральна логіка дозволяє висловити затвердження типу «Я'' завжди'' голодний», «Я'' іноді'' ...11 КБ (680 слів) - 15:42, 12 жовтня 2024
- ...кої, як [[числення висловлень|логіка числення висловлень]] та [[предикатна логіка]]. Побудувати такі системи можна декількома шляхами, включаючи способи розш [[Філософська логіка|Філософську логіку]], особливо у [[Теоретична інформатика|теоретичній інфор ...14 КБ (580 слів) - 10:22, 20 січня 2024
- ...шого порядку|логіки предикатів]], синтаксично ж вони близькі до [[модальна логіка|модальних логік]]. ...концепт]]''' і '''[[роль]]''', відповідними в інших розділах [[математична логіка|математичної логіки]] поняттям «одномісний предикат» (або множина, клас) та ...61 КБ (2222 слова) - 17:46, 17 серпня 2024
- '''Трійкова логіка''' (''тризначна логіка'') — [[багатозначна логіка]] з трьома значеннями, є найпростішим розширенням звичайної [[Алгебра логік * [[Логіка Лукашевича]] ...4 КБ (213 слів) - 13:38, 4 лютого 2025
- В [[Математична логіка|математичній логіці]] логічні постійні позначаються такими символами:{{sfn| ...ик «або», коли він виступає в сполучно-розділовому значенні ([[диз'юнкція (логіка)|диз'юнкція]]); ...14 КБ (174 слова) - 13:28, 29 червня 2020
- ...а до нескінченної дійснозначної логіки як для [[числення висловлень]] та [[логіка першого порядку|логіки першого порядку]]. ...ю рисою всіх підструктурних логік без правила скорочення, до яких належить логіка Лукашевича. ...3 КБ (176 слів) - 09:03, 7 квітня 2018
- У [[Логіка|логіці]], обернення категоричного або імплікативного судження є результатом ...озиції:<ref>Вільям Томас Перрі і Едвард А. Хакер (1991), ''Арістотелівська логіка'', SUNY Пресса, [http://books.google.com/books?id=3Sg84H6B-m4C&pg=PA207 p. ...12 КБ (343 слова) - 11:56, 7 червня 2024
- ...science)}}. Запропонована в 1969 британським інформатиком та [[Математична логіка|логіком]] [[Тоні Гоар]]ом, і пізніше вдосконалена ним же, та іншими дослідн На початку 70-х років XX століття виникли '''[[Алгоритмічна логіка Хоара|алгоритмічні логіки]]'''. Вони були створені з метою опису семантики ...24 КБ (597 слів) - 15:56, 8 лютого 2023
- ...а-58669u}}</ref> Найчастіше вивчаються елементи формальної логіки — [[Логіка предикатів|логіки предикатів]] і їх модальні аналоги, і для них існують ста У конкретних випадках [[Логіка висловлювань|логіки висловлювань]] і [[Логіка предикатів|логіки предикатів]], формальні мови вважаються абетками, які роз ...23 КБ (722 слова) - 05:00, 26 травня 2022
- ...нтують істинність висновку при істинності посилок. [[Дедукція|Дедуктивна]] логіка іноді ототожнюється з формальною логікою. Поза межами дедуктивної логіки зн Однією з найбільш характерних сфер життя, в якій дедуктивна логіка діє по максимуму, є [[юриспруденція]]. Коли закон прийнятий, то його дотрим ...3 КБ (68 слів) - 07:39, 23 травня 2018
- ...теризується як основний {{iw|носій істини||en|Truth-bearer}} чи {{iw|Хиба (логіка)|хибності||False (logic)}}. Пропозиції також часто характеризують як речі, Пропозиції відігравали велику роль в історії [[Логіка|логіки]], [[Мовознавство|лінгвістики]], [[Філософія мови|філософії мови]] т ...27 КБ (633 слова) - 00:11, 26 січня 2025
Збіги в текстах сторінок
- '''Тавтологія''' — це [[формула]] [[логіка|логіки]], що має значення «істина» не залежно від конкретних значень аргуме {{Математична логіка}} ...1 КБ (48 слів) - 17:05, 8 лютого 2025
- '''Сигнатура''' в [[Математична логіка|математичній логіці]] та [[Універсальна алгебра|універсальній алгебрі]] — н {{Математична логіка|state=collapsed}} ...2 КБ (29 слів) - 17:31, 8 лютого 2025
- {{Класична логіка}} [[Категорія:Логіка]] ...830 байтів (16 слів) - 20:58, 22 грудня 2014
- ...а до нескінченної дійснозначної логіки як для [[числення висловлень]] та [[логіка першого порядку|логіки першого порядку]]. ...ю рисою всіх підструктурних логік без правила скорочення, до яких належить логіка Лукашевича. ...3 КБ (176 слів) - 09:03, 7 квітня 2018
- '''Теорема Леба''' — теорема в [[Математична логіка|математичній логіці]] про взаємозв'язок між доказовими твердження і самим т ...лючає [[Аксіоми Пеано|аксіоматику Пеано]], для будь-якого [[Висловлювання (логіка)|висловлювання]] <math> P </math> доведеність висловлювання «доведеність <m ...3 КБ (61 слово) - 03:44, 28 липня 2019
- ...тього|виключеного третього]]. Названий на честь [[Америка|американського]] логіка і [[Філософ|філософа]] [[Чарльз Пірс|Чарльза Пірса]]. ...у [[Некласична логіка|некласичних логіках]], зокрема в [[Інтуїціоністська логіка|інтуїціоністській логіці]]. Водночас додавання закону Пірса до будь-якої ак ...3 КБ (90 слів) - 05:11, 18 червня 2022
- ...нтують істинність висновку при істинності посилок. [[Дедукція|Дедуктивна]] логіка іноді ототожнюється з формальною логікою. Поза межами дедуктивної логіки зн Однією з найбільш характерних сфер життя, в якій дедуктивна логіка діє по максимуму, є [[юриспруденція]]. Коли закон прийнятий, то його дотрим ...3 КБ (68 слів) - 07:39, 23 травня 2018
- ...ластична]] [[сентенція]] [[Латина|латиною]], яке виражає засади [[модальна логіка|модальної]] [[Логічна імплікація|імплікації]]. Вона твердить, що з [[асерто ...ина цього принципу становить [[тавтологія (логіка)|тавтологію]] [[модальна логіка|модальних]] висловлювань (<math>p \Rightarrow \Diamond p\,\!</math>, ''ab e ...3 КБ (106 слів) - 19:04, 18 квітня 2022
- '''Трійкова логіка''' (''тризначна логіка'') — [[багатозначна логіка]] з трьома значеннями, є найпростішим розширенням звичайної [[Алгебра логік * [[Логіка Лукашевича]] ...4 КБ (213 слів) - 13:38, 4 лютого 2025
- ...е [[алгебрична структура|структура]] з тією самою [[сигнатура (математична логіка)|сигнатурою]], яка Для двох структур ''A'' та ''B'' одинакової [[сигнатура (математична логіка)|сигнатури]] σ, ''A'' є '''слабкою підструктурою''' ''B'', якщо: ...3 КБ (91 слово) - 14:54, 8 лютого 2025
- У [[Математична логіка|математичній логіці]], [[Теорія|теорія]] є '''повна''', якщо всі формули аб ...ма Геделя про повноту]] розглядає саме такий тип повноти і стверджуж, що [[логіка першого порядку]] є повною. ...4 КБ (112 слів) - 11:55, 29 березня 2022
- ...la|praedicare}} — проголошувати, заявляти, присуджувати) у сучасній [[Логіка|логіці]] зазвичай означає [[Булева функція|булевозначну функцію]] ''P'': '' ...|логіка вищих порядків|вищих порядків||Higher-order logic}}. Починаючи з [[логіка другого порядку|логіки другого порядку]], у формулах можна ставити [[кванто ...4 КБ (63 слова) - 01:55, 20 грудня 2024
- У [[Логіка|логіці]] '''логічною константою''' [[Формальна мова|формальної мови]] <math {{Математична логіка|state=collapsed}} ...3 КБ (105 слів) - 16:58, 8 лютого 2025
- '''Чи́слення ви́словів мініма́льне''' (''мінімальна логіка'') — числення висловів, що відрізняється від [[Інтуїціонізм|інтуїціоні {{Логіка}} ...2 КБ (33 слова) - 04:47, 2 жовтня 2023
- ...ю для некласичних логік, таких як [[інтуїціоністська логіка]] і [[модальна логіка]]. Її створив [[Саул Аарон Кріпке|Саул Кріпке]] в кінці 1950-х — початку 19 {{Логіка-доробити}}{{перекласти|en|Kripke semantics}} ...3 КБ (139 слів) - 11:02, 29 червня 2021
- ...орами]]: [[Кон'юнкція|кон'юнкції]] (<math>\land</math>, і) і [[Диз'юнкція (логіка)|диз'юнкція]] (<math>\lor</math>, або). У [[Класична логіка|класичній логіці]] і багатьох видах [[Модальна логіка|модальної логіки]], кожна формула може бути приведена в цю форму, замінивши ...4 КБ (221 слово) - 03:31, 19 вересня 2023
- ...є й інші, наприклад «відомо, що» (логіка знання) або «можна довести, що» (логіка довідності). == Модальна логіка у філософії == ...9 КБ (320 слів) - 07:05, 5 березня 2025
- ...троїв]]. Назва «секвенційна» походить з {{lang-en|sequential}}. Відповідна логіка може називатися також «послідовна», хоча останній термін переважно вживаєть Секвенційна логіка відрізняється від комбінаційної логіки тим, що моделює цифрові пристрої з у ...8 КБ (291 слово) - 10:14, 4 листопада 2020
- ...nbsp;— математична [[таблиця]], що широко використовується у [[математична логіка|математичній логіці]] зокрема в [[алгебра логіки|алгебрі логіки]], [[числен ! [[Тавтологія (логіка)|Тавтологія<br/><math>\top</math>]] ...6 КБ (364 слова) - 16:29, 1 липня 2024
- ...лкова виключна диз'юнкція''' - це [[формальна помилка]], коли [[Дедуктивна логіка|дедуктивний]] аргумент приймає наступну {{Не перекладено|Логічна форма|логі де <math>{} \vdash {}</math> позначає {{Не перекладено|Судження (логіка)|логічне твердження|en|Judgment (mathematical logic)}}. ...4 КБ (116 слів) - 08:41, 14 жовтня 2024