“小王要么住在203要么住在205”。设p:小王住在203,q:小王住在205。在命题公式中正确形式化是下列( )选项。
A: p∧q
B: p∨q
C: ￢(p∧q)
D: (￢p∧q)∨(p∧￢q)
A: p∧q
B: p∨q
C: ￢(p∧q)
D: (￢p∧q)∨(p∧￢q)
举一反三
- 设:p:派小王去开会。q:派小李去开会。则命题:“派小王或小李中的一人去开会”可符号化为:() A: p∨q B: (p∧￢q)∨(￢p∧q) C: (p∧q)∨(￢p∧￢q) D: (p∧q)∨(p∧￢q)
- 设P：小王下午去看电影；Q：小王下午去游泳，则下午小王或去看电影或去游泳；他没去看电影；所以，他去游泳了的推理形式正确得是 。 A: (P∨Q)∧￢P→Q B: (P∨Q)∧￢P => Q C: (P∨Q)∧￢P <=> Q D: (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)
- 命题公式p→q的主析取范式是（） A: ￢p∨q B: 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)