请问「弱完备性」是什么意思?
2026-07-10 07:07:02
「弱完备性」读音
拼音 ruò wán bèi xìng,注音 ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ
| 拼音字母 | ruo wan bei xing |
|---|---|
| 拼音首字母 | rwbx |
| 注音符号 | ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ |
| 注音首符号 | ㄖㄨㄅㄒ |
「弱完备性」释义
扩展释义 英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.
推荐
请问「弱完备性」是什么意思?
「弱完备性」读音
拼音 ruò wán bèi xìng,注音 ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ
| 拼音字母 | ruo wan bei xing |
|---|---|
| 拼音首字母 | rwbx |
| 注音符号 | ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ |
| 注音首符号 | ㄖㄨㄅㄒ |
「弱完备性」释义
扩展释义 英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.