逻辑学指可以同时推导或证明两个互相矛盾的命题的命题或理论体系。