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

...'' — один из [[закон (логика)|законов]] [[классическая логика|классической логики]], аналог законов [[Закон двойного отрицания|двойного отрицания]] и [[Закон ...этом смысле все три закона эквивалентны. Однако в общем случае, существуют логики, в которых все три закона неэквивалентны<ref name="minimal">Zena M. [http:/ ...

'''Закон противоречия''' ('''закон непротиворечия''') — закон [[логика|логики]], который гласит, что два несовместимых ([[Противоречие|противоречащих]] и ...логик|неклассических логик]], в том числе [[Интуиционизм|интуиционистской логики]]. Всё же существуют [[тривиально|нетривиальные]] [[логическая система|логи ...

{{Законы логики}} [[Категория:Законы логики]] ...

...и закона двойного отрицания. В формализованном языке [[Логика высказываний|логики высказываний]] они выражаются формулами: ...к [[классическая логика|классической логике]]. При этом однако, существуют логики, в которых все три закона неэквивалентны<ref name="minimal">Zena M. Ariola ...

...тся одной из фундаментальных теорем [[математическая логика|математической логики]]: она устанавливает однозначную связь между логической истинностью высказы [[Категория:Теоремы математической логики|Гёделя о полноте]] ...

'''Законы де Мо́ргана''' ('''правила де Мо́ргана''') — [[Логика|логические]] правила, Используя законы де Моргана, можно выразить конъюнкцию через дизъюнкцию и три отрицания. Ана ...

...сказываний]]. Рассматривается как закон [[Классическая логика|классической логики]]. Согласно данному принципу, [[Конъюнкция|конъюнкты]] логической связки мо ...утверждение истинностно-функциональной тавтологии или [[Теорема|теоремы]] логики высказываний: ...

'''Зако́н контрапози́ции''' — закон классической логики, утверждающий, что в том случае, если некая [[Посылка (логика)|посылка]] '' * {{книга|автор=Новиков П.С.|заглавие=Элементы математической логики|издательство=М.:Наука|год=1973}} ...

[[Категория:Теоремы математической логики|Лёба]] [[Категория:Именные законы и правила|Лёба]] ...

=== Из афинной логики === {{Законы логики}} ...

...}}, то есть «третьего не дано») — закон [[классическая логика|классической логики]], который формулируется следующим образом: два противоречащих суждения не Подобный смысл имеют другие [[Законы логики|логические законы]], многие из которых сложились исторически. ...

...[[Многозначная_логика|расширение]] (например до [[троичная логика|троичной логики]] в языке [[Аймара_(язык)#Уникальные_особенности|Аймара]], с использованием ...ался выразить в виде уравнений с символами, в которых действуют логические законы, подобные законам алгебры. ...

'''Теорема Трахтенброта''' — теорема о неразрешимости истинности формул логики первого порядка для конечных моделей. Была сформулирована [[Трахтенброт, Бо [[Категория:Теоремы математической логики|Трахтенброта]] ...

...ованные из простых, и их взаимоотношения. В отличие от [[Логика предикатов|логики предикатов]], пропозициональная логика не рассматривает внутреннюю структур == Язык логики высказываний == ...

В большинстве видов логики, ослабление является либо [[Правило вывода|правилом вывода]], либо [[Метате {{Законы логики}} ...

...|классических логик]] путём различных вариаций законов и правил (например, логики, отменяющие [[закон исключённого третьего]], меняющие [[Таблица истинности| ...сти. Наиболее популярна трёхзначная логика (логика Лукасевича). Существуют логики с бесконечным набором значений истинности, такие как вероятностная и нечётк ...

[[Категория:Теоремы математической логики|Клини]] [[Категория:Именные законы и правила|Клини]] ...

[[Категория:Теоремы математической логики|Чёрча — Тьюринга]] [[Категория:Именные законы и правила|Чёрча — Тьюринга]] ...

'''Теорема Гудстейна''' — теорема [[математическая логика|математической логики]] о [[натуральные числа|натуральных числах]], доказанная [[Рубен Гудстейн|Р [[Категория:Теоремы математической логики|Гудстейна]] ...

[[Категория:Теоремы математической логики|Поста]] [[Категория:Именные законы и правила|Поста]] ...