如果P和Q是FOL的语句,那么P ú Q 也是（）

A.a对应P，b对应Q, c对应S1

B.a对应S1，b对应Q, c对应P

C.a对应S1，b对应P, c对应Q

D.a对应P，b对应S1, c对应Q

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

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

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

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

A.条件句的形式是“如果P那么Q”

B.“如果P那么Q”中，P是前件，Q是结论

C.条件句的前件和后件都必须是真的

D.“如果P那么Q”的逆命题是“如果非P那么非Q”

用真值表证明如果是真，那么P→Q和Q→P都真.反之，如果P→Q和Q→P都真，那么是真。

A.充分条件

B.必要条件

C.充分必要条件

D.等价条件

A、如果P，那么q

B、只有P，才q

C、或者P，或者q

D、要么P，要么q

A.p=q

B.*p=*q

C.p=&*q

D.p=i

E.*p=&i

F.&p=q

G.p=&q

H.p=&p

I.p=*q

J.*p=q