下列命题公式中( )为重言式 Ⅰ．(p→(p∨q))∨r Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．(p→q)∧(p→r)→(p→r) Ⅳ．┐(p→q)∧q∧r
A: Ⅲ
B: Ⅰ和Ⅲ
C: Ⅰ和Ⅱ
D: Ⅰ、Ⅱ、Ⅲ和Ⅳ
A: Ⅲ
B: Ⅰ和Ⅲ
C: Ⅰ和Ⅱ
D: Ⅰ、Ⅱ、Ⅲ和Ⅳ
举一反三
- 下列命题公式中为重言式的是 Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．((p→q)∧(P→r))→((p→r) Ⅳ．((p∨q)∧(p→r))→(p→r) A: Ⅲ B: Ⅰ和Ⅲ C: Ⅰ和Ⅱ D: Ⅰ、Ⅱ、Ⅲ和Ⅳ
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
- 以下命题公式中，( )是重言式 A: rÞ((pÞq)∨~q) B: ~(pÞq)∧q C: p∧(q Þr) D: p∧(q∨r)
- 下列命题公式中不是重言式的是( )。 A: p→(q→ r) B: p→(q→p) C: ¬ p→(¬ p→¬ p) D: p→(q→r)) ↔(q→(p→r))
- 公式（p∨q）→r的主合取范式是（ ） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)