多项选择题
下列公式中属于重言式的有()。
A.(p→¬p)→qB.q→(¬q→p)C.(p→p)→¬qD.p→(¬q→p)
单项选择题 画树形图时,如果根节点的公式为¬A,最后所有的枝均封闭,则可以证明()
单项选择题 下列关于真值表方法的叙述错误的是()。
单项选择题 已知p 真q 假,则下列公式中为假的有()。