数理逻辑:如果

发布网友发布时间：2024-06-01 15:12

共2个回答

热心网友时间：2024-08-05 21:34

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

否定假言命题的后件(周平不去上海)

并肯定其前件中的一个联言肢(王芳不去丽江)

进而否定其前件的另一个联言肢(否定李明不去丽江） = 李明去丽江

热心网友时间：2024-08-05 21:34

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com