合式公式

  • 网络wff; well formed formula

合式公式合式公式

合式公式

wff

合式公式wff)的集合按如下规则递归的定义: 归纳条款 I: 如果 Φ 是 wff,则 ┐ Φ 是 wff。

well formed formula

we... ... well formatted-- 良性格式化的 well formed formula-- 符合语法规则的公式;合适公式;合式公式 well off-- 富有的 ...

热词推荐