问答题

【计算题】设A，B都是含命题变项p₁，p₂，...p_n的公式，证明：A∧B是重言式当且仅当A与B都是重言式。

答案：

你可能感兴趣的试题

【计算题】已知p→（p∨q）是重言式，￢（p→q）∧q是矛盾式，试判断（p→（p∨q））∧（￢（p→q）∧q）及（p→（p∨q））∨（￢（p→q）∧q）的类型。

答案：

【计算题】已知（￢（p→q）∧q）∨（￢（￢q∨p）∧p）是矛盾式，试判断公式￢（p→q）∧q及￢（￢q∨p）∧p的类型。

答案：