求一道经典的逻辑题解法

求一道经典的逻辑题解法
由下列1.2两个前提能否推出结论3?如能,则用符号表示这个推理步骤.
1.如果这次春游或去九寨沟,或去小山峡,那么小李和小马都去.
2.或者小李不去,或者小马不去.
3.这次春游不去九寨沟.
数学人气:137 ℃时间:2020-03-29 20:04:16
优质解答
设去九寨沟为p 去小山峡为q 小李去为a 小马去为b
则1为 p或q -> a并b
2为非a或非b
由1可得
非a或非b->非p且非q
所以非p且非q
所以非p
所以不去九寨沟
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版