已知p→（p∨q）是重言式，ㄱ（p→q）∧q是矛盾式，试判断（p→（p∨q））∧（ㄱ（p→q）∧q）及ㄱ（ㄱp∨q）∧p的类型。
举一反三
- 公式（ㄱq∨r）∧（p→q）的成假赋值为（）。
- 下列公式是矛盾式的是( )。 A: (P∧(P→Q))∧﹁P B: P∧(P→Q) →P C: (﹁P∧(P∨Q))∨Q) D: (Q∨﹁(P→Q))∧﹁Q
- 下列负判断的等值判断，其有效式是（） A: ∧→p∨q B: p∨q→p∧q C: p∨q→（p∧q）∨（∧） D: p→q→∧q E: p←q→p∧
- 下面命题公式是重言式的为( )。 A: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)
- 下列命题公式为矛盾式的是（ ）。 A: （p→q）∨q B: ¬(p→q)∧q C: ¬p∧(p→q) D: ¬(p→q)