İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir. Aynı terimlerden yapılmış iki önerme nicelik (tümel-tikel) ve/veya nitelik (olumlu-olumsuz) bakımından farklı ise böyle önermeler arasında karşı olum ilişkisi vardır.