Mantığa giriş 12. sınıf Test 1

"Eğer hava güneşli ise, denize gideriz" önermesinin sembolik mantıktaki karşılığı nedir?

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

Bu soruda, günlük dildeki bir ifadeyi sembolik mantık diline çevirmemiz isteniyor. Mantıkta, cümleleri ve aralarındaki ilişkileri sembollerle ifade ederek daha net ve kesin bir yapı oluştururuz. Şimdi adım adım bu önermeyi inceleyelim:

• Adım 1: Basit Önermeleri Belirleme. Verilen cümleyi iki temel basit önermeye ayıralım:

  p: "Hava güneşli"

  q: "Denize gideriz"

• Adım 2: Bağlacı Tanımlama. Şimdi bu iki önerme arasındaki ilişkiyi belirleyen bağlacı bulalım. Cümlede "Eğer hava güneşli ise, denize gideriz" ifadesi geçmektedir. "Eğer ... ise ..." kalıbı, mantıkta bir koşul belirtir. Yani, birinci durum (hava güneşli olması) gerçekleşirse, ikinci durum (denize gitme) da gerçekleşir. Mantıkta bu tür bir koşullu ilişkiyi ifade etmek için koşullu önerme (implication) bağlacını kullanırız. Bu bağlacın sembolü "$\to$" şeklindedir ve "p ise q" veya "eğer p ise q" olarak okunur.
• Adım 3: Seçenekleri İnceleme. Şimdi seçenekleri inceleyelim ve neden diğerlerinin doğru olmadığını açıklayalım:

  A) $p \land q$: Bu, "p ve q" anlamına gelir (tümel evetleme veya bağlaç). Yani, hem hava güneşli olmalı hem de denize gitmeliyiz. Bu, sorudaki "eğer...ise..." ilişkisini yansıtmaz.

  B) $p \lor q$: Bu, "p veya q" anlamına gelir (tikel evetleme veya ayrık önerme). Yani, ya hava güneşli olmalı ya da denize gitmeliyiz (veya her ikisi). Bu da koşullu ilişkiyi ifade etmez.

  C) $p \to q$: Bu, "Eğer p ise q" anlamına gelir (koşullu önerme). Tam olarak sorudaki "Eğer hava güneşli ise, denize gideriz" ifadesini karşılar. Yani, hava güneşli olması denize gitmemizin bir koşuludur.

  D) $p \leftrightarrow q$: Bu, "p ancak ve ancak q" anlamına gelir (iki yönlü koşullu önerme). Bu, p'nin doğru olmasının q'nun doğru olması için hem gerekli hem de yeterli bir koşul olduğu anlamına gelir. Yani, hava güneşli olması ile denize gitmemiz arasında karşılıklı bir zorunluluk ilişkisi vardır. Sorudaki ifade tek yönlü bir koşulu belirtir.

• Adım 4: Doğru Seçeneği Belirleme. Yukarıdaki incelemeler sonucunda, "Eğer hava güneşli ise, denize gideriz" önermesi en doğru şekilde $p \to q$ sembolü ile ifade edilir.

Cevap C seçeneğidir.