Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- ...[[Многозначная_логика|расширение]] (например до [[троичная логика|троичной логики]] в языке [[Аймара_(язык)#Уникальные_особенности|Аймара]], с использованием Алгебра логики стала первой системой математической логики, в которой алгебраическая символика стала применяться к логическим выводам ...14 КБ (484 слова) - 08:51, 31 декабря 2024
Совпадения в текстах страниц
- '''Закон противоречия''' ('''закон непротиворечия''') — закон [[логика|логики]], который гласит, что два несовместимых ([[Противоречие|противоречащих]] и ...логик|неклассических логик]], в том числе [[Интуиционизм|интуиционистской логики]]. Всё же существуют [[тривиально|нетривиальные]] [[логическая система|логи ...3 КБ (27 слов) - 15:26, 1 марта 2022
- ...'' — один из [[закон (логика)|законов]] [[классическая логика|классической логики]], аналог законов [[Закон двойного отрицания|двойного отрицания]] и [[Закон ...этом смысле все три закона эквивалентны. Однако в общем случае, существуют логики, в которых все три закона неэквивалентны<ref name="minimal">Zena M. [http:/ ...3 КБ (76 слов) - 08:45, 28 июня 2022
- ...тся «=») также рассматривается как логическая константа во многих системах логики. ...логического «и»<ref>{{Cite web |url=http://erui.ru/0.shtml |title=Предмет логики |accessdate=2015-01-18 |archiveurl=https://web.archive.org/web/201502122151 ...2 КБ (78 слов) - 23:48, 29 июня 2023
- ...ие]] всех модальных алгебр обеспечивает алгебраическую семантику модальной логики <math>\mathrm K</math>, а [[Решётка (алгебра)|решётка]] его подмногообразий ...3 КБ (111 слов) - 10:23, 24 июля 2023
- '''Теорема о существовании модели''' — утверждение [[логика первого порядка|логики первого порядка]], согласно которому любое непротиворечивое множество форму [[Категория:Теоремы математической логики|существовании модели]] ...2 КБ (43 слова) - 23:10, 19 сентября 2015
- {{Законы логики}} [[Категория:Законы логики]] ...2 КБ (30 слов) - 07:49, 4 февраля 2022
- '''Зако́н двойственности''' — закон математической логики, который гласит: «если формулы А и В [[равносильность|равносильны]], то и д '''''Двойственность''''' — термин математической логики, применяемый в случае таких пар понятий, как [[конъюнкция]] и [[дизъюнкция] ...3 КБ (35 слов) - 13:07, 9 октября 2021
- '''Принцип Маркова''' — один из основных принципов логики [[Конструктивная математика|конструктивной математики]], сформулированный в С использованием формальных языков конструктивной математической логики (например, ступенчатой семантической системы Маркова) '''принцип Маркова''' ...3 КБ (64 слова) - 13:32, 19 ноября 2020
- ...и простейшей модельной логикой, образуется формулами [[Логика высказываний|логики высказываний]], [[Тавтология (логика)|тавтологиями]], аппаратом вывода с [[ ...3 КБ (141 слово) - 10:38, 17 июня 2022
- ...ая логика|неклассических логик]]. В контексте [[модальная логика|модальной логики]] для аналогичного понятия используются термины '''модальная логика''' и '' Теории [[логика первого порядка|логики первого порядка]] состоят из ''замкнутых'' формул. ...4 КБ (60 слов) - 05:56, 9 июня 2022
- ...и закона двойного отрицания. В формализованном языке [[Логика высказываний|логики высказываний]] они выражаются формулами: ...к [[классическая логика|классической логике]]. При этом однако, существуют логики, в которых все три закона неэквивалентны<ref name="minimal">Zena M. Ariola ...6 КБ (102 слова) - 17:49, 13 июля 2024
- ...1264776583/ml-5-normal.pdf Дискретная математика – 2. Нормальные модальные логики] {{Wayback|url=https://www.hse.ru/data/2012/03/20/1264776583/ml-5-normal.pd == Общие нормальные модальные логики == ...5 КБ (213 слов) - 13:43, 10 апреля 2024
- ...о отличает комбинационную логику от [[секвенциальная логика|секвенциальной логики]], в рамках которой выходное значение зависит не только от текущего входног Математику комбинационной логики обеспечивает [[булева алгебра]]. Базовыми операциями являются: ...7 КБ (280 слов) - 23:31, 14 октября 2020
- == Погружение интуиционистской логики в S4 == ...4 КБ (225 слов) - 21:55, 23 октября 2024
- ...тся одной из фундаментальных теорем [[математическая логика|математической логики]]: она устанавливает однозначную связь между логической истинностью высказы [[Категория:Теоремы математической логики|Гёделя о полноте]] ...3 КБ (49 слов) - 19:28, 29 июня 2023
- == Топологическая семантика для модальной логики == ...5 КБ (232 слова) - 22:41, 5 января 2025
- ...сказываний]]. Рассматривается как закон [[Классическая логика|классической логики]]. Согласно данному принципу, [[Конъюнкция|конъюнкты]] логической связки мо ...утверждение истинностно-функциональной тавтологии или [[Теорема|теоремы]] логики высказываний: ...6 КБ (232 слова) - 17:27, 9 апреля 2024
- === Из афинной логики === {{Законы логики}} ...5 КБ (56 слов) - 17:40, 9 апреля 2024
- ...же как метафора языка программирования [[Ladder Diagram|релейно-контактной логики]] для [[программируемый логический контроллер|программируемых логических ко * [[Язык релейно-контактной логики]] ...4 КБ (34 слова) - 05:34, 26 января 2019
- '''Зако́н контрапози́ции''' — закон классической логики, утверждающий, что в том случае, если некая [[Посылка (логика)|посылка]] '' * {{книга|автор=Новиков П.С.|заглавие=Элементы математической логики|издательство=М.:Наука|год=1973}} ...5 КБ (100 слов) - 22:06, 18 сентября 2023