在P<sup>N</sup>推演中,“∨-”规则指的是()。

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

时间:2023-07-04 16:02:20

相似题目