公式A为永假式的充要条件是A 的析取范式中每个简单合取式至少包含

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

全体小项合取式为()。

A、可满足式

B、矛盾式

C、永真式

D、A、B、C都有可能

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

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

给出解释I，使下面两个公式在解释I下均为假，从而说明这两个公式都不是逻辑有效式(永真式)．

  (1)x(F(x)∨G(x))→(xF(x)∨xG(x))；

  (2)(xF(x)∧xG(x))→x(F(x)∧G(x))．

A、?Q=>Q→P

B、?Q=>P→Q

C、P=>P→Q

D、?P∧(P∨Q)=>?P

证明题。

(1)证明为可满足式，但不是永真式。

(2)证明为永真式。

下列公式为永真公式的是(14)。

A．(P∨Q)→R

B．p→(P∨Q)

C．(P∨Q)→(P∧Q)

D．(P∧Q)图片R

中国历史上最早以“式”为法律形式的法典是（）

A.武魏氏

B.贞观

C.大统

D.永徽式

证明下列各式均为永真式。