3简单的逻辑联结词、全称量词与存在量词1．逻辑联结词命题中的“或”“且”“非”称为_____________．2．全称量词“所有的”“任意一个”“每一个”等短语在逻辑中通常叫做____________，并用符号“________”表示．含有全称量词的命题称为____________，全称命题“对M中任意一个x，有p(x)成立”可用符号简记为：∀x∈M，p(x)．3．存在量词“存在一个”“至少有一个”等短语在逻辑中通常叫做______________，并用符号“________”表示．含有存在量词的命题称为______________，特称命题“存在M中的元素x0，使p(x0)成立”可用符号简记为：∃x0∈M，p(x0)．注：特称命题也称存在性命题．4．含有一个量词的命题的否定命题命题的否定∀x∈M，p(x)∃x0∈M，p(x0)因此，全称命题的否定是________命题；特称命题的否定是________命题．5．命题p∧q，p∨q，綈p的真假判断(真值表)pqp∧qp∨q綈p真真①②③真假④⑤⑥假真⑦⑧⑨假假○⑪⑫注：“p∧q”“p∨q”“綈p”统称为复合命题，构成复合命题的p命题，q命题称为简单命题．自查自纠1．逻辑联结词2．全称量词∀全称命题3．存在量词∃特称命题4．∃x0∈M，綈p(x0)∀x∈M，綈p(x)特称全称5．①真②真③假④假⑤真⑥假⑦假⑧真⑨真○假⑪假⑫真()设命题p：∃n∈N，n2＞2n，则綈p为()A．∀n∈N，n2＞2nB．∃n∈N，n2≤2nC．∀n∈N，n2≤2nD．∃n∈N，n2＝2n解： 特称命题的否定是全称命题，∴綈p：∀n∈N，n2≤2n
()命题“∀n∈N*，f(n)∈N*且f(n)≤n”的否定形式是()A．∀n∈N*，f(n)∉N*且f(n)＞nB．∀n∈N*，f(n)∉N*或f(n)＞nC．∃n0∈N*，f(n0)∉N
