＞数理逻辑与数学基础＞模型论＞释义 well-formed formula 合式公式 well-formed formula 合式公式† wff 合式公式
理论计算机科学 可计算性与计算复杂性 释文 well-formed formula 合式公式
- modal dispersion
- modal dispersion, intermodal dispersion
- modal harmony
- modalism garden
- modality
- modal logic
- modal logic calculus
- modal matrix
- modal operator
- modal Platonism
- modal predicate calculus
- modal propagation constant
- modal proposition
- modal propositional calculus
- modal staple length
- modal statement
- modal structure
- modal syllogism
- modal system
- modal test
- modal truncation method
- modal truth functor
- modal unbiased estimation
- modal unbiased estimator
- modal value