亚里士多德提出的很多观点，特别是有关自然科学方面的结论，已被时代证明是错误的，但有一门被称为工具科学的逻辑学，至今仍被学术界尊为权威。由大前提、小前提和结论三部分构成的简单演绎逻辑，即三段论，自始至终贯穿于亚里士多德的研究、统计和思考之中。
亚里士多德三段论的种类举例：
例一：任何人都是一种二足动物。（大前提）
柏拉图是人。（小前提）
所以，柏拉图是一种二足动物。（结论）
例二：没有一个人是永生的。（大前提）
希腊人是人。（小前提）
所以，没有一个希腊人是永生的。（结论）
上述逻辑判断，你认为正确与否？