金子裕 - 科学・医学・技術 1

文字数：21,473 最新の記号論理の入門書です。記号論理とは何か、アリストテレスの作った古い論理学とどう違うのか、という点から説き起こし、基本的な記号、連言⋀, 選言⋁, 条件法→, 否定〓の読み方までを学習でき……続きを見る

文字数：15,184 最新の記号論理の入門書です。 記号論理入門【命題論理】前編 記号論理入門【命題論理】後編 の続きとして、述語論理の基本文型ともいえる単称文、全称文、特称文について学びます。背景にある体系……続きを見る

文字数：16,116 最新の記号論理の入門書です。 記号論理入門【命題論理】前編 で学んだ記号論理の知識をもとに、ゲンツェンの自然演繹の正統派（古典）体系、NKにおける、命題論理の８つの公理を説明します。これ……続きを見る

文字数：16,710 本書では命題論理の証明問題が50問と非常にたくさん収録されており、各問題に詳細な解説がついています。 文章などは電子書籍リーダーというよりも、スマートフォンやPCなど普段ご使用の媒体に**楽……続きを見る

文字数：13,936 本書では述語論理の証明問題が50問と非常にたくさん収録されており、各問題に詳細な解説がついています。 文章などは電子書籍リーダーというよりも、スマートフォンやPCなど普段ご使用の媒体に楽天……続きを見る

文字数：20,747 最新の記号論理の入門書です。 記号論理入門【命題論理】前編 記号論理入門【命題論理】後編 記号論理入門【述語論理】前編 の続きとして、述語論理の公理、ゲンツェンの自然演繹の古典体系（いわ……続きを見る