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

'Eğer p ise, q değil' önermesinin sembolleştirmesi hangisidir?

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

Merhaba sevgili öğrenciler,

Bu soruda, verilen bir sözel önermeyi mantık sembolleri kullanarak ifade etmemiz isteniyor. Adım adım ilerleyerek bu tür soruları kolayca çözebiliriz.

• Adım 1: Önermenin Yapısını Anlamak

  Verilen önerme şudur: 'Eğer p ise, q değil'. Bu önerme, iki basit önermeyi birbirine bağlayan bir yapıdır. Mantıkta bu tür 'Eğer ... ise ...' yapılarına koşullu önerme denir.

• Adım 2: 'Eğer ... ise ...' Yapısını Sembolleştirmek

  Mantıkta 'Eğer ... ise ...' ifadesi, ise bağlacı ile gösterilir. Bu bağlacın sembolü '$ \to $' (ok işareti) şeklindedir. Yani, 'Eğer A ise B' önermesi '$ A \to B $' şeklinde sembolleştirilir.

• Adım 3: Basit Önermeleri ve Değillemeyi Sembolleştirmek
  • Koşullu önermemizin ilk kısmı (öncül) 'p'dir. Bu zaten bir sembol olduğu için olduğu gibi kalır: '$ p $'.
  • Koşullu önermemizin ikinci kısmı (ardıl) 'q değil'dir. Mantıkta 'değil' ifadesi değilleme (olumsuzlama) anlamına gelir ve '$ \neg $' (tilde veya değil işareti) sembolü ile gösterilir. Dolayısıyla, 'q değil' ifadesi '$ \neg q $' şeklinde sembolleştirilir.
• Adım 4: Tüm Önermeyi Birleştirmek

  Şimdi tüm parçaları birleştirelim:

  • 'Eğer' kısmı '$ \to $' bağlacını işaret eder.
  • 'p' öncülüdür.
  • 'q değil' ardılıdır.

  Bu durumda, 'Eğer p ise, q değil' önermesi '$ p \to \neg q $' şeklinde sembolleştirilir.

• Adım 5: Seçenekleri Kontrol Etmek

  Bulduğumuz sembolleştirme '$ p \to \neg q $' şeklindedir. Şimdi seçeneklere bakalım:

  • A) $ p \to \neg q $
  • B) $ \neg p \to q $
  • C) $ p \land \neg q $
  • D) $ \neg p \lor q $

  Görüldüğü gibi, bulduğumuz sembolleştirme A seçeneği ile tamamen aynıdır.

Cevap A seçeneğidir.