多项选择题
下列属于正确的PN推演的有（）。
A.从A→B和¬A推出¬BB.从A∨B和¬A推出BC.从A↔B和¬A推出¬BD.从A∧B和¬A推出B
多项选择题 在PN推演中，下列推导可以通过初始规则一步完成的有（）。
多项选择题 下列公式与A∨¬B逻辑等值的有（）。
多项选择题 下列公式满足形式A→（B→C）的有（）。
