Sets & Propositions
集合是条件明确的一群对象,命题则是能明确判断真假的句子。 把两个集合的公共部分交集,以及合并起来的并集画成文氏图,它们的关系便一目了然。 在命题「若 p 则 q」中把假设和结论对调或否定,就得到逆命题、否命题和逆否命题,而逆否命题的真假始终与原命题相同。 在本页你可以移动集合观察运算结果,也能亲自验证命题与逆否命题的关系。