部首检索
拼音检索
近义词
反义词
语造
排中律造句
1:在此基础上给出一机器能行算法,把
排中律
等值置换成任一重言式,证明任一命题逻辑内定理。
查辞海 chacihai.com
baike-map
浙ICP备19001761号-4