设P:天下雪。Q：他走路上班。则命题“只有天下雪，他才走路上班”可符号化为：（）
A: P→Q
B: Q→P
C: Q∨￢P
D: ￢Q→￢P
A: P→Q
B: Q→P
C: Q∨￢P
D: ￢Q→￢P
举一反三
- 设：P：天下雪。Q：他走路上班。则命题“只有天下雪，他才走路上班。”可符号化为（） 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 令:p今天下雪了，:q路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ）。 A: p∧￢q B: p∧q C: p∨￢q D: p→￢q
- 设:p:派小王去开会。q:派小李去开会。则命题:“派小王或小李中的一人去开会”可符号化为:() A: p∨q B: (p∧￢q)∨(￢p∧q) C: (p∧q)∨(￢p∧￢q) D: (p∧q)∨(p∧￢q)
- 【单选题】命题公式(p→q)∧q→p的主析取范式为________。 A. (￢p∧￢q)∨(￢p∧q)∨(p∧￢q) B. (￢p∧￢q)∨(￢p∧q)∨(p∧q) C. (￢p∧￢q)∨(p∧￢q)∨(p∧q) D. (￢p∧q)∨(p∧￢q)∨(p∧q)
- 命题公式p→q的主合取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)