数理論理学（数学基礎論） その13

[0880 １３２人目の素数さん 2019/03/04(月) 22:25:20.55 ID:x23vNGYd]

論理学でこれを公理とする宗派もある

(A1) φ→(ψ→φ)
(A2) (φ→(ψ→χ))→((φ→ψ)→(φ→χ))
(A3) (¬φ→¬ψ)→(ψ→φ)