命題論理 - 基礎と応用
Fouad Sabry
Translator Kei Imano
Publisher: 10億人の知識があります [Japanese]
Summary
命題論理とは 命題微積分として知られる論理の分野。 他にも、命題論理、文論理、文計算、文論理、場合によっては 0 次論理など、いくつかの名前があります。 命題と命題間に存在する関係、そして命題に基づいた議論の定式化を検討します。 個々のステートメントをさまざまな論理接続子と組み合わせることで、複合命題を作成できます。 原子命題は、その名前が示すように、論理接続語を含まない命題です。 どのようなメリットがあるか (i) 洞察、 および次のトピックに関する検証: 第 1 章: 命題微積分 第 2 章: 公理 第 3 章: 一階論理 第 4 章: 手法 第 5 章: 一貫性 第 6 章: 矛盾 第 7 章: 推論の規則 第 8 章 : 推論規則のリスト 第 9 章: 演繹定理 第 10 章: 理論 (数理論理学) (ii) 命題に関する一般のよくある質問に答える ロジック。 (iii) 多くの分野で命題論理を使用する実際の例。 (iv) 各業界で必要となる 266 の新興テクノロジーを簡潔に説明する 17 の付録 命題論理のテクノロジーを 360 度完全に理解します。 本書の対象者 専門家、大学生、大学院生、愛好家、愛好家など。 あらゆる種類の命題論理に関する基本的な知識や情報を超えたいと考えている人。