离散数学判断题
版权申诉
110 浏览量
2023-02-09
13:17:05
上传
评论
收藏 54KB DOC 举报
离散数学判断题
一、判断题，正确的在题后括号内划“√”，错误的划“×”。(本大题共 5 小题，
每小题 2 分，共 10 分)
第一章 命题逻辑
1．陈述句“x+y>4”是个命题。 ( )（�）
2．命题“如果 1+2=3，那么雪是黑的”是真命题。 ( )（�）
3．（P∨�（Q∧R））是一个合式命题公式，其中 P、Q、R 是命题变元。 ( )
（�）
4．（P�（Q∧R��Q）是一个合式命题公式，其中 P、Q、R 是命题变元。 ( )
（�）
5．若 A：张明和李红都是三好学生，则�A：张明和李红都不是三好学生
( )（�）
6．若 A：张明和李红都是三好学生，则�A：张明和李红不都是三好学生
( )（�）
7．五个基本联结词的运算顺序是：�，�，�，�，� ( )（�）
8．基本联结词“�，�，�，�”是可交换的 ( )（�）
9．p∧┐(q→p)是永假式 （�）
10．命题公式“（P∧（P�Q））�Q”是重言式。 ( )（�）
11．已知命题公式 A 中含 3 个命题变项 p，q，r，并知道它的成真赋值分别为
001，010，111，则 A 的主析取范式为 m
1
�m
2
�m
7
( )（�）
12．设 P
1
，P
2
，…，P
n
是不同的命题变元，关于 P
1
，P
2
，…，P
n
的极大项是简单
析取式，但简单析取式不一定是极大项。( )（�）
13．在命题逻辑中，任何命题公式的主合取范式都是存在的，并且是唯一的。( )
（�）
第二章 谓词逻辑
14．说所有人都爱吃面包是不对的。可符号化为：
┐�x(F(x)→G(x)) 其中，F(x)：x 是人，G(x):x 爱吃面包。 （ ）
（�）
15．命题公式 ┐P∨(Q→R)的成假赋值是 110。( )（�）
16．一阶逻辑公式�x (F(x) �G(x,y))是闭式。( )（�）
17．
( )( )( ( ) ( ) ( ) ( ) ( ) ( )x y P x Q y x P x y Q y" " ® Û $ ® "
( )（�）
18．
( )( ( ) ) ( ) ( )x A x B X A x B" ® Û " ®
( )（�）
19．�x (F(y) →G(x)) � F(y) →��xG(x)。 ( )（�）
20．公式
( ) ( , ))xP x yQ x y" ® $
的前束范式是
( ( ) ( , ))x y P x Q x y" " ®
( )（�）
第三章 集合的基本概念和运算
21．φ∈φ且φ∈{φ} ( )（�）
22．φ�φ且φ�{φ} ( )（�）
资源评论
