論理学と自然言語 

目次


第1節 命題論理学とは

第2節 真理値とnot

第3節 命題の接続

第4節 論理式と演算順序

第5節 論理変数と論理式

第6節 論理式の等しさ

第7節 全称記号と存在記号

第8節 述語論理

第9節 公式


テスト

Logをみる

Back
 

第1章 論理学の基礎

 第1章では第2章以降を学習するために必要な論理学の基礎知識である、命題論理、述語論理について学びます。第1章はこのCAIシリーズにある「論理学」からの抜粋で作られていますので、深く学習する場合は「論理学」のCAIを全て読んでください。また、すでに論理学の基礎知識を持っている場合は、ここをやらずに第2章に進んでもかまいません。