你
请解释一下「弱完备性」这个词的含义。
助手
弱完备性
ruò wán bèi xìng · ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ
ruo wan bei xing
rwbx
ㄖㄨㄛ ㄨㄢ ㄅㄟ ㄒㄧㄥ
2026-08-18 02:12:44
扩展释义
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.
请解释一下「弱完备性」这个词的含义。
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.