Question

求助一个逻辑问题

逻辑推理中怎么判断是肯定前件和否定后件
比如这道题目：白马不是黑马；
黑马是大马；
白马不是大马。
错在什么地方了，一直弄不懂，搞死我了。哪位高人指点一下，非常感谢！

Answer 1

这个推理可以表示为：
任何一匹（或者所有的）白马都不是任何一匹黑马；
有的黑马是大马；
所以，所有的白马都不是大马。

肯定前件式：
　　p -> q （前提1, p、q是命题）
　　p （前提2）
　　则q （结论）
否定后件式：
　　如果p，那么q
　　非q
　　所以，非p

这个推理错在了它是否定前件而肯定后件，不符合两条规则中的任何一条。

如果改为肯定前件：
所有的黑马都是大马；
这匹马是黑马；
所以，这匹马是大马。

否定后件：
所有的黑马都是大马；
这匹马不是大马；
所以，这匹马不是黑马。

追问

有点懂了，刚看到一个：
亚里士多德学院的门口竖着一块牌子。上面写着“不懂逻辑者不得入内”。这天，来了一群人，他们都是懂逻辑的人。如果牌子上的话得到准确的理解和严格的执行，那么以下诸断定中，只有一项是真的。这一真的断定是（ ）。
A.他们可能不会被允许进人 B.他们一定不会被允许进入
C.他们一定会被允许进入 D.他们不可能被允许进入
这个是不是否定前件？

追答

否定前件，推理无法进行。应该选A，不确定能否进入。

Answer 2

这是一个错误的直言三段论。
可用两种方法来解决。
一是用标准的逻辑理论，这个对于没有逻辑常识的人来说有点难。“大马”是大项，前提中不周延，而在结论中周延了。违反推理规则。
二是用图来解。给大马画一个圈，再画两个与大马交叉的圈，分别代表白马和黑马（这两个圈不要交叉）。你就明白为什么这个推理是错误的了。没有学过逻辑的人用这种方法理解更好。
关于第二种方法，再做一点补充。就这题来说，给的条件之一是“黑马是大马”，按此信息，可以把黑马的圈画到大马之内。同样能看出题干推理的错误。