在[img=25x23]17de8f09ba8906b.png[/img]推演中，“∨-”规则指的是：
A: 从A∨B推出A；从A∨B推出B
B: 从A∨B和ØB推出A；从A∨B和ØA推出B
C: 从A→B和ØA→B推出B
D: 从A∨B、A→C和B→C推出C
A: 从A∨B推出A；从A∨B推出B
B: 从A∨B和ØB推出A；从A∨B和ØA推出B
C: 从A→B和ØA→B推出B
D: 从A∨B、A→C和B→C推出C
举一反三
- 在[img=25x23]1803a7e21e7b78e.png[/img]推演中，“∨-”规则指的是： A: 从A∨B推出A；从A∨B推出B B: 从A∨B和ØB推出A；从A∨B和ØA推出B C: 从A→B和ØA→B推出B D: 从A∨B、A→C和B→C推出C
- 在[img=25x23]180335d824228b6.png[/img]推演中，“«-”规则指的是： 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）
- 在NP推演中，“∨E”规则指的是： A: 从A→B和ØA→B推出B B: 从A∨B推出A；从A∨B推出B C: 从A∨B和ØB推出A；从A∨B和ØA推出B D: 从A∨B、A→C和B→C推出C
- 下列属于正确的[img=25x23]180372e1ffca217.png[/img]推演的有： A: 从A→B和ØA推出ØB B: 从A«B和ØA推出ØB C: 从A∨B和ØA推出B D: 从A∧B和ØA推出B
- 下列属于正确的[img=25x23]18036d978ab7d3c.png[/img]推演的有： A: 从A→B和ØA推出ØB B: 从A∨B和ØA推出B C: 从A∧B和ØA推出B D: 从A«B和ØA推出ØB