指出以下谓词公式哪些是重言式（逻辑有效式)，哪些是矛盾式．

A. 文字

B. 案例

C. 数字

D. 图表

E. 引言

A、块面式

B、重叠式

C、退底式

D、跨越式

谓词公式的前束范式为 ( ).

A、

B、

C、

D、

设A,B,C为任意的命题公式，若则.

A、

B、

C、

D、

中的辖域是,是闭式.

在连续的符号化为.

A、

B、

C、

D、

A、

B、

C、

D、

给定命题公式:与之等值的是

A、

B、

C、

D、