Matematikte ve mantıkta sıkça karşılaştığımız bu iki kavram, bir önermenin temel bileşenleridir. İkisi birlikte "Koşullu Önerme" olarak adlandırılır.
Hipotez, bir önermenin "eğer" kısmıdır. Yani, bir şeyin doğru olduğunu kabul ettiğimiz, başlangıç noktamız olan cümleciğe denir. "Koşul" olarak da düşünülebilir.
Hüküm, bir önermenin "o zaman" kısmıdır. Hipotezin doğru olması durumunda ortaya çıkacak sonucu ifade eder.
Bir koşullu önerme genellikle "Eğer p, o zaman q" şeklinde yazılır ve matematiksel olarak \( p \to q \) şeklinde gösterilir.
📌 Örnek İnceleme:
"Eğer bir sayı 4'e bölünüyorsa, o zaman çifttir."
➡️ Hipotez (p): Bir sayı 4'e bölünür.
➡️ Hüküm (q): O sayı çifttir.
Bir koşullu önermede (\( p \to q \)), hipotez (p) yanlış olsa bile önermenin kendisi doğru kabul edilebilir. Bu, mantığın temel kurallarından biridir.