演绎推理的前提真实、推理形式正确,结论就一定真实可靠吗?

金岳霖先生主编的《形式逻辑》教材中有这样一道习题:从“一切生物都是发展变化的”能否知道“非生物”怎样?期中考试时,我以此题考学生,出现了两种答案: 一种答案是:以此判断为前提推不出“非生物”怎样。因为,此判断是全称肯定判断,可表示为SAP,SAP换位可得PIS,PIS再换质又可得POS,由于POS是特称否定判断,按规则是不能进行换位推理的。