関心ワード「命題」を部分一致検索する
名古屋工業大学 工学部 情報工学科 知能情報分野 教授 犬塚 信博 先生
「人間は誰でも死ぬ」→「ソクラテスは人間である」→「ゆえにソクラテスは死ぬ」。そう考えざるを得ない流れがあります。これが論理学の基本です。思考の法則を学ぶ論理学とコンピュータの関係を解説します。