04 2020 档案

摘要:当有“全称量词∀”出现的时候,考虑运用“蕴含式”以及与它相关的等值式; 本文还对EXISTS做了分析,包含了4个方面:至少有一个满足、至少有一个不满足、全部满足、全部不满足 阅读全文
posted @ 2020-04-25 09:14 BNTU 阅读(1015) 评论(0) 推荐(0)
摘要:47小时"巨作"(头发要掉光了,还不知道写得对不对,毕竟这只是我的一家之言。希望是对的叭) 阅读全文
posted @ 2020-04-24 19:07 BNTU 阅读(2279) 评论(1) 推荐(0)