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

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


您可能感興趣的試卷

你可能感興趣的試題

4.多項選擇題當(dāng)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