Önermeleri sembolleştirme nasıl yapılır Test 1

'p değil ve q' önermesinin sembolleştirmesi nedir?

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

Bu soruda, günlük dilde ifade edilen bir mantık önermesini sembolik mantık diline çevirmemiz isteniyor. Adım adım ilerleyelim:

• İfadeyi Parçalara Ayırma:

  'p değil ve q' ifadesini oluşturan temel bileşenleri ve bağlaçları belirleyelim. Bu ifadede iki basit önerme ("p" ve "q") ve iki mantık bağlacı ("değil" ve "ve") bulunmaktadır.

• "p değil" Kısmını Sembolleştirme:

  "p değil" ifadesi, "p" önermesinin olumsuzunu (negasyonunu) ifade eder. Mantıkta olumsuzluk bağlacı $\neg$ (değil) ile gösterilir. Dolayısıyla, "p değil" ifadesi sembolik olarak $\neg p$ şeklinde yazılır.

• "ve" Bağlacını Sembolleştirme:

  "ve" bağlacı, iki önermeyi birleştiren tümel evetleme (konjonksiyon) bağlacıdır. Mantıkta bu bağlaç $\land$ sembolü ile gösterilir.

• Tüm İfadeyi Birleştirme:

  Şimdi elimizdeki parçaları birleştirelim: "p değil" ifadesi $\neg p$ olarak, "ve" bağlacı $\land$ olarak ve "q" önermesi $q$ olarak sembolleştirildi. Bu üç parçayı bir araya getirdiğimizde, 'p değil ve q' önermesinin sembolik karşılığı $\neg p \land q$ olur.

• Seçenekleri Kontrol Etme:

  Bulduğumuz sembolik ifadeyi seçeneklerle karşılaştıralım:

  A seçeneği: $\neg p \land q$

  B seçeneği: $p \lor \neg q$

  C seçeneği: $p \to q$

  D seçeneği: $\neg p \lor q$

  Görüldüğü gibi, bulduğumuz $\neg p \land q$ ifadesi A seçeneğinde yer almaktadır.

Cevap A seçeneğidir.