命题逻辑中的合式公式记为wff,它是什么的缩写?w\f\f分别代表哪几个单词,什么意思?

Question

命题逻辑中的合式公式记为wff,它是什么的缩写?
w\f\f分别代表哪几个单词,什么意思?

Answer 1

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的合取）