命题公式（p→q)^p→q为（)。

A.A.可满足式

B.B.合取范式

C.C.矛盾式

D.D.重言式

A.A.永假式

B.B.矛盾式

C.C.可满足式

D.D.不能确定

A.p∧q

B.p∨q

C.p→q

D.p∧q

A.p或q

B.p且q

C.非p

D.以上都不是

设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式在个体域()中是可满足的.

A.自然数

B.整数

C.实数

D.以上均不成立

A.F∨(P∧(Q∨┐ S))

B.T→(P∨(Q∨┐ S))

C.T∨(P∧(Q∨┐ S))

D.T∨(P∧(Q∧S))

以标准普尔公司的债券信用评级为例，下列哪个评级的信用等级最高？

A：A

B：AA

C：BB

D：CC