弱完备性

释

刊载时间 2026-11-04 06:45:11

拼音ruò wán bèi xìng

字母ruo wan bei xing

首字母rwbx

注音ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ

注音符号ㄖㄨㄛㄨㄢㄅㄟㄒㄧㄥ

英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.

拆字组词