假反例是什麼意思

假反例(False counterexample)是指在邏輯或數學證明中,用來反駁某個命題或陳述的一個例子,但這個例子實際上是錯誤的,它不適用於該命題或陳述。換句話說,假反例看起來像是反例,但實際上並不成立。

舉個例子來說明:

假設我們有一個命題:「所有哺乳動物都是動物」。

一個可能的反例是:「鯨魚是哺乳動物,但鯨魚不是動物」。

這個反例看起來像是推翻了命題,因為它提供了一個例子(鯨魚),這個例子既是哺乳動物又不是動物。但實際上,這個反例是錯誤的,因為所有的哺乳動物確實都是動物。因此,這個反例是一個假反例,它不適用於該命題。

在邏輯和數學證明中,找到一個假反例可能意味著證明的錯誤或漏洞,因此檢驗反例的真實性是非常重要的。