单项选择题
在PN推演中，“∨-”规则指的是（）。
A.从A∨B和¬B推出A；从A∨B和¬A推出B
B.从A∨B推出A；从A∨B推出B
C.从A→B和¬A→B推出B
D.从A∨B、A→C和B→C推出C
点击查看答案
单项选择题
A.从A∨B和¬B推出A；从A∨B和¬A推出B
B.从A∨B推出A；从A∨B推出B
C.从A→B和¬A→B推出B
D.从A∨B、A→C和B→C推出C
微信扫一扫,加关注免费搜题