命题公式
- n.statement formula
- 网络proposition formula; PÚQ; Propositional Formula
命题公式命题公式
proposition formula
定义3.1 归纳定义命题公式（proposition formula）： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。
PÚQ
9、 求命题公式Ø（PÚQ）«（PÙQ）的析取范式与合取范式。10、给定解释I如下： 定义域D={2，3}； f（2） f（3） F（2，2…
Propositional Formula
今后，我们将命题合式公式称为命题公式(Propositional Formula)或简称公式。例如， , 等是公式。
wff
定义1－3.1命题演算的命题公式（wff），规定为： ⑴ 单个命题变元本身是一个命题公式。
PvQ
命题公式(PvQ)→R的析取范式是 ( ) A. ┐(PvQ)vRB. (P＾Q)vRC. (PvQ)vRD.
propositional formulas
...l proposition)到 、从复合命题 到 命题公式(propositional formulas) 命题公式 4/6/2012 2:30 AM Deren Chen, Zhejiang Univ.
propositional function
离散数学双语专业词汇表 - 豆丁网 ... universal quantification： 全称量词化 propositional function： 命题公式 predicate： 谓词 ...
prepositional formula
所谓命题公式(prepositional formula)是命题逻辑中由命题变元和逻辑联结词(┐、∧、∨、→、 )按一定规则所组成的各种合式公式(…
1
2