问答题 设A，B都是含命题变项p1，p2，...pn的公式，证明：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的类型。