下列式子为矛盾式的是（）

下列命题公式为矛盾式的是

令S={a,b,c}上的二元运算*如题15表所示,则该代数系统 不满足

设P:我生病,Q:我去学校,将下列命题符号化。 (1)我虽然生病但我仍去学校; (2)只有在生病的时候,我才不去学校; (3)如果我生病,那么我不去学校; (4)如果我没去学校,说明我生病了。

将下列命题符号化。 (1)我今天进城,除非下雨; (2)仅当你走,我将留下; (3)一个数是素数当且仅当它只能被1和它自身整除; (4)集合A是空集,当且仅当A中不含任何元素; (5)2是素数当且仅当4是偶数。

下列句子中哪些是命题? (1)我是中国人。 (2)禁止大声喧哗! (3)这里的风景真美啊! (4)角马是非洲数量最多的动物。 (5)今天上课吗? (6)木星比地球大。

判别下列公式中哪些是合式公式,哪些不是合式公式。(1)(Q→R ⋀S);(2)(P⟺ (R→S));(3)((¬P→Q)→(Q→P)));(4)(RS→T);(5)((P→(Q→R))→((P→Q)→(P→R)))。

下列哪一组命题公式是等值的? (1)¬P ⋀¬Q与PⅤQ; (2)A→(B→A)与¬A→(A→¬B); (3)Q→(PⅤQ)与¬Q ⋀(PⅤQ); (4)¬AⅤ(A⋀B)与B。

给出命题Q→(PⅤ(P ⋀Q))的成真赋值和成假赋值。

给命题变元P、Q、R、S分别指派真值为T、T、F、F,求下列命题公式的真值。 (1)(¬(P⋀Q)Ⅴ¬R)Ⅴ(((¬P⋀Q)Ⅴ¬R)⋀S); (2)(PⅤ(Q→(R⋀¬P)))⟺ (QⅤ¬S)。