公理系APL

書いてみる

関連タグ

#ウカシェビッチの公理系 (3)
#トートロジー (135)
#健全性 (47)
#命題論理 (35)
#完全性 (50)
#論理学 (761)

命題論理の演繹における健全性・完全性に関する現時点での見解

カピ哲！
1か月前