二元逻辑与细微差别