【公式﹡名词解释如下】
公式名词解释：
数理逻辑术语.指具有一定形式的表达式.其归纳定义如下名词解释：
1.原子公式是公式.
2.如果α,β是公式,则α,α∨β,α∧β,α≡β是公式.
3.如果x是个体变元,α是公式,则(x)α,(x)α均是公式.
4.只有根据1,2,3给出的表达式才是公式.
含有自由变元的公式称为开公式.例如,设R为二元谓词,公式(x)R(x,y)含有自由变元y为开公式.不含自由个体变元的公式称为闭公式或语句.例如,设R为二元谓词,则公式(x)(y)R(x,y)是闭公式.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
习题答案新视野大学英语2读写教程课后答案
新视野大学英语第三版读写教程2
考研词汇5500电子版
考研英语二小作文万能模板
大学英语精读第二册
材料力学答案
广东海洋大学简介
微观经济学试题
结构力学课后习题答案
材料力学课后习题答案
基金从业资格考试题
