9. Sınıf Mantık Bağlaçları ve Niceleyicilerin Matematiksel İspat ve Algoritmalardaki İşlevleri Nedir? Test 2

7. Aşağıdaki mantık bağlaçlarından hangisi "P ise Q" önermesinin mantıksal eşdeğeri DEĞİLDİR?

A) ¬P ∨ Q
B) ¬Q → ¬P
C) P ∧ ¬Q
D) ¬(P ∧ ¬Q)

Merhaba sevgili öğrenciler! Bu soruda, "P ise Q" ($P \implies Q$) önermesinin mantıksal eşdeğeri olmayan seçeneği bulmamız isteniyor. Mantıkta, bir önermenin eşdeğerini bulmak için doğruluk tablolarını kullanabilir veya bilinen mantık kurallarından faydalanabiliriz. Gelin, adım adım her seçeneği inceleyelim.

• Adım 1: "$P \implies Q$" önermesini anlayalım.

  "P ise Q" ($P \implies Q$) önermesi, sadece $P$ doğru ve $Q$ yanlış olduğunda yanlış olan bir önermedir. Diğer tüm durumlarda doğrudur. Bu önermenin en temel ve sık kullanılan mantıksal eşdeğeri $\neg P \lor Q$ (P değil veya Q) şeklindedir. Bu temel bilgiyi aklımızda tutarak seçenekleri inceleyelim.

• Adım 2: A seçeneğini inceleyelim: $\neg P \lor Q$.

  Bu ifade, $P \implies Q$ önermesinin tanımından gelen doğrudan eşdeğeridir. Mantıkta bu, temel bir eşdeğerlik kuralıdır. Dolayısıyla, $P \implies Q \equiv \neg P \lor Q$ olduğu için A seçeneği, $P \implies Q$ ile mantıksal olarak eşdeğerdir.

• Adım 3: B seçeneğini inceleyelim: $\neg Q \implies \neg P$.

  Bu önerme, $P \implies Q$ önermesinin karşıt tersidir (kontrapozitif). Mantıkta, bir önerme ile onun karşıt tersi her zaman mantıksal olarak eşdeğerdir. Bunu ispatlamak için, B seçeneğini temel eşdeğerlik olan $\neg A \lor B$ formuna dönüştürelim:

  • $\neg Q \implies \neg P$ ifadesinde $A = \neg Q$ ve $B = \neg P$ olarak düşünebiliriz.
  • Bu durumda, $\neg(\neg Q) \lor \neg P$ elde ederiz.
  • $\neg(\neg Q)$ ifadesi $Q$ demektir.
  • O halde, $Q \lor \neg P$ elde ederiz.
  • Veya ($\lor$) bağlacının değişme özelliği olduğundan, $Q \lor \neg P$ ifadesi $\neg P \lor Q$ ile aynıdır.

  Gördüğümüz gibi, $\neg P \lor Q$ ifadesi $P \implies Q$ ile eşdeğerdir. Dolayısıyla, B seçeneği de $P \implies Q$ ile mantıksal olarak eşdeğerdir.

• Adım 4: C seçeneğini inceleyelim: $P \land \neg Q$.

  Bu önermenin $P \implies Q$ ile eşdeğer olup olmadığını kontrol edelim:

  • $P \implies Q$ önermesi sadece $P$ doğru ve $Q$ yanlış olduğunda yanlıştır.
  • $P \land \neg Q$ önermesi ise sadece $P$ doğru ve $\neg Q$ doğru (yani $Q$ yanlış) olduğunda doğrudur.

  Dikkat ederseniz, $P \implies Q$ önermesinin yanlış olduğu durum ile $P \land \neg Q$ önermesinin doğru olduğu durum tamamen aynıdır. Bu da demektir ki, $P \land \neg Q$ önermesi aslında $P \implies Q$ önermesinin değilidir (olumsuzu). Yani, $P \land \neg Q \equiv \neg(P \implies Q)$'dir.

  Dolayısıyla, C seçeneği $P \implies Q$ ile mantıksal olarak eşdeğer değildir.

• Adım 5: D seçeneğini inceleyelim: $\neg(P \land \neg Q)$.

  C seçeneğinde, $P \land \neg Q$ ifadesinin $\neg(P \implies Q)$ ile eşdeğer olduğunu bulmuştuk. Şimdi bu bilgiyi D seçeneğine uygulayalım:

  • $\neg(P \land \neg Q) \equiv \neg(\neg(P \implies Q))$
  • Mantıkta, bir önermenin iki kez değilini almak, önermeyi kendisine döndürür (çift olumsuzlama kuralı).
  • Yani, $\neg(\neg(P \implies Q)) \equiv P \implies Q$'dir.

  Dolayısıyla, D seçeneği de $P \implies Q$ ile mantıksal olarak eşdeğerdir.

Yaptığımız incelemeler sonucunda, sadece C seçeneğindeki "$P \land \neg Q$" önermesinin "$P \implies Q$" önermesinin mantıksal eşdeğeri olmadığını, aksine onun değili olduğunu gördük.

Cevap C seçeneğidir.