当前位置:新励学网 > 秒知问答 > 合式公式是什么意思

合式公式是什么意思

发表时间:2024-08-02 10:32:39 来源:网友投稿

合式公式又称谓词公式,是一种形式语言表达式,即形式系统中按一定规则构成的表达式。

按照模型论中一种通行习惯,语言F中的合式公式定义如下:

1. 原子公式是合式公式; 2.若φ和ψ是合式公式,则(φ∧ψ)及(ᒣφ)是合式公式; 3.若φ是合式公式,而x是变元,则(ᗄx)φ是合式公式;4.有限次地应用1—3所得到的符号序列是合式公式。

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!