Разрешение (логика)
Разрешение (логическое) Основы разрешения Разрешение – это метод логического вывода, который позволяет преобразовывать сложные формулы в более простые. Оно используется […]
Вики
Rules of inference
Вики
Структурное правило
Структурное правило Основы теории доказательств Структурные правила в логике не зависят от логических связей, а оперируют последовательностями. Субструктурные логики отрицают
Вики
Структурное правило
Структурное правило Основы теории доказательств Структурные правила в логике не зависят от логических связей, а оперируют последовательностями. Субструктурные логики отрицают
Вики
Законы де Моргана
Законы Де Моргана Основы логики высказываний Логика высказываний – это раздел логики, изучающий высказывания и их отношения. Высказывания могут быть
Вики
Разрешение SLD
Разрешение SLD Основы логического программирования Логическое программирование – это формальное программирование, использующее логику для описания вычислений. Логические программы состоят из
Вики
Допустимое правило
Допустимое правило Основы допустимых правил Допустимые правила – это правила, которые могут быть выведены из аксиом логики. Логика называется разрешимой,
Вики
Структурное правило
Структурное правило Основы теории доказательств Структурные правила в логике не зависят от логических связей, а оперируют последовательностями. Субструктурные логики отрицают
Вики
Экзистенциальная реализация
Экзистенциальное воплощение Основы логики предикатов Введение/устранение двойного условия, конъюнкции, дизъюнкции, силлогизма, дилеммы и других логических операций Правила ассоциативности, коммутативности, распределительной
Вики
Экзистенциальное обобщение
Экзистенциальное обобщение Основы логики предикатов Экзистенциальное обобщение используется для перехода от конкретных утверждений к обобщенным. В логике первого порядка применяется
Вики
Тавтология (правило вывода)
Тавтология (правило логического вывода) Основы логики высказываний Тавтология – это правило замены, используемое для устранения избыточности в логических доказательствах. Принцип
Вики
Экспорт (логика)
Экспорт (логика) Введение/устранение двойного условия Введение/устранение двойного условия позволяет заменить условные утверждения с конъюнктивными предпосылками на утверждения с условными следствиями
Вики
Введение в отрицание
Введение отрицания Основы логического анализа Введение отрицания: если антецедент подразумевает и следствие, и его отрицание, то антецедент считается противоречием. Формальная
Вики
Поглощение (логика)
Поглощение (логика) Основы логики высказываний Введение/устранение двойного условия, конъюнкции, дизъюнкции, силлогизма, дилеммы и отрицания Ассоциативность, коммутативность, распределительная способность, двойное отрицание,
Вики
Разрушительная дилемма
Деструктивная дилемма Основы пропозициональной логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов Различие между конструктивной и деструктивной
Вики
Конструктивная дилемма
Конструктивная дилемма Основы пропозициональной логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов Ассоциативность, коммутативность, распределительная способность, двойное
Вики
Устранение союза
Устранение конъюнкции Основы логики высказываний Устранение конъюнкции – это правило вывода, которое позволяет упростить доказательство, если конъюнкция истинна. Правило состоит
Вики
Знакомство с союзом
Введение в конъюнкцию Основы логики Введение/устранение двойного условия Введение/отмена конъюнкции Введение/устранение дизъюнкции Дизъюнктивный/гипотетический силлогизм Конструктивная/деструктивная дилемма Поглощение/способ воздействия/способ понендо воздействия
Вики
Двуусловное исключение
Исключение при наличии двух условий Основы пропозициональной логики Двоякое исключение – это правило вывода, позволяющее преобразовывать условные выражения. Если P
Вики
Двуусловное введение
Введение с двумя условиями Введение/устранение последствий Двоякое введение позволяет вывести двоякое условие из двух условных утверждений. Это правило позволяет ввести
Вики
Правило замены
Правило замены Основы логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операций Ассоциативность, коммутативность, распределительная способность, двойное отрицание
Вики
Дизъюнктивный силлогизм
Дизъюнктивный силлогизм Дизъюнктивный силлогизм – это силлогизм, имеющий дизъюнктивное утверждение для одной из своих посылок. В классической логике дизъюнктивный силлогизм