Нормальная модальная логика
Обычная модальная логика Определение обычной модальной логики Обычная модальная логика включает все пропозициональные тавтологии и схемы Крипке. Закрыта под правилами […]
Вики
Logic stubs
Вики
Система проверки прототипа
Система верификации прототипа Основы PVS PVS – это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на
Вики
Экзистенциальная реализация
Экзистенциальное воплощение Основы логики предикатов Введение/устранение двойного условия, конъюнкции, дизъюнкции, силлогизма, дилеммы и других логических операций Правила ассоциативности, коммутативности, распределительной
Вики
Экзистенциальное обобщение
Экзистенциальное обобщение Основы логики предикатов Экзистенциальное обобщение используется для перехода от конкретных утверждений к обобщенным. В логике первого порядка применяется
Вики
Конструктивная дилемма
Конструктивная дилемма Основы пропозициональной логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов Ассоциативность, коммутативность, распределительная способность, двойное
Вики
Устранение союза
Устранение конъюнкции Основы логики высказываний Устранение конъюнкции – это правило вывода, которое позволяет упростить доказательство, если конъюнкция истинна. Правило состоит
Вики
Знакомство с союзом
Введение в конъюнкцию Основы логики Введение/устранение двойного условия Введение/отмена конъюнкции Введение/устранение дизъюнкции Дизъюнктивный/гипотетический силлогизм Конструктивная/деструктивная дилемма Поглощение/способ воздействия/способ понендо воздействия
Вики
Правило замены
Правило замены Основы логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операций Ассоциативность, коммутативность, распределительная способность, двойное отрицание
Вики
Логика доказуемости
Логика доказуемости Основы логики доказуемости Логика доказуемости – модальная логика, где “это доказуемо” интерпретируется как “□”. Используется для формализации предиката
Вики
Упрощение дизъюнктивных антецедентов
Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) – явление в формальной семантике и философской логике. SDA – это явление,
Вики
База знаний
База знаний База знаний – это набор предложений на языке представления знаний с интерфейсами для создания новых предложений и вопросов.
Вики
Аргумент в пользу персонала
Тема для сотрудников Аргумент в пользу персонала – логическая ошибка, используемая для достижения принятия заключения через обращение к силе. Человек
Вики
Количественный подсчет
Подсчет количественных показателей Счетный квантор обозначает квантор вида “существует по крайней мере k элементов, удовлетворяющих свойству X”. В логике первого
Вики
Polysyllogism – Wikipedia
Многозначность Полисиллогизм – последовательность предложений, образующих последовательность силлогизмов. Каждый силлогизм в полисиллогизме называется прозиллогизмом, за исключением последнего. Сориты – особый
Вики
Вывод о свободном выборе
Вывод о свободном выборе Свободный выбор в естественном языке связан с логической конъюнктивной интерпретацией лингвистической дизъюнкции. Исследования в формальной семантике
Вики
Эффективный метод
Эффективный метод Эффективный метод или процедура в логике, математике и информатике – это интуитивно “эффективный” метод решения задач из определенного
Вики
Материальная непричастность
Материальное упрощение Материальная неимпликация или отсечение – отрицание материальной импликации в логике. Это означает, что для любых двух предложений P
Вики
Двойной турникет
Двойной турникет Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения. Он тесно связан с символом
Вики
Антецедент (логика)
Предшествующий (логический) Антецедент – первая половина гипотетического предложения, где предложение if предшествует предложению then. В некоторых контекстах предшествующий элемент называется
Вики
Предикат истины
Предикат истинности Предикат истинности является фундаментальным понятием формальных теорий истины, основанных на предложениях формального языка. Языки, допускающие предикат истинности, основаны