記号論理学
放送大学教材
ご注文いただけません
内容情報（日販商品データベースより）
記号論理学とは，論理を論理式という数式のような記号で表し，厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき，そこから別の事態を導き出したり，その推論の正しさを証明したりする。記号論理学は，数学，哲学，計算機科学などの基礎となるほか，論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理，一階述語論理などの意味を理解して自然言語と対応付け，さらに論理式の計算方法を学ぶ。