问答题 已知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的类型。

问答题 已知（p→（p∨q））∧（（p∧q）→p）是重言式，试判断公式p→（p∨q）及（p∧q）→p的类型。