文络智义词库

2026-07-13 04:41:28

弱完备性

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

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

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

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接