命題論理の公理系LPにおける排中律の証明

August 9, 2017

iPad ProとApple Pencilを買ったのでテスト。

もしかして: 便利

LP.png (337.5 kB)

LoEM.png (219.6 kB)

このエントリーをはてなブックマークに追加