邏輯學中指能同時推導出兩個互相矛盾結論的命題。