设有下列情况,结论是否有效? (1)或者是天晴,或者是下雨。 (2)如果是天晴,我去看电影。 (3)如果我去看电影,我就不看书。 结论:如果我在看书,则天在下雨。

用CP规则证明以下各式: (1)¬AⅤB,C→¬B⊦A→¬C; (2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B→F)。

证明下列各式: (1)A→(B→C),B→(C→D)⟹ A→(B→D); (2)¬PⅤ(¬QVⅤR),Q→(R→S),P⟹ Q→S; (3)(PⅤQ)→R,¬SⅤU,¬RⅤS,U→W,¬W⟹ ¬P⋀¬Q; (4)A→(B⋀C),(E→¬F)→¬C,B→(A⋀¬S)⟹ B→E; (5)(A→B)⋀(C→D),(B→E)⋀(D→F),(E⋀F),A→C⟹ ¬A (6)A→B,(¬BⅤC)⋀¬C,¬(¬A⋀D)⟹ ¬D

命题公式¬(P⋀Q)→R的主合取范式中含极大项的个数是____________。

命题公式¬P⋀Q⋀¬R的小项编码为___________。

一个n阶(n>2)简单非连通图的边的最大个数是_____________。

若含n(n≥2)个命题变项的命题公式A的主合取范式包括k个极大项,则A的主析取范式必定包括_____________个极小项。

n个命题变元的_____________称为大项,其中每个变元与它的否定不能同时出现,但两者必须_____________。

命题公式¬(P→Q)⋀¬Q⋀¬R的主析取范式中含小项的个数为_____________。

设连通平面图G的每个面至少由5条边围成,则G的边数m与顶点数n满足的不等式关系为_____________。