在高中数学中，逻辑是不可忽视的基础工具。尽管教材中逻辑内容的比重有所减少，但掌握逻辑对理解和应用数学知识仍然至关重要。逻辑不仅帮助我们严谨地推导数学定理，还在日常生活中增强了我们分析和解决问题的能力。
当你已经掌握了原子命题的基础后，学习复合命题就成为了你进一步深入逻辑世界的关键一步。顾名思义，复合命题（compoundproposition）就是由原子命题通过各种方式（逻辑连接词组合、量词限定变量和条件连接等方式）复合形成的命题。如果用搭积木来比喻的话，我们已知的命题就像一块块积木，而命题连结词就是这些积木的摆放方式，我们可以把不同的积木（命题）摆在一起（连结起来），得到我们想要的状况（命题）。通过学习复合命题，你将学会如何将简单的逻辑拼接成更复杂的推理过程。无论是在解决数学难题时，还是在面对生活中的复杂决策时，理解和应用复合命题都会帮助你更加清晰地思考，增强你的推理能力，为未来的学术挑战和实际应用打下坚实的基础。
逻辑连接词用于将原子命题组合成更复杂的复合命题，也可以组合使用，表达更复杂的命题。常见的逻辑连接词包括“且”、“或”和“非”。在接下来的部分中，我们将详细介绍这些逻辑连接词的定义、真值表和应用实例。
请注意，尽管这部分内容已经在当前的高中教材中删除，但事实上总在出现，对下面概念的模糊会造成解题时的困惑。
在学习数学的过程中，你应该遇见过以下的情况：
在上面的例子中，一个方程组中方程的关系、用来描述某个事物的多个条件的关系，交集的元素和原始集合的关系，就是“且”。“消元”依据的也就是“且”这个前提，毕竟只有不论在哪个方程里，同一个变量取的都是同一个值，才能做代换。
真值表是一种用来系统地列出逻辑命题在各种情况下的真值的工具。为了方便刚接触命题概念的同学理解，本文的真值表都给出了两个值，事实上写哪个都可以。通过真值表，我们可以清楚地看到，真值表前面两列是各个命题的真值，最后一列是复合命题在被连接的命题取不同真值时的结果。下面是“且”的真值表。
可以看出，只有当$A$和$B$都是真的时候$A\landB$（$A$且$B$）才是真，否则只要$A$和$B$里面有任何一个是假（当然也包括两个全是假），$A\landB$就是假。如果把“真”换成$1$，把“假”换成$0$，则上面的真值表看起来就像是乘法运算，在复杂的逻辑表示时，也经常会像乘法一样，在不引起歧义的情况下，将$\land$省略，记作$AB$。
在学习数学的过程中，你也应该曾遇见过以下几种情况：
在上面的例子中，一元二次方程解的关系、不等式之间的关系，并集的元素和原始集合的关系，就是“或”。
比如上面的第二个例子中“要么$x<0$，要么$x>0$”，这里的“或”其实指的是$x$的实际结果要么在一个区间内，要么在另一个区间内，这种情况在实际中可以理解为“异或”，因为$x$不可能同时在两个互斥的区间中。但在数学中的“或”通常指的是满足任一条件时就可以（即所谓的“包含或”），且在这个例子中，由于$x<0$和$x>0$不能同时成立，或者说即使同时成立的情况不影响最终结果，这里的“或”与“异或”是等价的，因此我们通常直接将其归为“或”（认为最终的解集是两个区间的并集）。
在高中数学中，当我们谈到“或”时，指的就是只要满足多个条件中的任意一个（而不是只能一个），结果就成立，“或”的真值表如下：
可以看出，只要$A$或$B$有一个是真的时候$A\lorB$（$A$或$B$）就是真，否则也就是两个全是假的时候，$A\landB$才是假。由于真值只有0和1，因此若认为“$1+1=1$”的话，“或”看上去就像加法一样。而就像代数中对最简结果的要求是最简多项式一样，一般逻辑表达式的化简结果是由“或”连接的。
在我们的日常生活中，“否定”是一种常见的思维方式，它可以帮助我们明确和区分不同的情况。无论是在做决定还是在表达意见时，我们常常会用到“非”的概念，例如：
上面的“不”、“没有”、“没”都是用来表示命题的否定，就是逻辑上的“非”。
若一个逻辑连接词修饰命题$A$得到的命题，真值总与原命题$A$相反，则这个逻辑连接词称为非（not，也称为否定），记作：\begin{equation}\lnotA\qquad\text{或者}\qquad\bar{A}~.\end{equation}，读作“非$A$”或“（命题）$A$的否定”（thenegationofpropositionA）。
与之前接触的两个符号不同，“非”只作用在一个命题上，不论这个命题是原子命题，还是复合命题。“非”的真值表如下：
“非”作用在修饰的整个命题上，这件事在原子命题上很容易理解，但是作用在复合命题上时，很容易产生混淆，在“量词命题”和“条件命题”中需要提起精神注意。
描述关于某些变量的通用性质或存在性质的命题，称为量词命题（quantifiedpropositions）。原本开放命题中真值根据变量取值确定，量词命题使用量词（quantifiers）来限定开放命题中的变量，使得量词命题具有明确的真值。以“$x$是一个偶数”为例，如果用“所有”来限定$x$，即“所有的自然数$x$都是偶数”，是假命题，而用“存在”来限定$x$，即“存在一个自然数$x$是偶数”，则是真命题。
注意，如“任意$m>n$”等单独用量词来限定变量的语句是没有意义的，量词需要在命题中搭配开放命题使用。
这里有一些命题：
形如“集合$M$中所有的元素$x$，都满足性质$P(x)$”的命题称为全称量词命题（universalproposition），记作：\begin{equation}\forallx\inM,P(x)~.\end{equation}也可以读作“（在$M$中）性质$P(x)$恒成立”。
高中数学中涉及的公式、定理、性质一般是全称量词命题，但其适用范围往往会被忽略，在学习时需要注意。
这里还有一些命题：
形如“集合$M$中存在某个元素$x$满足性质$P(x)$”的命题称为存在量词命题（existentialproposition），记作：\begin{equation}\existsx\inM,P(x)~.\end{equation}
相反，如果有人说存在某个特别奇怪的事情，比如有人说“某个地方有会飞的猪”，你可能会觉得这不可能。为了反驳这种说法，一般会尝试列出所有已知的情况，证明“所有地方都没有会飞的猪”。这就是否定“存在量词”的方法：证明在所有情况下，这种情况都不可能发生。
通过将上面两个情况作对比，可以看出，其实“全称量词$\forall$”与“存在量词$\exists$”之间互为否定，即：
若命题$A$为“$\forallx\inM,P(x)$”，则命题$A$的否定$\lnotA$为：\begin{equation}\existsx\inM,\lnotP(x)~.\end{equation}
若命题$B$为“$\existsx\inM,P(x)$”，则命题$B$的否定$\lnotB$为\begin{equation}\forallx\inM,\lnotP(x)~.\end{equation}
看上去需要记两个，但其实对量词命题进行否定时，需要做两件事：
注意，由于开放命题只要求存在未知量，因此，$P(x)$本身也可能是复合命题，在实际操作时，要一层层根据命题的特性来处理命题的否定。
这里的命题$A$可以看成是由两个命题得到的，分别是：
按照否定规则一步一步来：
于是，把他们合并在一起就可以知道结果是：$$\lnotA:\existsx\inX,\forally\inY,\lnotG(x,y)~.$$
在日常生活和学习中，我们经常会遇到“如果…那么…”这样的表达方式。比如：
这些表达方式实际上都涉及到一个重要的逻辑概念：条件命题。条件命题不仅在生活中十分常见，在计算机领域也被广泛使用。
形如“若$P$，则$Q$”，用于表达两个命题之间的条件关系的命题，称为条件命题（conditionalproposition或蕴含命题，implication），通常记作：\begin{equation}P\RightarrowQ\qquad\text{或}\qquadP\rightarrowQ~.\end{equation}其中：命题$P$称为前件（antecedent，或条件），命题$Q$称为后件（consequent，或结论），读作“若$P$，则$Q$”、“如果$P$，那么$Q$”或者“$P$蕴含$Q$”、“$P$能推出$Q$”。
若命题$A$为“$P\RightarrowQ$”，则命题$A$的否定$\lnotA$，也记作$P\not\RightarrowQ$，等价于：\begin{equation}P\Rightarrow\lnotQ~.\end{equation}读作“若$P$，则非$Q$”或者“$P$不能推出$Q$”、“$P$推不出$Q$”。
总的说来，否定条件命题时，只需要否定后件，而前件则不用动。另外，“$P$不能推出$Q$”是一种符合语言习惯的表达，但很多同学会因为这个表达而对条件命题的否定造成混淆，不知道应该否定哪个部分。其实在前面的讨论中，我们给出的命题并未涉及其真值的判定。实际上，条件命题既可以是真命题，也可以是假命题。然而，在高中教材中，有时对这些概念的表达不够明确，容易导致初学者在理解条件命题的否定以及充分条件和必要条件时产生困惑。因此，请务必注意本文和教材在表达上的区别。具体说来：
很显然，如果令命题$P$为“今天下雨”，命题$Q$为“我们不去公园”，则：
显然，这些话之间存在着一些关系，下面针对这些内容给出定义：
对命题$P$和$Q$，若二者构成条件命题$P\RightarrowQ$，则：
$P\RightarrowQ$称为原命题（originalproposition）；$Q\RightarrowP$称为逆命题（converse）；$\negP\Rightarrow\negQ$称为否命题（inverse）
注意逆命题和否命题都是针对原命题而言的，描述的是两个条件命题间的关系，这个关系是相对的，会随着原命题的不同而产生变化，比如，如果认为$P\RightarrowQ$是原命题，则$Q\RightarrowP$是它的逆命题。反过来，如果认为$Q\RightarrowP$是原命题，则$P\RightarrowQ$是它的逆命题，对于否命题也存在这种情况，因此也常说两个命题“互为逆命题”或“互为否命题”。另外，命题的否定和否命题造成很多人的困惑，无法分清。其实，二者只是在中文翻译上，都使用了“否”字，造成了理解上的混淆，事实上看二者的英文名称就不易混淆了，下面给出二者的对比：
否命题
只有条件命题才有否命题。得到否命题的过程需要分别对原命题的条件和结论两个命题进行否定。否命题与原命题的真值无关：
命题的否定
所有命题都有否定。获得命题的否定时，需要对整个命题进行否定。命题的否定的真值一定与原本的命题完全相反。
当然，由于（原命题的）否命题也是一个命题，因此也可以对它否定，比如之前的例子：原命题是“如果一个整数是偶数，那么它能被2整除。”，否命题是“如果一个整数不是偶数，那么它不能被2整除。”，这个否命题的否定是“如果一个整数不是偶数，那么它能被2整除。”原命题与否命题都是真命题，否命题的否定是假命题。
你应该注意到刚才的例子中，原命题的真值与否命题的真值无关，事实上，原命题的真值与逆命题的真值也无关。这和否定不一样，可以明确知道两个命题的真值关系，给研究带来了一些麻烦。不过，下面这个关系可以保证真值相同。
对命题$P$和$Q$，若二者构成条件命题$P\RightarrowQ$为原命题，则称：\begin{equation}\negQ\Rightarrow\negP~.\end{equation}为原命题的逆否命题（Contrapositive）。
逆否命题具有一个性质，就是原命题与逆否命题真值相等。而通过之前的论证其实你也能发现，逆命题与否命题也互为逆否命题，因此二者真值也相等。这就为数学研究提供了一个强有力的工具，如果你发现一个命题难以证明，可以先求其逆否命题，再进行证明。当然，前提是能够准确地求得逆否命题，而这往往成为这种证明方式的隐患。因此，熟练地掌握各个概念，在进行操作时能够准确地对命题进行变形和判断，是非常重要的基本功。
下面我们来研究一下条件命题中，两个命题（前件、后件）的关系。请注意本节使用的“$P$能推出$Q$”和“$P$不能推出$Q$”的表述均是包含了判定的，即表达命题$P$的“能力”。
下面的例子有点绕，阅读时请注意前提和视角，不要彼此混淆。
根据初中几何知识，$P\RightarrowQ$是真命题（$P$能推出$Q$）。
从$P$的角度考虑：$P$能推出$Q$，说明$P$中提供了充分的信息能得到$Q$，也就是说$P$不仅包含了$Q$所需要全部信息，还或许包括了一些其他信息，这些多出来的信息与得到$Q$无关。在这里，命题$P$就可以得出四边形任意两条邻边垂直的信息，但这与四边形的四条边相等毫无关系。
从$Q$的角度考虑：$Q$是$P$中信息的一部分，$Q$为真对$P$成立是必要的，也就是说$Q$不成立$P$就不可能成立，在这里就是四条边不全相等的四边形一定不是正方形。
又因为，$Q\RightarrowP$是假命题（$Q\not\RightarrowP$是真命题，$Q$不能推出$P$）。
从$Q$的角度考虑：$Q$不能推出$P$，说明$Q$中提供的信息不够充分，不足以得到$P$，也就是说$Q$中欠缺了一些$P$所需要信息，在这里就是还欠缺边之间垂直的条件。
从$P$的角度考虑：$P$为真对$Q$成立并不是必要的。也就是说，哪怕$P$不为真，$Q$也可以为真，在这里就是说，哪怕一个四边形不是正方形，它的四条边也可相等。
恭喜你读到了这里！希望你依然清晰，不会感到困惑。在分析问题时，我们经常会将以上的思考过程总结为充分条件和必要条件的概念。
如果$P\RightarrowQ$是真命题（$P$能推出$Q$），则$P$称为$Q$的充分条件，$Q$称为$P$的必要条件。
如果$P\RightarrowQ$是假命题（$P\not\RightarrowQ$是真命题，$P$不能推出$Q$），则$P$称为$Q$的不充分条件，$Q$称为$P$的不必要条件。
需要注意的是：
用维恩图来表示命题的“信息量”的话，如下图所示：
如果$P$既是$Q$的充分条件，也是$Q$的必要条件，则称$P$和$Q$互为充分必要条件（necessaryandsufficientcondition），简称充要条件，记作：\begin{equation}P\LeftrightarrowQ~.\end{equation}读作“$P$和$Q$互为充要条件”（PisanecessaryandsufficientconditionforB）或“$P$当且仅当$Q$”（PifandonlyifQ/PiffQ）。
这里“当且仅当”的表达可能会比较陌生，出现的场合就理解为二者能够互相推出或者说二者等价就好。此外，我们还可以将“充要条件”作为一个代表，与之前学习过的“逆否命题”作为另一个代表进行对比，从而区分条件命题研究中的两个主题。
下面这道习题能够帮助你检查自己是否完全掌握了本文的内容。
答：
题目给出的命题是真命题。
解析：
原本命题是初中学过的矩形的一个性质。如果完全写成原子命题组合的形式，应该是：$$\forallx\inA,P(x)\Rightarrow(Q(x)\land(\existsy\inB(x),R(y)))~.$$其中：
即：一个全称量词命题中，量词限定的开放命题是一个条件命题，而条件命题的结论部分是由两个命题由“且”连接的复合命题，两个命题中一个是原子命题，一个是存在量词命题。