逻辑学中指能同时推导出两个互相矛盾结论的命题。