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