命题公式是永真公式，当且仅当等价于它的主析取范式中（)。

利用范式证明下列公式为永真式(证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有2ⁿ个析取项,n是公式中变元的个数).

命题逻辑中，公式是的逻辑结果当且仅当公式是是( )的。

A、永真

B、永假

C、可满足

D、不可满足

命题逻辑中，公式是的逻辑结果当且仅当公式是是( )的。

A、永真

B、永假

C、可满足

D、不可满足

命题公式是下列4个中的哪种类型的公式？

A、永真式

B、矛盾式

C、可满足式

D、合取范式

A、A．(P∧﹁P ) ? Q

B、B．﹁(P?Q )∧Q

C、C．(P?Q )∨﹁Q

D、D．(P∨P )∧(P ?﹁P )

A.(P∧Q)→Q

B.(P∧(P→Q))→Q

C.P→(P∨Q)

D.(P∨Q)→P

证明下列各命题公式为永真式：

A、

B、

C、

D、

什么是谓词公式的永真性、永假性、可满足性、等价性及永真蕴涵?

试证明命题逻辑永真公式公理系统不是独立的．