在本章我们将首先分析否定的不同类型。然后分析巴西逻辑学家科斯塔的弗协调逻辑系统，通过分析，可以看出，科斯塔的弗协调逻辑中的否定关系实际上是下反对关系的否定。在此基础上，我们在经典逻辑的基础上直接建立对当关系的逻辑，以此来描述包含下反对关系否定信息的不协调理论的推理机制。
