高中简易逻辑基础知识点.docVIP

高中简易逻辑基础知识点

命题及其关系

命题的概念

在数学中，用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。例如，“\(3\gt2\)”是真命题，“\(1+1=3\)”是假命题。

四种命题

原命题：若\(p\)，则\(q\)；

逆命题：若\(q\)，则\(p\)；

否命题：若\(\negp\)，则\(\negq\)；

逆否命题：若\(\negq\)，则\(\negp\)。

例如，原命题“若\(x=1\)，则\(x^2-3x+2=0\)”，其逆命题为“若\(x^2-3x+2=0\)，则\(x=1\)”，否命题为“若\(x\neq1\)，则\(x^2-3x+2\neq0\)”，逆否命题为“若\(x^2-3x+2\neq0\)，则\(x\neq1\)”。

四种命题的关系

原命题与逆否命题同真同假，逆命题与否命题同真同假。这一性质在判断命题真假时非常有用，当直接判断原命题真假困难时，可以通过判断其逆否命题的真假来确定原命题的真假。

充分条件与必要条件

充分条件与必要条件的定义

如果\(p\Rightarrowq\)，那么称\(p\)是\(q\)的充分条件，同时称\(q\)是\(p\)的必要条件。例如，“若\(x\gt5\)，则\(x\gt3\)”，这里\(x\gt5\Rightarrowx\gt3\)，所以\(x\gt5\)是\(x\gt3\)的充分条件，\(x\gt3\)是\(x\gt5\)的必要条件。

充分不必要条件、必要不充分条件、充要条件与既不充分也不必要条件

1.若\(p\Rightarrowq\)，且\(q\nRightarrowp\)，则\(p\)是\(q\)的充分不必要条件。比如，“\(x=1\)”能推出“\(x^2=1\)”，但“\(x^2=1\)”不能推出“\(x=1\)”，所以“\(x=1\)”是“\(x^2=1\)”的充分不必要条件。

2.若\(p\nRightarrowq\)，且\(q\Rightarrowp\)，则\(p\)是\(q\)的必要不充分条件。

3.若\(p\Rightarrowq\)，且\(q\Rightarrowp\)，则\(p\)是\(q\)的充要条件，记作\(p\Leftrightarrowq\)。例如，“\(x\)是偶数”与“\(x\)能被\(2\)整除”就是充要条件关系。

4.若\(p\nRightarrowq\)，且\(q\nRightarrowp\)，则\(p\)是\(q\)的既不充分也不必要条件。

简单的逻辑联结词

“且”“或”“非”的含义

1.“且”（\(\land\)）：用联结词“且”把命题\(p\)和命题\(q\)联结起来，得到一个新命题，记作\(p\landq\)。当且仅当\(p\)，\(q\)都为真时，\(p\landq\)为真；只要\(p\)，\(q\)中有一个为假，\(p\landq\)就为假。例如，命题\(p\)：\(2\)是偶数，命题\(q\)：\(2\)是质数，那么\(p\landq\)：\(2\)是偶数且是质数，这个命题为真。

2.“或”（\(\lor\)）：用联结词“或”把命题\(p\)和命题\(q\)联结起来，得到一个新命题，记作\(p\lorq\)。只要\(p\)，\(q\)中有一个为真时，\(p\lorq\)为真；当且仅当\(p\)，\(q\)都为假时，\(p\lorq\)为假。

3.“非”（\(\neg\)）：对一个命题\(p\)全盘否定，得到一个新命题，记作\(\negp\)。若\(p\)为真，则\(\negp\)为假；若\(p\)为假，则\(\negp\)为真。例如，命题\(p\)：\(\pi\)是有理数，\(\negp\)：\(\pi\)不是有理数，\(p\)为假，\(\negp\)为真。

全称量词与存在量词

全称量词与全称命题

短语“所有的”“任意一个”在逻辑中通常叫做全称量词，用符号“\(\forall\)”表示。含有全称量词的命题，叫做全称命题。例如，“\(\forallx\inR\)，\(x^2\geq0\)”就是一个全称命题。

存在量词与特称命题

短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，用符号“\(\exists\)”表示。含有存在量词的命题，叫做特称命题。例如，“\(\existsx\inR\)，\(x^2-1=0\)”就是一个特称命题。

含有一个量词的命题的否定

全称命题\(p\)：\(\forallx\inM\)，\(p(x)\)，它的否定\(\neg