设命题公式G[=]￢(P→Q)，H[=]P→(Q→￢P),则公式G与H满足 .
对
举一反三
- 设命题公式G[=]￢(P→Q)，H[=]P→(Q→￢P),则公式G与H满足 . A: G <=> H B: H → G C: G => H D: H => G
- 下面公式是合取范式的有（） A: p B: ￢p C: p∨￢q D: p∨￢q∨ E: p∧￢q F: (p∧￢q)∨ G: (p∧￢q)∨r∨(p→r) H: ￢(p∧￢q)∨ I: p∧(q∨r) J: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)
- 设命题公式G= Ø（P®Q），H=P®（Q® ØP），则G与H的关系是
- 命题公式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)
内容
- 0
命题公式p→q的主析取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)
- 1
【单选题】命题公式(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)
- 2
下面哪个命题公式是重言式（ ）。 A: (p→q)∧(q→r) B: (p∧q)→p C: (￢p∨q)∧￢(p∧￢q) D: ￢(p∨q)∧p
- 3
下列命题公式不是重言式的是() A: Q→（P∨Q） B: （P∧Q）→P C: ￢（P∧￢ Q）∧（￢ P∨Q） D: （P→Q）（￢ P∨Q）
- 4
命题公式(￢P→Q)→（Q→￢P）的类型是