14/04/26 16:29:47.71
普通の数学での主張を述語論理での主張に書き換える場合
pのときqとなる
に対応するのは
p |- q
|- p→q
の何れが適当なのでしょう？
14/04/26 16:29:47.71
普通の数学での主張を述語論理での主張に書き換える場合
pのときqとなる
に対応するのは
p |- q
|- p→q
の何れが適当なのでしょう？
14/04/26 16:29:47.71
普通の数学での主張を述語論理での主張に書き換える場合
pのときqとなる
に対応するのは
p |- q
|- p→q
の何れが適当なのでしょう？