第二节常用逻辑用语教材面面观1.逻辑联结词(1)可以判断________的语句叫命题,不含逻辑联结词的命题叫做________命题;由简单命题与逻辑联结词构成的命题,叫做________命题.(2)逻辑联结词________:两个简单命题至少一个成立.________:两个简单命题均成立.________:对一个命题的否定.(3)真值表:表示命题________的表叫真值表.复合命题的真假可通过下面的真值表来加以判定:pq綈pp∨qp∧q真真________________________真假________________________假真________________________假假________________________答案:真假简单复合或且非真假假真真假真假真真假真假假2.四种命题一般地,用p和q分别表示原命题的条件和结论,用綈p和綈q分别表示p和q的否定.于是四种命题的形式为:原命题:________;逆命题:________;否命题:________;逆否命题:________
答案若p则q若q则p若綈p则綈q若綈q则綈p3.全称量词与存在量词(1)短语“所有”在陈述句中表示事物的全体,逻辑中通常叫做________,并用符号“∀”表示,含有全称量词的命题叫做________.(2)短语“有一个”、“有些”、“至少有一个”在陈述句中表示事件的个体或部分,逻辑中通常叫做________,并用符号“∃”表示,含有存在量词的命题叫做________.(3)全称命题与存在性命题的否定①对于全称命题p:∀x∈M,p(x),其否定为綈p:________;②对于存在性命题q:∃x∈M,q(x),其否定为綈q:________
答案全称量词全称命题存在量词存在性命题∃x∈M,綈p(x)∀x∈M,綈q(x)4.充要条件的概念(1)充要条件:命题A⇒B成立,则A是