Matematiksel ispatta kullanılan "P ise Q" önermesinin olumsuzu (değili) aşağıdakilerden hangisidir?
A) P ∧ ¬QMatematiksel ispatlarda sıkça karşılaştığımız "P ise Q" önermesinin olumsuzunu (değilini) bulmak, mantık konusunda temel bir adımdır. Bu işlemi adım adım inceleyelim:
1. "P ise Q" Önermesinin Anlamı ve Denkliği:
"P ise Q" önermesi, sembolik olarak $P \implies Q$ şeklinde gösterilir. Bu önerme, "Eğer P doğruysa, Q da doğrudur" anlamına gelir. Mantıkta, bu önermenin en önemli denkliklerinden biri, $P \implies Q \equiv \neg P \vee Q$ olmasıdır. Yani, "P ise Q" önermesi, "P'nin değili veya Q" önermesine denktir. Bu denklik, olumsuzunu alırken bize büyük kolaylık sağlar.
2. Denk Önermenin Olumsuzunu Almak:
Şimdi, $P \implies Q$ önermesinin olumsuzunu (değilini) bulmak için, onun denk olduğu $\neg P \vee Q$ önermesinin olumsuzunu almalıyız. Yani, $\neg (P \implies Q)$ ifadesi, $\neg (\neg P \vee Q)$ ifadesine denktir.
3. De Morgan Kurallarını Uygulamak:
Birleşik önermelerin olumsuzunu alırken De Morgan kurallarını kullanırız. De Morgan kuralları şunlardır:
Bizim durumumuzda, $\neg (\neg P \vee Q)$ ifadesine birinci kuralı uygulayacağız. Burada $A = \neg P$ ve $B = Q$ olarak düşünebiliriz:
$\neg (\neg P \vee Q) \equiv \neg (\neg P) \wedge \neg Q$
4. İfadeyi Sadeleştirmek:
Şimdi elde ettiğimiz $\neg (\neg P) \wedge \neg Q$ ifadesini sadeleştirelim. Mantıkta, bir önermenin değilinin değili, önermenin kendisine denktir. Yani, $\neg (\neg P) \equiv P$ dir.
Bu sadeleştirmeyi uyguladığımızda, ifademiz şu hale gelir:
$P \wedge \neg Q$
5. Sonucu Seçeneklerle Karşılaştırmak:
Bulduğumuz sonuç $P \wedge \neg Q$ şeklindedir. Şimdi bu sonucu verilen seçeneklerle karşılaştıralım:
Görüldüğü gibi, bulduğumuz sonuç A seçeneği ile tamamen aynıdır.
Bu adımları takip ederek, "P ise Q" önermesinin olumsuzunun $P \wedge \neg Q$ olduğunu kolayca bulabiliriz. Bu, "P doğru iken Q'nun yanlış olması" durumunu ifade eder.
Cevap A seçeneğidir.
