词条详情
弱完备性
更新 2026-08-17 19:57:51
| 词语 | 弱完备性 |
|---|---|
| 拼音 | ruò wán bèi xìng |
| 拼音字母 | ruo wan bei xing |
| 拼音首字母 | rwbx |
| 注音 | ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ |
| 注音符号 | ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ |
扩展释义
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.
词条详情
更新 2026-08-17 19:57:51
| 词语 | 弱完备性 |
|---|---|
| 拼音 | ruò wán bèi xìng |
| 拼音字母 | ruo wan bei xing |
| 拼音首字母 | rwbx |
| 注音 | ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ |
| 注音符号 | ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ |
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.