Soru:
"Bir sayı 4'e bölünüyorsa, çifttir." önermesinin karşıt tersini yazınız ve doğruluk değerini belirleyiniz.
Çözüm:
💡 Önce önermeyi sembolik mantık diline çevirelim.
- ➡️ \( p \): "Bir sayı 4'e bölünür."
- ➡️ \( q \): "Bir sayı çifttir."
- ➡️ Verilen önerme: \( p \Rightarrow q \)
- ➡️ Bu önermenin karşıt tersi: \( \neg q \Rightarrow \neg p \) olur.
- ➡️ Bunu Türkçe ifade edersek: "Bir sayı çift değilse, 4'e bölünmez."
- ➡️ Doğruluk Kontrolü: Bir sayı çift değilse tektir. Tek bir sayı 4'e bölünemez (örneğin, 3 veya 5). Bu, orijinal önerme doğru olduğu için karşıt tersi de doğrudur.
✅ Sonuç: Karşıt ters "Bir sayı çift değilse, 4'e bölünmez." önermesidir ve bu önerme doğrudur.
