跳至主要內容
∴
OCME
中英數學知識與推導
English
教材書庫
知識與地圖
知識物件
數學地圖
方法與領域
題庫與詳解
搜尋 36,000 題
題批目錄
編號詳解目錄
概念推導導讀
學習與驗證
學習路徑
形式化資料
關於與更新
關於 OCME
目前進度
全站搜尋
搜尋
量詞與明示論域
目錄呈現與來源綁定資料
量詞與明示論域
全稱與存在量詞必須綁定論域；古典真值語義下，空論域的全稱為真、存在為假。
atlas-quantifier
· canonical_mko
量詞與明示論域
前置節點
命題
集合
此頁的數學內容可以直接閱讀；JavaScript 僅用於互動地圖、搜尋與篩選。