设A，B是命题公式，则对于命题公式间的永真蕴涵关系。

证明：对于任意命题公式A和B,有永真。

设A，B，C为任意的命题公式，证明：等值关系有

(1)自反性：AA。

(2)对称性：若AB，则BA。

(3)传递性：若AB且BC，则AC。

命题公式(P∧Q)→P是下列4个中的哪一个？

(1)永真式 (2)永假式

(3)可满足式 (4)合取范式

设命题公式。则使G的真值为T的指派是______，______，______.

设命题公式G=(P→4Q)，H=P→()，则G与H的关系是(65)。

A．

B．

C．G=H

D．以上都不是

取个体域为整数集,给定下列公式:

上面公式中,是真命题的有(),是假命题的有().

设个体域D={1，2}，请给出两种不同的解释I₁和I₂，使得下面公式在I₁下都是真命题，而在I₂下都是假命题。

对于命题公式A，B,证明:。

设A，B，C是任意的命题公式。判断下列命题是否成立。阐述理由。

(1)若，则A=B。

(2)若AVC=BVC，则A=B。

(3)若，则A=B。