電子書籍の厳選無料作品が豊富!

akatsuki_0

数理論理学なのですが

noname#150695

  • 回答数(2)

ベストアンサー


NKは自然演繹という証明体系の一種につけられた名前ですね。こ…

  1. 0

プラトンとアリストテレスの近代科学誕生への役割

kyon_kyon

  • 回答数(1)

締切

近代科学誕生に関するアリストテレスの貢献が何かというのは難し…

  1. 0

論理学 :選言判断と周延

msnaruo

  • 回答数(1)

ベストアンサー


周延というのは、大雑把には、命題の主語ないし述語が、その表示…

  1. 0