基本属性
- 拼音字母ruo wan bei xing
- 拼音首字母rwbx
- 注音符号ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ
扩展释义
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.
「弱完备性」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:ruò wán bèi xìng,注音:ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ。
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.