多項選擇題下列假言推理為有效式的有（）。

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


您可能感興趣的試卷

你可能感興趣的試題

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

A.選言推理的肯定否定式
B.聯(lián)言推理的分解式
C.選言推理的否定肯定式
D.充分條件推理的肯定前件式
E.充分條件推理的否定后件式

2.多項選擇題以﹁p為前提進行有效推理，另一前提可以是（）。

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

3.多項選擇題對于有效的直接推理而言，其前提與結(jié)論之間不可能具有的關(guān)系是（）。

A.矛盾關(guān)系
B.等值關(guān)系
C.差等關(guān)系
D.反對關(guān)系
E.蘊涵關(guān)系

4.多項選擇題對于有效的推理形式來說，前提與結(jié)論之間可能具有關(guān)系是（）。

A.矛盾關(guān)系
B.等值關(guān)系
C.下反對關(guān)系
D.反對關(guān)系
E.蘊涵關(guān)系

5.多項選擇題以（﹁p∨﹁q）∧（r∧s）為前提進行推理，可以有效推出的結(jié)論有（）。

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