閉公式（closed formula）是1993年公布的數學名詞。
基本介紹
- 中文名：閉公式
- 外文名：closed formula
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
閉公式
相關詞條
- 閉公式
閉公式（closed formula）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 全稱封閉式
全稱封閉式(universal closure)一種閉公式. 是用全稱量詞約束給定公式所有自由變元所得的閉公式.設公式a中含有n個自由的個體變元二:}}z } …，二。，則公式(d2n》二(b}.zz ) ( b}.z, ) a稱為a的全稱封閉式，以符號}a...
- 一階理論及其元邏輯
和其閉公式 (凬x)(凬y)(x+y =y +x)可以互相推導，其真假亦相同。因之在探究其值時，可以只考慮閉公式。設 A是理論T的一個閉公式，I是在論域M中對T的一個解釋。在此解釋下，A成為關於M的一個或真或假的語句 A。如 A...
