以（A∨～B∨～C）和C为前提进行演绎推理，能必然推出的结论有（）。
A: A（A∧C）
B: B（～A→～B）
C: C（B→A）
D: D（A∧～B）
E: E（A←B）
A: A（A∧C）
B: B（～A→～B）
C: C（B→A）
D: D（A∧～B）
E: E（A←B）
举一反三
- 以（A∨～B∨～C）和C为前提进行演绎推理，能必然推出的结论有（）。 A: A（A∧C） B: B（～A→～B） C: C（B→A） D: D（A∧～B） E: E（A←B）
- 以（A→（B→C））和B作前提进行演绎推理，能必然推出结论（）。 A: （A→C） B: （B→C） C: A D: C
- 以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。
- 以～p为一个前提进行演绎推理，如果（）。 A: 加上前提（p∨q），则能必然推出结论q B: 加上前提（q∨～p），则能必然推出结论q C: 加上前提（p→q），则能必然推出结论～q D: 加上前提～q，则能必然推出结论（～q∧～p） E: 加上前提（q→p），则能必然推出结论～q
- 以“所有A是B,所有B不是C”为前提,进行三段论推理,能必然推出结论: