多项选择题 关于命题逻辑公式的下列说法正确的有（）。

单项选择题 在PN推演中，“∨-”规则指的是（）。

单项选择题 画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明（）。