商品情報
商品説明
内容紹介
文字数 22,499字
『記号論理入門【述語論理】後編』で出て来た関係述語Rab（aはbを愛している）についての更に深い理解を求める人に最適の書籍となっています。
『記号論理入門【述語論理】後編』を読んでいなくても、関係述語Rab（aはbを愛している）について、どのような形式の推論、例えば「∃x∀yRxyから∀y∃xRxyを推論できるか？」といったことを考えている人には良い手引きになるはずです。
本巻では述語論理学の「部分決定性」を提供する反証図の書き方も詳細に説明されています。
商品レビュー
楽天Koboのレビュー
まだレビューがありません。 レビューを書く
楽天ブックスランキング情報
-
週間ランキング
ランキング情報がありません。
-
日別ランキング
ランキング情報がありません。
週間ランキング
電子書籍版
知ってるつもり 無知の科学
