Gerektirme nedir Test 1

Bir matematik sorusunda "Eğer bir sayı 4'e bölünüyorsa, o sayı çifttir" ifadesi verilmiştir. Bu ifade hangi tür önermedir?

A) p ∧ q
B) p ∨ q
C) p ⇒ q
D) p ⇔ q

Merhaba sevgili öğrenciler!

Bu soruda, verilen bir matematiksel ifadenin mantıkta hangi tür önermeye karşılık geldiğini bulmamız isteniyor. Adım adım inceleyelim:

• 1. İfadeyi Anlayalım:

  Verilen ifade şudur: "Eğer bir sayı 4'e bölünüyorsa, o sayı çifttir". Bu ifadeyi dikkatlice okuduğumuzda, bir koşul ve bu koşulun sonucunu görüyoruz. Yani, bir şeyin doğru olması durumunda başka bir şeyin de doğru olacağını belirtiyor.

• 2. Önermeleri Tanımlayalım:

  Mantıkta, bir ifadenin doğru ya da yanlış kesin bir değer alabilen kısmına önerme denir. Bu ifadede iki temel önerme bulunmaktadır:

  • Birinci önerme ($p$): "Bir sayı 4'e bölünüyorsa"
  • İkinci önerme ($q$): "o sayı çifttir"

  Burada iç içe liste kullanmamak adına, yukarıdaki maddeyi sadece bir açıklama olarak düşünebiliriz.

• 3. Bağlacı Belirleyelim:

  İfadeyi birleştiren anahtar kelimeler "Eğer ... ise ..." kalıbıdır. Bu kalıp, mantıkta bir koşulun bir sonucu tetiklediğini gösterir. Bu tür bir ilişki, koşullu önerme veya gerektirme olarak adlandırılır.

• 4. Mantık Sembolleriyle Eşleştirelim:

  Şimdi seçeneklerdeki mantık sembollerine bakalım:

  • A) $p \land q$: Bu, "$p$ ve $q$" anlamına gelir. Yani, her iki önermenin de aynı anda doğru olduğunu ifade eder. (Örnek: "Bir sayı 4'e bölünür VE o sayı çifttir.") Bu bizim ifademizle uyuşmuyor.
  • B) $p \lor q$: Bu, "$p$ veya $q$" anlamına gelir. Yani, en az bir önermenin doğru olduğunu ifade eder. (Örnek: "Bir sayı 4'e bölünür VEYA o sayı çifttir.") Bu da bizim ifademizle uyuşmuyor.
  • C) $p \Rightarrow q$: Bu, "Eğer $p$ ise $q$" veya "$p$ gerektirir $q$" anlamına gelir. Bu tam olarak bizim ifademizin yapısını yansıtır: "Eğer bir sayı 4'e bölünüyorsa ($p$), o sayı çifttir ($q$)." Bu ifade, $p$ doğru olduğunda $q$'nun da doğru olacağını belirtir.
  • D) $p \Leftrightarrow q$: Bu, "$p$ ancak ve ancak $q$" anlamına gelir. Yani, $p$ ve $q$ önermelerinin birbirine denk olduğunu, birinin doğru olmasının diğerinin de doğru olmasını gerektirdiğini ve birinin yanlış olmasının diğerinin de yanlış olmasını gerektirdiğini ifade eder. (Örnek: "Bir sayı 4'e bölünür ANCAK VE ANCAK o sayı çifttir.") Bu ifade, bizim sorumuzdaki "Eğer ... ise ..." kalıbından farklıdır.
• 5. Sonuca Ulaşalım:

  Gördüğümüz gibi, "Eğer ... ise ..." yapısı, mantıkta gerektirme veya koşullu önerme olarak adlandırılır ve sembolü $p \Rightarrow q$'dur.

Cevap C seçeneğidir.