述語論理 | PDF教材

述語論理のPDF教材です。命題関数、議論領域、量化記号、論理的同値、推論規則、証明までを体系的に解説。数学・情報科学・人工知能の基礎となる述語論理を、豊富な具体例と演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。

基本情報

本教材は、WIISで公開しているWeb教材をもとに、述語論理を一冊の教科書として学べるよう再構成したPDF教材です。

命題関数、議論領域、量化記号、論理的同値、推論、証明までを体系的に解説し、大学数学や情報科学の基礎となる述語論理を身に付けることを目指しています。

エレガントさよりも分かりやすさを重視し、「なぜそのように考えるのか」を丁寧に説明しています。初めて述語論理を学ぶ方から、大学数学・情報科学・人工知能・経済学などで必要となる論理学を体系的に学び直したい方まで、幅広くご利用いただけます。

本教材では、次のような内容を体系的に学ぶことができます。

定義・定理・証明・例題・演習をバランスよく配置し、一つずつ理解を積み重ねながら学習できる構成になっています。また、命題論理との違いや関係についても丁寧に解説しており、命題論理から自然な流れで述語論理へと理解を深められるよう工夫しています。

本教材は、一度作成して終わりではありません。

WIISでは、Web教材の改善に合わせてPDF教材も継続的に更新しています。誤植の修正だけでなく、説明の改善や例題の追加なども反映されます。

プレミアム会員・サポーター会員の方は、会員期間中であれば最新版を何度でもダウンロードできます。

本教材は、プレミアム会員・サポーター会員限定で提供しています。

ダウンロードしたPDFは、ご自身の学習のためにご利用ください。

教材の著作権はWIISに帰属します。第三者への共有、転載、再配布、インターネット上へのアップロードなどはご遠慮ください。

サービスの適正な運営および不正利用防止のため、PDF教材のダウンロード履歴（日時、対象教材、アカウント情報など）を記録しています。第三者への共有やインターネット上への公開など、利用規約に反する行為が確認された場合には、当該履歴をもとに調査を行うことがあります。