“所有S是P”和“所有S不是P”是反对关系，而不是矛盾关系。这是因为两者之间并不是“非此即彼”，而是“非此不一定彼”的关系，或者说，在“此”、“彼”之外，至少还存在着第三种情况。比如“所有的鸟都是会飞的”和“所有的鸟都不是会飞的”，两个可以都是假的，因此可见，两者之间并不是“非此即彼”的矛盾关系，而是“非此不一定彼”的反对关系。
