單項(xiàng)選擇題

在PN推演中，“∨-”規(guī)則指的是（）。

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

微信掃碼免費(fèi)搜題