*本书以下的讨论除特别说明外，都将基于经典逻辑的二值原则展开。