国产女人91精品嗷嗷嗷嗷,av无码专区亚洲,亚洲无码专区无码

填空題如果關(guān)系R是反傳遞性的，則由aRb和bRc為前提，可推出（）。

1.填空題關(guān)系詞項“包庇”在直接關(guān)系推理中表現(xiàn)為（）性，在間接關(guān)系推理中表現(xiàn)為（）性。

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

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

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

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

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

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

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

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