Önerme eklemleri nelerdir Test 1

2. "Yağmur yağıyor ise yerler ıslaktır." önermesinin sembolik mantıktaki karşılığı aşağıdakilerden hangisidir?

A) p ∧ q
B) p ∨ q
C) p → q
D) p ↔ q

Sevgili öğrenciler, bu soruyu çözmek için öncelikle verilen önermeyi temel parçalarına ayırmamız ve bu parçalar arasındaki ilişkiyi belirlememiz gerekiyor. Sembolik mantık, günlük dildeki ifadeleri daha net ve kesin bir şekilde temsil etmemizi sağlar.

• Adım 1: Basit Önermeleri Belirleme

  Verilen "Yağmur yağıyor ise yerler ıslaktır." önermesi iki temel basit önermeden oluşmaktadır:

  Birinci önerme: "Yağmur yağıyor."

  İkinci önerme: "Yerler ıslaktır."

  Bu basit önermeleri sembolik mantıkta genellikle $p$, $q$, $r$ gibi harflerle gösteririz. Bu durumda:

  $p$: "Yağmur yağıyor."

  $q$: "Yerler ıslaktır."

• Adım 2: Bağlacı (Mantıksal Operatörü) Tanımlama

  İki basit önermeyi birbirine bağlayan kelimeye dikkat edelim: "ise". Türkçede "eğer ... ise ..." veya sadece "... ise ..." kalıbı, sembolik mantıkta koşullu önerme (implication) olarak adlandırılır.

  Koşullu önerme, bir durumun (öncül) gerçekleşmesinin başka bir durumu (sonuç) gerektirdiğini ifade eder. Yani, ilk durum doğruysa, ikinci durum da doğru olmak zorundadır.

• Adım 3: Sembolik Karşılığı Belirleme

  Sembolik mantıkta "ise" bağlacı "$\rightarrow$" sembolü ile gösterilir. Bu sembol, "eğer $p$ ise $q$" veya "$p$ gerektirir $q$" anlamına gelir.

  Dolayısıyla, "$p$: Yağmur yağıyor" ve "$q$: Yerler ıslaktır" önermelerini "ise" bağlacı ile birleştirdiğimizde, sembolik karşılığı "$p \rightarrow q$" olur.

• Adım 4: Seçenekleri İnceleme

  Şimdi verilen seçeneklere bakalım:

  A) $p \land q$: Bu, "p ve q" anlamına gelir (konjonksiyon). Örneğin, "Yağmur yağıyor ve yerler ıslaktır."

  B) $p \lor q$: Bu, "p veya q" anlamına gelir (disjonksiyon). Örneğin, "Yağmur yağıyor veya yerler ıslaktır."

  C) $p \rightarrow q$: Bu, "eğer p ise q" anlamına gelir (koşullu önerme). Örneğin, "Eğer yağmur yağıyor ise yerler ıslaktır." Bu, bizim aradığımız ifadedir.

  D) $p \leftrightarrow q$: Bu, "p ancak ve ancak q" anlamına gelir (iki yönlü koşullu önerme veya denklik). Örneğin, "Yağmur yağıyor ancak ve ancak yerler ıslaktır."

  Görüldüğü gibi, "Yağmur yağıyor ise yerler ıslaktır." önermesinin sembolik mantıktaki karşılığı $p \rightarrow q$'dir.

Cevap C seçeneğidir.