「述語論理」に引っかかって読んでみた．一応自分の専門分野なので．
数学の部分は面白いけれど，それ以外のストーリーを追うのは面倒くさい．
数学好きで，小説はあんまり好きでない自分にとっては，数学の部分だけ読めば十分という感じｗ
専門用語の意味は全部知っているからすらすらと読めるし，論理式の部分などは昔懐かしい感じだな．
数理論理を平たい言葉に言い換えているところなど，今後自分の専門分野を人に伝えるときの言い回しの参考になると思いながら．
といって，そもそも，数理論理を人に伝える場面などないから，結局自分で納得して終了か（撃沈
最初に出てきた論理式を暗算で変形して，正解にたどり着ければ，数理論理学初級レベルｗ
「(￢C⇒B)∧￢(￢A⇒B)∧(D⇒(A∧C)) は真」
(C∨B)∧￢(A∨B)∧(D⇒(A∧C))
Bが消えるな．(B∧￢B が矛盾だから)
C∧￢A∧(D⇒(A∧C))
Dが真なら 「￢A∧A が真」で矛盾してしまう．全体は真なのだから，Dを消す．
C∧￢A∧(A∧C)
Aが矛盾より，Cだけが真
これは本来の論理式変形ではない．
本来の式変形をするととても暗算ではできぬので，意味半分，機械的変形半分かな．
0 件のコメント:
コメントを投稿
スパム対策のため，コメントは，承認するまで表示されません。
「コメントの記入者:」は「匿名」ではなく，「名前/URL」を選んで，なにかニックネームを入れてください．URL は空欄で構いません．