摘要: 当有“全称量词∀”出现的时候,考虑运用“蕴含式”以及与它相关的等值式; 本文还对EXISTS做了分析,包含了4个方面:至少有一个满足、至少有一个不满足、全部满足、全部不满足 阅读全文
posted @ 2020-04-25 09:14 BNTU 阅读(868) 评论(0) 推荐(0) 编辑