弱完备性

拼音 ruò wán bèi xìng · 注音 ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ · 2026-07-11 05:42:34
弱字组词 完字组词 备字组词 性字组词

基本属性

  • 拼音字母ruo wan bei xing
  • 拼音首字母rwbx
  • 注音符号ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ

扩展释义

英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.

相关推荐