ウカシェーヴィチの三値論理L3では演繹定理は成り立たないようだ。例えば A∧¬A ├ B はなりたつが ├ (A∧¬A)→B は成り立たない。Aに真理値#を割り当て、Bに真理値Fを割り当てると反例になる*1。A→(B→A)と[A→(B→C)]→[(A→B)→(A→C)]があれば、演繹定理を導くのに…