命題論理 | PDF教材

命題論理のPDF教材です。命題、論理式、真理値表、恒真式、同値変形、推論、証明までを体系的に解説。大学数学・情報科学・計算機科学の基礎となる論理学を、豊富な例題と演習を通して学べます。プレミアム会員・サポーター会員向け教材です。

基本情報

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

命題、論理演算、真理値表、恒真式、同値変形、推論、証明までを体系的に解説し、大学で学ぶ論理学の基礎を身に付けることを目指しています。

エレガントさよりも分かりやすさを重視し、「なぜそのように考えるのか」を丁寧に説明しています。初めて命題論理を学ぶ方から、大学数学・情報科学・経済学の基礎を復習したい方まで、幅広くご利用いただけます。

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

定義・定理・証明・例題・演習をバランスよく配置し、一つずつ理解を積み重ねながら学習できる構成になっています。

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

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

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

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

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

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

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