释
弱完备性
ruò wán bèi xìng · ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ
修撰于 2026-06-30 16:26:14
音义
| 拼音 | ruò wán bèi xìng |
|---|---|
| 字母 | ruo wan bei xing |
| 首字母 | rwbx |
| 注音 | ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ |
| 注音符号 | ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ |
广训
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.
ruò wán bèi xìng · ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ
修撰于 2026-06-30 16:26:14
| 拼音 | ruò wán bèi xìng |
|---|---|
| 字母 | ruo wan bei xing |
| 首字母 | rwbx |
| 注音 | ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ |
| 注音符号 | ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ |
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.