Theorems in propositional logic

Вики

Закон исключенного третьего

/

Закон исключенной середины История и значение закона исключенного третьего Закон исключенного третьего утверждает, что из двух противоречащих высказываний одно должно […]

Вики

Разрешение (логика)

/

Разрешение (логическое) Основы разрешения Разрешение — это метод логического вывода, который позволяет преобразовывать сложные формулы в более простые.  Оно используется

Вики

Законы де Моргана

/

Законы Де Моргана Основы логики высказываний Логика высказываний — это раздел логики, изучающий высказывания и их отношения.  Высказывания могут быть

Вики

Удивительное последствие

/

Последствие мирабилиса Основы Consequentia Mirabilis Consequentia mirabilis используется для доказательства истинности утверждения через его противоречивость.  Принцип связан с доведением до

Вики

Тавтология (правило вывода)

/

Тавтология (правило логического вывода) Основы логики высказываний Тавтология — это правило замены, используемое для устранения избыточности в логических доказательствах.  Принцип

Вики

Экспорт (логика)

/

Экспорт (логика) Введение/устранение двойного условия Введение/устранение двойного условия позволяет заменить условные утверждения с конъюнктивными предпосылками на утверждения с условными следствиями

Вики

Поглощение (логика)

/

Поглощение (логика) Основы логики высказываний Введение/устранение двойного условия, конъюнкции, дизъюнкции, силлогизма, дилеммы и отрицания  Ассоциативность, коммутативность, распределительная способность, двойное отрицание,

Вики

Разрушительная дилемма

/

Деструктивная дилемма Основы пропозициональной логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов  Различие между конструктивной и деструктивной

Вики

Конструктивная дилемма

/

Конструктивная дилемма Основы пропозициональной логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов  Ассоциативность, коммутативность, распределительная способность, двойное

Вики

Устранение союза

/

Устранение конъюнкции Основы логики высказываний Устранение конъюнкции — это правило вывода, которое позволяет упростить доказательство, если конъюнкция истинна.  Правило состоит

Вики

Знакомство с союзом

/

Введение в конъюнкцию Основы логики Введение/устранение двойного условия  Введение/отмена конъюнкции  Введение/устранение дизъюнкции  Дизъюнктивный/гипотетический силлогизм  Конструктивная/деструктивная дилемма  Поглощение/способ воздействия/способ понендо воздействия 

Вики

Двуусловное исключение

/

Исключение при наличии двух условий Основы пропозициональной логики Двоякое исключение — это правило вывода, позволяющее преобразовывать условные выражения.  Если P

Вики

Двуусловное введение

/

Введение с двумя условиями Введение/устранение последствий Двоякое введение позволяет вывести двоякое условие из двух условных утверждений.  Это правило позволяет ввести

Вики

Дизъюнктивный силлогизм

/

Дизъюнктивный силлогизм Дизъюнктивный силлогизм — это силлогизм, имеющий дизъюнктивное утверждение для одной из своих посылок.  В классической логике дизъюнктивный силлогизм

Вики

Введение в дизъюнкцию

/

Введение в дизъюнкцию Введение/устранение дизъюнкции — правило вывода в логике высказываний и других системах дедукции.  Правило позволяет вводить дизъюнкции в

Вики

Гипотетический силлогизм

/

Гипотетический силлогизм Гипотетический силлогизм — допустимая форма рассуждения в классической логике.  Гипотетические силлогизмы бывают смешанные и чистые.  Смешанный гипотетический силлогизм

Вики

Устранение дизъюнкции

/

Устранение дизъюнкции Устранение дизъюнкции в логике высказываний — допустимая форма аргумента и правило вывода.  Это позволяет исключить дизъюнктивное утверждение из

Вики

Закон поглощения

/

Закон поглощения Закон поглощения связывает пару бинарных операций в алгебре.  Решетка — это алгебра, в которой обе операции являются коммутативными,

Вики

Двойное отрицание

/

Двойное отрицание Двойное отрицание — это правило логики, которое позволяет вводить или исключать отрицание из формального доказательства.  Это правило основано

Прокрутить вверх