三段论中"布尔"有效和"亚里士多德"有效问题!如题(第一格式)

题目

三段论中"布尔"有效和"亚里士多德"有效问题!如题(第一格式)
所有哺乳动物是动物
所有独角兽是哺乳动物
所有独角兽是动物
所有哺乳动物是动物
所有独角兽是哺乳动物
有的独角兽是动物
书本上讲第一个是"布尔"有效,第二个没效且"亚里士多德"也没效!
所谓"布尔"也就是抽象逻辑啊!
我个人理解两个都"布尔"有效-----"所有的" 肯定包含 "有些"
书上说 AA1前提中传递了"独角兽"存在的信息,所以没效-----如果是因为"独角兽"不存在而导致推理无效,那么AAA的也应推理无效啊.
这样区分在日常生活中又有什么意义啊?

答案

这是形式逻辑三段论,具体这是,真言直言判断,不符合真言直言的第三判断即无效.生活中没有多大用处,写论文需要的.