数理逻辑:如果李明和王芳不去丽江,那么周平去上海.以此为前提,再加上下列选项中的哪个条件,就可以推出李明去丽江的结论?

答案 A
反三段论 推理
反三段论是充分条件假言推理否定后件式的一 种特殊形式
推理形式如下:如果A并且B,则C;非C并且B;所以,非A
已知 A ∧ B -> C
B ∧﹁C
推出 ﹁A
(AB互换一样推理）
否定假言命题的后件并肯定其前件中的一个联言肢,进而否定其前件的另一个联言肢
否定假言命题的后件(周平不去上海)
并肯定其前件中的一个联言肢(王芳不去丽江)
进而否定其前件的另一个联言肢(否定 李明不去丽江） = 李明去丽江