给定一命题公式，若无论对分量做怎样的指派，其对应的真值永为T，则称该命题公式为（)。

A.A.n

B.B.n²

C.C.2n

D.D.2ⁿ

A.永真式

B.永假式

C.可满足式

D.A，B，C均有可能

A.A命题真，E命题假

B.A命题假，I命题真

C.A命题真，O命题假

D.E命题假，O命题真

E.I命题真，E命题假

A、在推演过程中可随便使用前提

B、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果

C、如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C

D、设是含公式A的命题公式，，则可用B替换中的A

A.非p

B.如果q则p

C.如果p则q

D.p且q

A.指称一个事物

B.为真

C.为假

D.真假不定

A.A∧(X∨Y)

B..A∨(X∧(B∨Y))

C.((A∨B)→Y)→X

D.((B∧X)→Y)→((B→Y)→X)

E.(A∧Y)∨B

A.A(a)∧A(b)

B.A(a)→A(b)

C.A(a)∨A(b)

D.A(b)→A(a)