问答题

【简答题】判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。（p∧﹁p）∨（p∧q）。

答案：

做它的真值表
所以，（p∧﹁p）∨（p∧q）是协调式。

你可能感兴趣的试题

多项选择题

以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

A.二难推理的简单构成式
B.二难推理的复杂构成式
C.选言推理的肯定否定式
D.选言推理的否定肯定式
E.联言推理的组合式

多项选择题

以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

A.s
B.﹁q
C.﹁q∧s
D.﹁r∧s
E.（﹁q∨﹁r）∧s