自我推翻的謬誤有「語義型自我推翻」和「語行型自我推翻」兩種。
什麼是謬誤？謬誤就是在思考中產生的邏輯上的錯誤。許多邏輯書將一些不是謬誤的言論也說成是謬誤。這種將不是謬誤的言論說成是謬誤，其本身就是一種謬誤。我將這種謬誤稱爲“謬誤的謬誤”。
我發現許多初學邏輯者容易混淆“假值傳遞的謬誤”和“否定前件的謬誤”，將這二者混爲一談。其實，懂得區分邏輯蘊涵與實質蘊涵，就不難區分此二者。
“假值傳遞的謬誤”是通過否定邏輯蘊涵的前提而否定其結論：從A可推出B，由於A是假的，所以B是假的。
“否定前件的謬誤”是通過否定實質蘊涵的前件而否定其後件：如果A則B，由於A是假的，所以B是假的。
