作业帮 > 数学 > 作业

命题逻辑中的合式公式记为wff,它是什么的缩写?

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/23 09:31:51
命题逻辑中的合式公式记为wff,它是什么的缩写?
w\f\f分别代表哪几个单词,什么意思?
w f f = well-formed formulas
:)
它也被称为句子s e n t e n c e的语法:
任何原子都是一个合式公式.
例如:P,R,p 3
.假如w1和w2 是合式公式,那么以下这些也是:
w1∨w2(w1和w2的析取)
w1∧w2 (w1和w2的合取)