否定前提推得肯定结论（affirmative conclusion from a negative premise）是一种形式谬误，是因三段论中有前提为否定，而结论为肯定，导致论证无效。

例句：

推理规则：

例句分析结果：

有效性检验：

其他检验：

有些杯子是咖啡杯，没有咖啡杯会飘在空中。因此，有些杯子会飘在空中。

此例可分析如下：

有前提（大前提）为否定，而结论却为肯定，可判定推论无效。