目次
論理学とは何か・記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック(1)
タブローによる妥当性のチェック(2)
多重量化
日本語から形式言語への翻訳
個数を表す命題
日本語の推論の妥当性(1)
日本語の推論の妥当性(2)
日本語の推論の妥当性(3)
タブローの方法の健全性と完全性
論理学の応用
論理学の歴史
出荷:
メーカー在庫見込あり:1-3週間
■
詳細ページ
■
ジャケット画像
■
商品説明
商品検索
ヘルプ
TOP
OTOSHOP
powered by Neowing