# 量詞與明示論域

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



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

全稱與存在量詞必須綁定論域；古典真值語義下，空論域的全稱為真、存在為假。

atlas-quantifier · canonical_mko

[量詞與明示論域](https://ocme.evemisslab.com/zh-Hant/mko/mko-quantifier/)

## 前置節點


- [命題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proposition/)
- [集合](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-set/)