9. Sınıf Önerme, Hipotez, Hüküm nedir? Test 1

Matematikte "p ⇒ q" şeklinde gösterilen bileşik önermede p ve q sırasıyla neyi temsil eder?

A) Hüküm - Hipotez
B) Hipotez - Hüküm
C) Önerme - Sonuç
D) Aksiyom - Teorem

Matematikte $p \Rightarrow q$ şeklinde gösterilen bileşik önerme, "Eğer p ise q" şeklinde okunan bir koşullu önermedir. Bu tür önermeler, bir durumun (p) başka bir durumu (q) gerektirip gerektirmediğini ifade eder. Şimdi, bu yapının bileşenlerini adım adım inceleyelim:

• $p$ (Hipotez / Ön Koşul):

  Koşullu önermenin ilk kısmı olan $p$, bir durumun veya koşulun varlığını ifade eder. Bu kısım, genellikle "eğer" kelimesinden sonra gelir ve bir varsayımı, bir ön koşulu veya bir hipotezi temsil eder. Matematiksel ispatlarda, $p$ genellikle ispatlamak istediğimiz teoremin başlangıç koşulları veya verilen bilgileridir. Bu nedenle, $p$ için en uygun terimlerden biri "Hipotez"dir.

• $q$ (Hüküm / Sonuç):

  Koşullu önermenin ikinci kısmı olan $q$, $p$ koşulu gerçekleştiğinde ortaya çıkacak olan sonucu veya yargıyı ifade eder. Bu kısım genellikle "ise" kelimesinden sonra gelir ve hipotezin (p) doğru kabul edilmesi durumunda ne olacağını belirtir. Matematiksel ispatlarda, $q$ genellikle ispatlamak istediğimiz sonuç veya ulaştığımız yargıdır. Bu nedenle, $q$ için en uygun terimlerden biri "Hüküm" veya "Sonuç"tur.

• Seçeneklerin Değerlendirilmesi:
  • A) Hüküm - Hipotez: Bu seçenek, $p$ ve $q$'nun rollerini tersine çevirir. Yani $p$'ye hüküm, $q$'ya hipotez der ki bu yanlıştır.
  • B) Hipotez - Hüküm: Bu seçenek, $p$'nin "Hipotez" ve $q$'nun "Hüküm" olduğunu doğru bir şekilde ifade eder. Bu, matematiksel mantıkta yaygın olarak kullanılan standart terminolojidir.
  • C) Önerme - Sonuç: $p$ ve $q$ her ikisi de birer önermedir, ancak "önerme" kelimesi $p$'nin bu yapıdaki özel rolünü (koşul olma) tam olarak açıklamaz. "Sonuç" $q$ için uygun olsa da, $p$ için "önerme" yeterince spesifik değildir.
  • D) Aksiyom - Teorem: Aksiyomlar, doğruluğu ispatsız kabul edilen temel önermelerdir. Teoremler ise aksiyomlar ve diğer teoremler kullanılarak ispatlanan önermelerdir. $p \Rightarrow q$ yapısı bir teoremin ifadesi olabilir (örneğin, "Eğer bir üçgen eşkenar ise, iç açıları 60 derecedir"), ancak $p$'nin kendisi bir aksiyom, $q$'nun kendisi bir teorem değildir. Bu terimler, önermelerin türlerini veya statülerini belirtir, $p$ ve $q$'nun koşullu önerme içindeki rollerini değil.

Bu açıklamalara göre, $p$ hipotezi, $q$ ise hükmü temsil eder.

Cevap B seçeneğidir.