求一道经典的逻辑题解法由下列1.2两个前提能否推出结论3?如能,则用符号表示这个推理步骤.1.如果这次春游或去九寨沟,或去小山峡,_数学解答

求一道经典的逻辑题解法
由下列1.2两个前提能否推出结论3?如能,则用符号表示这个推理步骤.
1.如果这次春游或去九寨沟,或去小山峡,那么小李和小马都去.
2.或者小李不去,或者小马不去.
3.这次春游不去九寨沟.

人气：204 ℃　时间：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
所以不去九寨沟