Mantığın konusu nedir Test 1

"p → q" önermesinin olumsuzu (değili) aşağıdakilerden hangisidir?

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

Mantıkta önermelerin olumsuzunu (değilini) bulmak, özellikle "ise" ($ \rightarrow $) bağlacı içeren önermelerde dikkatli olmayı gerektirir. Şimdi adım adım "$p \rightarrow q$" önermesinin olumsuzunu nasıl bulacağımızı inceleyelim.

• 1. Adım: "İse" ($ \rightarrow $) Bağlacının Eşdeğerini Bulmak

  "$p \rightarrow q$" önermesi, "p ise q" anlamına gelir. Bu önermenin olumsuzunu doğrudan almak yerine, öncelikle onun mantıksal olarak eşdeğeri olan bir "veya" ($ \lor $) önermesine dönüştürmek işimizi kolaylaştırır. Mantıkta, bir "ise" önermesinin eşdeğeri şu şekilde ifade edilir:

  $p \rightarrow q \equiv \neg p \lor q$

  Yani, "$p \rightarrow q$" önermesi, "p'nin değili veya q" önermesine denktir. Bu, soruyu çözmek için ilk ve en önemli adımdır. Artık "$p \rightarrow q$" önermesinin olumsuzunu bulmak yerine, onun eşdeğeri olan "$\neg p \lor q$" önermesinin olumsuzunu bulacağız.

• 2. Adım: Eşdeğer Önermenin Olumsuzunu (Değilini) Almak

  Şimdi amacımız, "$\neg p \lor q$" önermesinin olumsuzunu bulmak. Bunu matematiksel olarak şöyle ifade ederiz:

  $\neg (\neg p \lor q)$

• 3. Adım: De Morgan Kurallarını Uygulamak

  Bir "veya" ($ \lor $) önermesinin değilini alırken De Morgan kurallarını kullanırız. De Morgan kurallarından biri bize şunu söyler: "Bir veya önermesinin değili, bileşenlerin değillerinin ve'si şeklinde yazılır." Yani, $ \neg (A \lor B) \equiv \neg A \land \neg B $.

  Bizim durumumuzda, $A = \neg p$ ve $B = q$. Bu kuralı uygulayalım:

  $ \neg (\neg p \lor q) \equiv \neg (\neg p) \land \neg q $

• 4. Adım: Çift Değili Sadeleştirmek

  Mantıkta, bir önermenin değilinin değili, o önermenin kendisine eşittir. Yani:

  $\neg (\neg p) \equiv p$

  Bu bilgiyi önceki adımda bulduğumuz ifadeye uygulayalım:

  $ \neg (\neg p) \land \neg q \equiv p \land \neg q $

• 5. Adım: Sonucu Değerlendirmek

  Böylece, "$p \rightarrow q$" önermesinin olumsuzunun "$p \land \neg q$" olduğunu bulmuş olduk.

Şimdi seçeneklere bakalım:

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

Bulduğumuz sonuç olan "$p \land \neg q$", A seçeneğinde yer almaktadır.

Cevap A seçeneğidir.