离散数学期末复习习题详解.pdfVIP

离散数学期末复习习题

一、选择题

┐△○→⊆⊂∧∈φ∪∩⊕↔∨

离散数学期末复习习题“离散数学期末复习习题事”的符号化为（）

xz中x是自由变元在Rxy中x是约束变元用字母u替代自由变元xxPuyzQuzxRxy求下列公式的真值xPxQxRa其中PQxxRxxa且论域解xPQxRaPQPQPQRaTTTTTFFTTFFF设N表示非负整数集RNNxRy定义为xy确定

A、P∨QB、P∨┐QC、P↔QD、

2.谓词公式∀x(P(x)∨∃yR(y))→Q(x)中量词∀x的作用域是（）

A.∀x(P(x)∨∃yR(y))B.P(x)

C.(P(x)∨∃yR(y))D.P(x)；Q(x)

3.若个体域为整体域；下列公式中哪个值为真？（）

A.∀x∃y(x+y=0)B.∃y∀x(x+y=0)

C.∀x∀y(x+y=0)D.⌝∃x