多项选择题
下列推演规则中正确的有（）。
A.从A→B 和¬B 推出¬AB.从A→B 和¬A 推出¬BC.从A→B 和B 推出AD.从A→B 和A 推出B
单项选择题 在PN推演中，“↔-”规则指的是（）。
多项选择题 下列公式中属于重言式的有（）。
单项选择题 画树形图时，如果根节点的公式为¬A，最后所有的枝均封闭，则可以证明（）
