“没有A是B”，用集合关系就是A和B是相斥的。所以B集合里面不可能存在A，可以得出B都不是A，即“B->非A”，也可以表示所有A都不是B，即“A->非B”。“没有A不是B”，用集合关系表示就是整个A都在B里面，B包含A。可以得出所有的A都是B，即“A->B”还有一个比较难理解的就是“除非A，否则B”，可以理解为英文IF NOT A, THEN B. 即直接是“非A->B”
等值于“所有的a都不是b”。
