离散数学判断题.pdf
标题:离散数学判断题.pdf
以下是从给定文件中生成的知识点:
命题逻辑
1. 命题句“x+y>4”是命题。
2. 命题“如果1+2=3,那么雪是黑的”不是真命题。
3. (P∨(Q∧R))是一个合式命题公式,其中P、Q、R是命题变元。
4. (P(Q∧RQ))不是合式命题公式。
5. 若A:张明和李红都是三好学生,则A:张明和李红都不是三好学生不是真命题。
6. 若A:张明和李红都是三好学生,则A:张明和李红不都是三好学生是真命题。
7. 五个基本联结词的运算顺序是:~、∧、∨、→、↔。
8. 基本联结词“、∨、→”是可交换的。
9. p∧┐(q→p)是永假式。
10. 命题公式“(P∧(PQ))Q”是重言式。
谓词逻辑
11. 设P1,P2,…,Pn是不同的命题变元,关于P1,P2,…,Pn的极大项是简单析取式,但简单析取式不一定是极大项。
12. 在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是唯一的。
13. 说所有人都爱吃面包是不对的,可以符号化为:┐x(F(x)→G(x))其中,F(x):x是人,G(x):x爱吃面包。
14. 命题公式┐P∨(Q→R)的成假赋值是110。
15. 一阶逻辑公式x(F(x)G(x,y))是闭式。
集合的基本概念和运算
16. φ ∈φ且φ ∈{φ}。
17. φφ且φ{φ}。
18. φφ且φ ∈{φ}。
19. A、B是集合,A⊕B=φ,当且仅当A=B。
20. 设A={1,2,3,4,5,6},则A有26个真子集。
二元关系和函数
21. 设A={φ},B=P(P(A)),则有{φ}B,且{φ}B。
22. 设A≠,A上的恒等关系IA既是A上的等价关系也是A上的偏序关系。
23. 设A、B、C为任意的三个集合,则笛卡尔积:A×(B×C)=A×(B×C)。
24. 设A={a,b,c},R是AA上的关系,且R={<a,b>,<a,c>},则R是传递的。
25. 设A、B、C、D都是集合,若ABCD,则有AC且BD。
26. P(A)是非空集合A的幂集,则P(A)上的包含关系R是P(A)上的偏序关系。
27. 设A、B为任意集合,,则P(A-B)=P(A)-P(B)。
28. 设A={x,y,z),B={1,2,3},二元关系R={<x,1>,<x,2>,<y,1>}是A到B上的函数。
29. 设A={x,y,z),B={1,2,3},二元关系S={<x,2>,<y,1>,<z,1>}是A到B上的函数。
30. 函数f:N→N,f(n)=2n+1是单射函数。
31. 函数f:R→R,f(x)=x+1是双射函数。
32. 集合A具有3个元素,集合B具有4个元素,则从A到B可以定义111432CCC种不同的单射函数。
这些知识点涵盖了命题逻辑、谓词逻辑、集合的基本概念和运算、二元关系和函数等离散数学的基本概念和理论。