...丁网 础 2.1 命题逻辑 2.1.2 命题公式 原子(atom):单个命题常元或变元,如P、Q、T、F 合式公式(well-formed formulas, wff):将命题变元用联结 词和圆括号按照一定的逻辑关系连接起来的符号串。
基于145个网页-相关网页
open WFF 开放式合式公式
set of WFF 合适公式集
disjunction of wff 合适公式析取
satisfiability of wff 合式公式的可满足性
predicate calculus wff 谓词演算合适公式
The interpretation of WFF 谓词公式的解释
ABBREVIATION for well-formed formula 合适的公式
应用推荐