离散数学判断题.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种不同的单射函数。
这些知识点涵盖了命题逻辑、谓词逻辑、集合的基本概念和运算、二元关系和函数等离散数学的基本概念和理论。
