Аксиома Никода - Википедия - Nicods axiom

Аксиома Никода (названный в честь Жан Никод ) является аксиома в пропозициональное исчисление который можно использовать как подошву wff в двухаксиомной формализации логика нулевого порядка.

Аксиома утверждает, что следующее всегда имеет истинное значение.

((φ ⊼ (χ ⊼ ψ)) ⊼ ((τ ⊼ (τ ⊼ τ)) ⊼ ((θ ⊼ χ) ⊼ ((φ ⊼ θ) ⊼ (φ ​​⊼ θ)))))[1]

Чтобы использовать эту аксиому, Никод сделал вывод, названный Никодом modus ponens.

1. φ

2. (ф (χ ⊼ ψ))

∴ ψ[2]

В 1931 году Мордехай Вайсберг нашел адекватную альтернативу, с которой проще было работать.

((φ ⊼ (ψ ⊼ χ)) ⊼ (((τ ⊼ χ) ⊼ ((φ ⊼ τ) ⊼ (φ ​​⊼ τ))) ⊼ (φ ​​⊼ (φ ​​⊼ ψ))))[3]

Рекомендации

внешняя ссылка