多項選擇題

以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r為前提推出結(jié)論p∧r，所用的推理形式有（）。

A.一次運用選言推理的否定肯定式
B.聯(lián)言推理的分解式
C.兩次運用選言推理的否定肯定式
D.充分條件推理的肯定前件式
E.聯(lián)言推理的組合式

你可能感興趣的試題

多項選擇題

以﹁p為前提進行有效推理，如果希望得到﹁q為結(jié)論，可增加的另一個前提有（）。

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

多項選擇題

下列假言推理為有效式的有（）。

A.（﹁p→q）∧p├﹁q
B.（p→﹁q）∧q├﹁p
C.（﹁p←﹁q）∧﹁p├q
D.（p←﹁q）∧﹁q├p
E.（p→﹁q）∧p├﹁q