以下推理形式，有效式是（)。‍

A.←

B.∨

C.→

D.∧

A.①⇒②

B.②⇒③

C.③⇒④

D.④⇒⑤

E.⑤⇒⑥

A.行人不应在马路上行走

B.那辆卡车车速太快

C.你要么被后面那辆卡车撞上，要么撞倒那个妇女

A.假言选言推理

B.假言联言推理

C.归谬式推理

D.反三段

A.当p不成立时，“如果p那么q”恒为真

B.“如果p那么q”定义的是一种蕴涵关系(即充分条件)

C.无法用真值表来判断“如果p那么q”的真假

D.“如果p那么q”意味着命题q包含着命题p，即p是q的子集

A.肯定前件式

B.肯定后件式

C.否定后件式

D.否定前件式

A.P(A|B)降低

B.P(B|A)减小

C.P(B)降低

D.以上均有

A.┐P∧┐QP∨Q

B.┐P∨(P∧Q)Q

C.P→(┐Q→P)┐P→(P→Q)

D.Q→(P∨Q)┐Q∧(P∨Q)

A.蓝色适中

B.黄色和红色都浅

C.红色浅，或者蓝色适中