問答題判明下列公式哪些屬于永真式、哪些屬于協(xié)調式、哪些屬于矛盾式。(p∧﹁p)∨(p∧q)。

您可能感興趣的試卷

你可能感興趣的試題

1.多項選擇題以p→q、p∨r、r→q和﹁q∨s為前提推出結論s∧q,所用的推理形式有()。

A.二難推理的簡單構成式
B.二難推理的復雜構成式
C.選言推理的肯定否定式
D.選言推理的否定肯定式
E.聯(lián)言推理的組合式

4.多項選擇題當p→q、q→p和﹁p∨﹁q三個公式均真時,下列公式取值為真的是()。

A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔q
E.﹁p∧﹁q

5.多項選擇題當p→﹁q取值為假時,下列形式中取值為真的是()。

A.p→q
B.p←q
C.p∧q
D.p∨q
E.p↔q