下列推演规则中正确的有：
A: 从A→B和ØB推出ØA
B: 从A→B和ØA推出ØB
C: 从A→B和B推出A
D: 从A→B和A推出B
A: 从A→B和ØB推出ØA
B: 从A→B和ØA推出ØB
C: 从A→B和B推出A
D: 从A→B和A推出B
A,D
举一反三
- 下列属于正确的【图片】推演的有： A: 从A→B和ØA推出ØB B: 从A«B和ØA推出ØB C: 从A∨B和ØA推出B D: 从A∧B和Ø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]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]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
- 下列属于正确的[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
内容
- 0
下列属于正确的[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
- 1
在[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）
- 2
在【图片】推演中，“«-”规则指的是： 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）
- 3
在NP推演中，下列推导可以通过初始规则一步完成的有： A: 从(A→B)→(A→C)和A→B推出A→C B: 从A«B和A推出B C: 从A→B和ØA→B推出B D: 从A∨B、A→C∨B和B→C∨B推出C∨B
- 4
在【图片】推演中，下列推导可以通过初始规则一步完成的有： A: 从A→B和ØA→B推出B B: 从A«B和A推出B C: 从(A→B)→(A→C)和A→B推出A→C D: 从A∨B、A→C∨B和B→C∨B推出C∨B