Способ удаления
Способ взимания платы Modus tollens – это логический оператор, который обобщает закон полной вероятности и теорему Байеса. Он используется для […]
Вики
Theorems in propositional logic
Вики
Разрешение (логика)
Разрешение (логическое) Разрешение – метод логического вывода, который позволяет упростить сложные формулы. Неклаузальное разрешение обобщает правило разрешения, не требуя клаузальной
Вики
Принцип взрыва
Принцип взрыва Принцип взрыва или псевдо-Скотус утверждает, что любое утверждение может быть доказано из противоречия. Доказательство принципа взрыва было впервые
Вики
Закон непротиворечия
Закон непротиворечия Закон непротиворечия утверждает, что две противоположные идеи не могут быть одновременно истинными. Сократ использует закон непротиворечия для доказательства
Вики
Противопоставление
Противопоставление Противопоставление – это форма непосредственного вывода, при которой одно предложение выводится из другого. Противопоставление имеет философское применение, отличное от
Вики
Распределительная собственность
Распределительная собственность Закон распределения описывает связь между умножением и сложением в различных алгебраических структурах. Умножение обычно превосходит сложение по своей
Вики
Закон исключенного третьего
Закон исключенной середины Закон исключенного третьего утверждает, что из двух противоречащих высказываний одно должно быть истинным. Интуитивисты отвергают закон исключенного
Вики
Доведение до абсурда
Доведение до абсурда Доведение до абсурда – метод опровержения утверждений через последовательное рассуждение. Сократ использовал этот метод для опровержения эссенциалистских
Вики
Доказательство от противного
Доказательство от противного Доказательство от противного – метод доказательства, основанный на противоречии. Доказательство использует предположение о том, что утверждение неверно