第1章 命题逻辑
本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定, (主)析取(合取)范式，命题逻辑的推理理论.
一、重点内容
1. 命题
命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.
2. 六个联结词及真值表
“”否定联结词，P是命题，P是P的否命题，是由联结词 和命题P组成的复合命题.P取真值1，P取真值0，P取真值0，P取真值1. 它是一元联结词.
“”合取联结词，PQ是命题P，Q的合取式，是“”和P，Q组成的复合命题. “”在语句中相当于“不但…而且…”，“既…又…”. PQ取值1，当且仅当P，Q均取1；PQ取值为0，只有P，Q之一取0.
“”析取联结词，“”不可兼析取(异或)联结词， PQ是命题P，Q的析取式，是“”和P，Q组成的复合命题. PQ是联结词“”和P，Q组成的复合命题. 联结词“”或“”在一个语句中都表示“或”的含义，前者表示相容或，后者表示排斥或不相容的或. 即“PQ”“(PQ)(PQ)”. PQ取值1，只要P，Q之一取值1，PQ取值0，只有P，Q都取值0.
“”蕴含联结词， PQ是“”和P，Q组成的复合命题，只有P取值为1，Q取值为0时，PQ取值为0；其余各种情况，均有PQ的真值为1，亦即10的真值为0，01，11，00的真值均为1. 在语句中，“如果P则Q”或“只有Q，才P，”表示为“PQ”.
“” 等价联结词，PQ是P，Q的等价式，是“”和P，Q组成的复合命题. “”在语句中相当于“…当且仅当…”，PQ取值1当且仅当P，Q真值相同.
3. 命题公式、赋值与解释，命题公式的分类与判别
命题公式与赋值，命题P含有n个命题变项P1，P2,…,Pn，给P1，P2,…,Pn各指定一个真值，称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1，则这组值为P的真指派；若使P的真值为0，则称这组值称为P的假指派.
逻辑学概念
逻辑学是研究思维、推理和认知行为的学科，它包含了许多重要的概念，下面我们将对一些常见的逻辑学概念进行解释。
1.前提：在逻辑学中，前提指的是逻辑推论的起点。一个前提可以是一个简单的陈述、假设或者别人已经证明的事实等。在逻辑学中，两个前提和一个结论组成了一个完整的逻辑推论。
2.结论：结论是在逻辑推论中得出的结果。在逻辑学中，结论可以是一个简单的陈述，一个判断或者一个决定等。
3.命题：命题是逻辑推论中的一个基本单位。一个命题可以是一个陈述、一个问题或者指令等。命题被视为一个基本单位，是因为它们可以用来表达对世界的各种看法和意见。
4.推理：推理是逻辑学中的核心概念之一。它是指根据前提得出结论的过程。推理可以是演绎推理，也可以是归纳推理。在演绎推理中，我们从已知的事实或者条件中得出新的结论，而在归纳推理中，我们观察和分析大量实例并从中得出结论。
5.演绎推理：演绎推理是逻辑学中最基本的推理形式之一。它是一种从前提中得出结论的形式逻辑。在演绎推理中，我们通过组合和调整逻辑命题来得出逻辑结论。
6.归纳推理：归纳推理是逻辑学中另一种基本的推理形式。它是从特定的实例中得出普遍性结论的过程。在归纳推理中，我们根据一组观察到的实例总结出某种规律或者模式，并将这种规律或者模式应用于其他情况中。
7.命题演算：命题演算是一种逻辑体系，它描述了命题之间的逻辑关系和命题之间的操作方法。命题演算包含了一组符合逻辑结构和组合法则的运算符和规则。通过使用这些规则，我们可以对命题进行推理和证明。
8.谬误：谬误是指错误的逻辑思维、推理过程或者结论。在逻辑学中，谬误是一个重要的概念，因为它可以帮助我们识别和纠正错误的思考和推理过程。
10.二元逻辑：二元逻辑是一种逻辑形式，它描述了两个逻辑判断之间的逻辑关系。在二元逻辑中，逻辑关系由否定、合取、析取和蕴含这四种本质操作组成。
离散数学复习资料
第1章 命题逻辑
本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定, (主)析取(合取)范式，命题逻辑的推理理论.
一、重点内容
1. 命题
命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.
2. 六个联结词及真值表
h“”否定联结词，P是命题，P是P的否命题，是由联结词 和命题P组成的复合命题.P取真值1，P取真值0，P取真值0，P取真值1. 它是一元联结词.
h “”合取联结词，PQ是命题P，Q的合取式，是“”和P，Q组成的复合命题.
“”在语句中相当于“不但…而且…”，“既…又…”. PQ取值1，当且仅当P，Q均取1；PQ取值为0，只有P，Q之一取0.
h “”析取联结词，“”不可兼析取(异或)联结词， PQ是命题P，Q的析取式，是“”和P，Q组成的复合命题. PQ是联结词“”和P，Q组成的复合命题.
联结词“”或“”在一个语句中都表示“或”的含义，前者表示相容或，后者表示排斥或不相容的或. 即“PQ”“(PQ)(PQ)”. PQ取值1，只要P，Q之一取值1，PQ取值0，只有P，Q都取值0.
h “”蕴含联结词， PQ是“”和P，Q组成的复合命题，只有P取值为1，Q取值为0时，PQ取值为0；其余各种情况，均有PQ的真值为1，亦即10的真值为0，01，11，00的真值均为1. 在语句中，“如果P则Q”或“只有Q，才P，”表示为“PQ”.
h “” 等价联结词，PQ是P，Q的等价式，是“”和P，Q组成的复合命题. “”在语句中相当于“…当且仅当…”，PQ取值1当且仅当P，Q真值相同.
3. 命题公式、赋值与解释，命题公式的分类与判别
h命题公式与赋值，命题P含有n个命题变项P1，P2,…,Pn，给P1，P2,…,Pn各指定一个真值，称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1，则这组值为P的真指派；若使P的真值为0，则称这组值称为P的假指派.
命题逻辑的概念与应用
命题逻辑是逻辑学中的一种形式逻辑，也被称为命题演算或命题推理，它主要关注的是命题之间的关系和推理规则。在实际应用中，命题逻辑具有广泛的用途，涉及到数学、计算机科学、哲学等多个领域。本文将介绍命题逻辑的概念与应用，并从数学和计算机科学的角度探讨其实际价值。
一、命题逻辑的概念
命题逻辑是研究命题之间关系的一种形式逻辑。命题是一个陈述性语句，可以被判断为真或假。命题逻辑通过逻辑运算符来描述命题之间的关系，主要包括合取、析取、蕴含和否定等逻辑运算符。
1. 合取（AND）：用符号“∧”表示，在命题p和q成立时，合取命题p ∧ q也成立。
2. 析取（OR）：用符号“∨”表示，在命题p和q中至少一个成立时，析取命题p ∨ q成立。
3. 蕴含（IMPLICATION）：用符号“→”表示，在命题p成立的情况下，蕴含命题p → q成立。
4. 否定（NEGATION）：用符号“¬”表示，在命题p不成立时，否定命题¬p成立。
二、命题逻辑的应用 命题逻辑作为一种形式逻辑，具有广泛的应用。在数学和计算机科学领域，命题逻辑被广泛应用于推理、证明和问题求解等方面。
1. 数学应用
命题逻辑在数学中具有重要的作用。数学中的定理和推理可以通过命题逻辑的运算符和规则进行严密的推导和证明。例如，在数学中我们经常使用蕴含和否定来推导和证明命题，同时也可以使用合取和析取来建立和证明复合命题。
2. 计算机科学应用
命题逻辑在计算机科学中应用广泛。计算机的逻辑电路、编程语言中的条件语句和循环语句，以及人工智能中的推理系统等都与命题逻辑密切相关。命题逻辑为计算机科学提供了一种严密的推理和判断方法，帮助计算机进行逻辑推断和问题解决。
在计算机科学中，命题逻辑被用于描述计算机程序的正确性和程序验证。通过使用命题逻辑的规则和推理方法，可以检验程序中的逻辑错误，并以此来验证程序是否满足需求和规范。
此外，命题逻辑还在人工智能领域中被广泛应用。人工智能系统需要进行推理和机器学习，命题逻辑提供了一种基础的推理框架和方法，来帮助机器进行逻辑思考和决策。
