Soru:
Aşağıdaki koşullu önermenin karşıt tersini (contrapositive) yazınız: "Bir üçgen eşkenar ise, ikizkenardır."
Çözüm:
💡 Bir koşullu önermenin karşıt tersi, hem hipotezin hem de hükmün değillenip yerlerinin değiştirilmesiyle elde edilir.
- ➡️ 1. Adım: Önermeyi sembolik olarak ifade edelim. p: "Bir üçgen eşkenardır." q: "Bir üçgen ikizkenardır." Önerme: p → q
- ➡️ 2. Adım: Karşıt ters formülünü hatırlayalım. p → q önermesinin karşıt tersi: ¬q → ¬p'dir.
- ➡️ 3. Adım: Buna göre, ¬q: "Bir üçgen ikizkenar değildir." ve ¬p: "Bir üçgen eşkenar değildir."
- ➡️ 4. Adım: Yeni önermeyi oluşturalım: ¬q → ¬p → "Bir üçgen ikizkenar değilse, eşkenar değildir."
✅ Sonuç: Verilen önermenin karşıt tersi: "Bir üçgen ikizkenar değilse, eşkenar değildir."