形式謬誤（Formal fallacies）是推理形式錯誤的論證。
當一個論證的推理形式有誤時，即使前提為真，也必然無法因此推理出結論為真。與非形式謬誤不同，我們不需檢驗論據的具體內容，只要將推論符號化並加以檢驗，即可確認形式謬誤的存在。
不當結論（拉丁語：non sequitur）係指結論無法從已建立的前提推論出來。如果一個論證犯了形式謬誤，其結論即屬不當結論。
問題在於：根據前題，x應比z大。「z比x大」背離了上述的對確形式，這就是形式謬誤。
問題在於：食物並不總是好吃的，這是形式謬誤。（因为油条只是食物一种，并非全部食物都是油条）
