弱完备性
ruò wán bèi xìng ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ

词语解释

拼音
ruò wán bèi xìng
拼音字母
ruo wan bei xing
拼音首字母
rwbx
注音
ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ
注音符号
ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ
更新时间
2026-07-13 11:07:28

百科释义

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

组词