反例與論域資格

反例與論域資格

反例必須屬於被聲稱的論域且使全稱述詞失敗；域外值和找不到反例都不能自動證明原命題。

atlas-counterexample · canonical_mko