弱完备性

基本属性

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

扩展释义

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