弱完备性

拼音ruò wán bèi xìng 注音ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ 更新2026-07-27 08:26:00
读音信息
拼音字母
ruo wan bei xing
拼音首字母
rwbx
注音符号
ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ
注音首字母
ㄖㄨㄅㄒ
百科释义

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

拆字组词
相关词语