形式逻辑错误：从肯定前提得出否定结论

从肯定前提得出否定结论（Negative Conclusion from Affirmative Premises）：一个绝对的三段论，因为它有肯定的前提却有否定的结论，所以是无效的。

例子：所有水果都很美味。所有苹果都是水果。因此，没有苹果是美味的。

逻辑形式：
如果A是B的子集，B是C的子集，则A不是C的子集。

示例#1：

1. 所有的猫都是动物。
2. 有些宠物是猫。
3. 因此，有些宠物不是动物。

结论可能是正确的，但这个论点在逻辑上仍然不支持。

考虑集合和子集：

1. 所有猫都是动物：我们有一组动物和猫的子集。
2. “某些”宠物是猫：我们的集合中有一部分“宠物”与子集“猫”相交
3. 但我们没有所需的信息来从逻辑上得出结论：某些宠物不是动物。