完全集

基本属性

  • 拼音字母wan quan ji
  • 拼音首字母wqj
  • 注音符号ㄨㄢ ㄑㄩㄢ ㄐㄧ

扩展释义

设 F 是 n 元联结词,p1,…,pn 是不同的命题变元。如果公式 A 中不出现除 p1,…,pn 之外的命题变元,并 A⇔Fp1…pn,则称 A 定义 F。如果存在由联结词集合 S 生成的公式定义 F ,则称 F 可由 S 定义。

相关推荐