A: "Tüm insanlar ölümlüdür."
O: "Bazı insanlar ölümlü değildir."
Bu iki önermenin çelişik olup olmadığını belirlemek için aşağıdaki mantık kurallarından hangisi kullanılmalıdır?
A) Karşıtlık ilişkisi
B) Altıklık ilişkisi
C) Çelişki ilişkisi
D) Düz döndürme
