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

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


您可能感興趣的試卷

你可能感興趣的試題

3.多項選擇題當p→q、q→p和﹁p∨﹁q三個公式均真時，下列公式取值為真的是（）。

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

4.多項選擇題當p→﹁q取值為假時，下列形式中取值為真的是（）。

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

5.單項選擇題在下列各組命題形式中，具有不可同真但可同假關(guān)系的是（）。

A.SAP與SOP
B.p→q與﹁p→﹁q
C.p∨q與﹁p∨﹁q
D.p∧q與p∧﹁q