设P:老赵在香港,Q:老赵在澳门。命题“老赵在香港或澳门。”的符号化表示为___________。
A. P∧Q
B. P∨Q
C. (P∧¬Q)∨(¬P∧Q)
D. P OR Q
查看答案
设P:老师病了,Q:他来上课。命题“只有老师病了,他才不来上课。”的符号化表示为____________。
A. ¬Q→P
B. P↔¬Q
C. P→¬Q
D. P∧¬Q
设P:小李在天安门,Q:小李在故宫。命题“小李在天安门或是故宫。”的符号化表示为___________。
A. P∧Q
B. (P∧¬Q)∨(¬P∧Q)
C. P∨Q
D. P or Q
计算机中,用于进行算术运算或逻辑运算的部件是________。
A. 控制器
B. 运算器
C. 计算器
D. 存储器
命题逻辑的推理方法有哪三种?
A. 真值表法
B. 命题演算法
C. 构造证明法
D. 三段论法