表达式∀x(P(x,y)∨Q())∧∃y(R(x,y)→∀zQ())中∀x的辖域是()
A. P(x,y)
B. P(x,y)∨Q(z)
C. R(x,y)
D. P(x,y)∧R(x,y)
查看答案
设P:我将去超市,Q:我有时间.命题“我将去超市,当且仅当我有时间”符号化为()
A. Q→P
B. P→Q
C. P↔Q
D. ¬P∨¬Q
下列命题公式成立的为()
A. ¬P∧¬Q⇔P∨Q
B. ¬B→A⇔A→B
C. P→Q⇒Q
D. ¬A∧(A∨B)⇒B
题公式¬(P→Q)的析取范式是()
A. P∧¬Q
B. ¬∀x(C(x)∧¬G(x))
C. ¬P∧Q
D. ¬∀x(C(x)→¬G(x)) C .¬∃x(C(x)→¬G(x)) D .¬∃x(C(x)∧¬G(x))
E. ¬P∨Q
F. P∨¬Q 4设C(x):x是国家级运动员,G(x);x是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为(D).
树的后根遍历序列等同于该树对应的二叉树的( )
A. 先序遍历序列
B. 中序遍历序列
C. 后序遍历序列
D. 层序遍历序列