"Bir üçgenin iç açıları toplamı 180° ise, bu bir Öklid üçgenidir."
Bu önermenin karşıtı aşağıdakilerden hangisidir?
Mantıkta ve matematikte önermelerin farklı türleri vardır. Bu soru, bir önermenin karşıtını (converse) bulmamızı istiyor. Bir önermenin karşıtını bulmak için izlememiz gereken adımlar şunlardır:
P önermesi (Hipotez): "Bir üçgenin iç açıları toplamı 180°"
Q önermesi (Sonuç): "Bu bir Öklid üçgenidir"
Yeni Hipotez (Q): "Bir üçgen Öklid üçgenidir"
Yeni Sonuç (P): "iç açıları toplamı 180° dir"
A) Bir üçgen Öklid üçgeni ise, iç açıları toplamı 180° dir - Bu ifade, bizim bulduğumuz karşıt önermeyle tamamen aynıdır. Bu, Öklid geometrisinin temel bir aksiyomudur.
B) Bir üçgenin iç açıları toplamı 180° değilse, Öklid üçgeni değildir - Bu, verilen önermenin tersidir ("Eğer P değilse Q değil").
C) Bir üçgen Öklid üçgeni değilse, iç açıları toplamı 180° değildir - Bu, verilen önermenin karşıt tersidir ("Eğer Q değilse P değil"). Karşıt tersi, orijinal önerme ile mantıksal olarak eşdeğerdir.
D) İç açıları toplamı 180° olan sadece Öklid üçgenleridir - Bu ifade, orijinal önermeyi farklı bir şekilde ifade etse de, doğrudan karşıtı değildir. "Sadece" kelimesi, hem "Eğer P ise Q" hem de "Eğer Q ise P" anlamını taşıyan bir "ancak ve ancak" (if and only if) ilişkisine işaret edebilir.
Bu adımları takip ettiğimizde, doğru karşıt önermenin A seçeneğinde verildiğini açıkça görmekteyiz.
Cevap A seçeneğidir.