單項(xiàng)選擇題

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

A.從A?B 推出A；從A?B 推出B
B.從A?B 和A 推出B；從A?B 和B 推出A
C.從A?B 推出A→B；從A?B 推出B→A
D.從A?B 和含子公式A 的公式C（A）推出C（A/B）（將C 中的一處或多處A 代換為B）

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