成人精品一区二区三区校园激情,国产成人亚洲综合无码小说

填空題關系詞項“包庇”在直接關系推理中表現為（）性，在間接關系推理中表現為（）性。

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

做它的真值表
所以，（p∧﹁p）∨（p∧q）是協(xié)調式。

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

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

3.多項選擇題以﹁p→（q∧r）為一個前提，如果要必然地推出p∧s，則可增加的另一個前提是（）。

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

4.多項選擇題以r←（p∨q）為一個前提，如果要有效地推得r，則可增加的另一個前提為（）。

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

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

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