专业、全面、易懂的全领域名词百科

存在量词引入规则﹡

题型：简答题

所属分类：数学

正确答案：[]

名词解析

存在量词引入规则名词解释：谓词演算的一种语法规则.设公式γ中没有x的自由出现,则存在量词的引入规则为Δ(α(x)→γ)Δ((x)α(x)→γ),此处ΔA表示公式A的全称封闭式.