論理学の推論か推測か判断する方法教えて頂けませんか？ お願いします。

論理学の推論か推測か判断する方法教えて頂けませんか？

お願いします。

No.2 ベストアンサー 回答者： ルビィi 回答日時： 2016/09/24 07:33

妥当か否かの判定方法として答えます

タブローの方法が習得が容易な上、完全性(妥当な論理式であれば、必ず証明可能)も保証される強力な方法なので、オススメです
簡単に言えば、直接帰結タイプには、直接の帰結の論理式を書き
枝分かれする論理式には、導かれる論理式へと枝分かれさせ、述語論理の範囲では、一般的に存在量化子からはずし、それによって量化される個体変項を、その枝にはまだ現れていない個体パラメターに置き換えます
普遍量化子については上の操作を、任意のパラメターに置き換えるます
この機械的な作業によって妥当な論理式であれば証明可能です
妥当でないものについては、その気配を感じたら反例(述語記号の解釈と、個体領域を指定する)を示します(残念ながら妥当でないことを判定する一般的方法は確立されてない)

とかなり簡単に書きましたが、わからないこともあると思いますので、ここはやはり専門書を読むのがいいかと
丹治信春先生の本がオススメです

No.1 回答者： bendoku 回答日時： 2016/09/18 13:59

こちらがお役に立つのではないでしょうか。

https://www.amazon.co.jp/%E8%AB%96%E7%90%86%E6%8 …