作业帮 > 数学 > 作业

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

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/28 16:31:37
数理逻辑:如果李明和王芳不去丽江,那么周平去上海.以此为前提,再加上下列选项中的哪个条件,就可以推出李明去丽江的结论?
A王芳不去丽江,周平不去上海
B王芳不去丽江,周平去上海
C周平不去上海
D王芳不去丽江
答案 A
反三段论 推理
反三段论是充分条件假言推理否定后件式的一 种特殊形式
推理形式如下:如果A并且B,则C;非C并且B;所以,非A
已知 A ∧ B -> C
B ∧﹁C
推出 ﹁A
(AB互换一样推理)
否定假言命题的后件并肯定其前件中的一个联言肢,进而否定其前件的另一个联言肢
否定假言命题的后件(周平不去上海)
并肯定其前件中的一个联言肢(王芳不去丽江)
进而否定其前件的另一个联言肢(否定 李明不去丽江) = 李明去丽江