記号論理学

放送大学教材　

放送大学教育振興会 ＮＨＫ出版
加藤浩（教育工学）　土屋俊　

• 価格: 3,300円（本体3,000円＋税）
• 発行年月: 2014年03月
• 判型: Ａ５
• ISBN: 9784595314964

内容情報

[BOOKデータベースより]

論理学とは何か
記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック
多重量化
日本語から形式言語への翻訳
数を数える命題
日本語の推論の妥当性
タブローの方法の健全性と完全性
役立つ記号論理学

[日販商品データベースより]

記号論理学とは，論理を論理式という数式のような記号で表し，厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき，そこから別の事態を導き出したり，その推論の正しさを証明したりする。記号論理学は，数学，哲学，計算機科学などの基礎となるほか，論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理，一階述語論理などの意味を理解して自然言語と対応付け，さらに論理式の計算方法を学ぶ。