Çift gerektirme nedir

"Bir dörtgen karedir." (\(p\)) ve "Bir dörtgenin tüm kenarları eşittir." (\(q\)) önermeleri verilsin. Bu iki ifade çift gerektirme ilişkisi içinde midir?

💡 İki önermenin birbirini gerektirip gerektirmediğini iki yönlü kontrol edeceğiz.

• ➡️ 1. Adım: \(p \Rightarrow q\): "Bir dörtgen kare ise, tüm kenarları eşittir." Bu ifade doğrudur. Çünkü karenin tanımı gereği dört kenarı da eşit uzunluktadır.
• ➡️ 2. Adım: \(q \Rightarrow p\): "Bir dörtgenin tüm kenarları eşit ise, o dörtgen bir karedir." Bu ifade yanlıştır! Çünkü tüm kenarları eşit olan bir dörtgen bir eşkenar dörtgen olabilir, ancak açıları 90° olmadığı sürece kare değildir.

✅ Sonuç: \(q \Rightarrow p\) yanlış olduğu için, \( p \Leftrightarrow q \) çift gerektirmesi yanlıştır. Yani bir dörtgenin kare olması için sadece kenarların eşit olması yeterli değildir.