# 反例與論域資格

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [反例與論域資格](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-counterexample/)

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

atlas-counterexample · canonical_mko

[反例與論域資格](https://ocme.evemisslab.com/zh-Hant/mko/mko-counterexample/)

## 前置節點


- [量詞與明示論域](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-quantifier/)
- [數學證明](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proof/)