Matematikte, bir durumun başka bir durumu tetiklediğini veya bir koşulun sağlanması halinde belirli bir sonucun ortaya çıktığını ifade etmek için koşullu önermeler kullanırız. Bu tür önermeler genellikle "$p \Rightarrow q$" şeklinde gösterilir.
- Bu gösterimde, "$p$" ve "$q$" birer önermeyi (doğru ya da yanlış olabilen bir ifadeyi) temsil eder.
- "$p \Rightarrow q$" ifadesi, "Eğer $p$ doğruysa, o zaman $q$ da doğrudur" anlamına gelir.
Şimdi "$p$" ve "$q$"nun bu yapı içindeki özel isimlerine bakalım:
- $p$ (Hipotez / Ön Koşul): "$p$" önermesi, koşulun veya varsayımın kendisidir. Bir olayın gerçekleşmesi için gerekli olan durumu veya başlangıç koşulunu ifade eder. Buna hipotez (varsayım) veya öncül denir. "$p$" doğru kabul edildiğinde, "$q$"nun ne olacağını inceleriz.
- $q$ (Hüküm / Sonuç): "$q$" önermesi, "$p$" koşulu sağlandığında ortaya çıkan sonuçtur. "$p$"nin doğru olmasının bir sonucu olarak ortaya çıkan ifadeye hüküm (sonuç) veya ardıl denir.
Basit bir örnekle açıklayalım:
- "Eğer bir sayı çift ise, o zaman o sayı 2'ye tam bölünür." koşullu önermesinde:
- Burada "$p$" (hipotez) "bir sayının çift olması" durumunu ifade eder.
- "$q$" (hüküm) ise "o sayının 2'ye tam bölünmesi" sonucunu ifade eder.
Bu bilgiler ışığında seçenekleri incelediğimizde:
- A) p: hüküm, q: hipotez - Bu, "$p$" ve "$q$"nun rollerinin ters çevrilmiş halidir.
- B) p: hipotez, q: hüküm - Bu seçenek, koşullu önermedeki "$p$" ve "$q$"nun doğru tanımlarını vermektedir.
- C) p: sonuç, q: neden - Bu terimler matematiksel koşullu önerme terminolojisine uygun değildir ve sıralama da yanlıştır. "$p$" neden, "$q$" sonuçtur.
- D) p: teorem, q: ispat - Teorem, doğruluğu kanıtlanmış bir önermedir; ispat ise bir teoremin doğruluğunu gösterme sürecidir. Bunlar "$p$" ve "$q$"nun kendisi değildir.
Cevap B seçeneğidir.
