单选题 ( 2.5 分 ) 设P:我将去超市,Q:我有时间.命题"我将去超市,当且仅当我有时间"符号化为()
A. Q→P
B. P→Q
C. P↔Q
D. ¬P∨¬Q
查看答案
单选题 ( 2.5 分 ) 下列命题公式成立的为()
A. ¬P∧¬Q⇔P∨Q
B. ¬B→A⇔A→B
C. P→Q⇒Q
D. ¬A∧(A∨B)⇒B
单选题 ( 2.5 分 ) 公式¬(P→Q)的析取范式是()
A. P∧¬Q
B. ¬P∧Q
C. ¬P∨Q
D. P∨¬Q
集合A={1,2,3,4,5,6,7,8}上的关系R={|x+y=10且x,y∈A},则R的性质为()
A. 自反的
B. 对称的
C. 传递且对称的D.反自反且传递的
表达式∀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)