Аксиома Никода - Википедия - Nicods axiom
Аксиома Никода (названный в честь Жан Никод ) является аксиома в пропозициональное исчисление который можно использовать как подошву wff в двухаксиомной формализации логика нулевого порядка.
Аксиома утверждает, что следующее всегда имеет истинное значение.
- ((φ ⊼ (χ ⊼ ψ)) ⊼ ((τ ⊼ (τ ⊼ τ)) ⊼ ((θ ⊼ χ) ⊼ ((φ ⊼ θ) ⊼ (φ ⊼ θ)))))[1]
Чтобы использовать эту аксиому, Никод сделал вывод, названный Никодом modus ponens.
1. φ
2. (ф (χ ⊼ ψ))
∴ ψ[2]
В 1931 году Мордехай Вайсберг нашел адекватную альтернативу, с которой проще было работать.
- ((φ ⊼ (ψ ⊼ χ)) ⊼ (((τ ⊼ χ) ⊼ ((φ ⊼ τ) ⊼ (φ ⊼ τ))) ⊼ (φ ⊼ (φ ⊼ ψ))))[3]
Рекомендации
внешняя ссылка
Работы, связанные с Уменьшение числа примитивных положений логики в Wikisource
Работы, связанные с