Question

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

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