Mantık (Matematik) Test 1

???? Mantık (Matematik) Test 1 - Ders Notu

Sevgili öğrenciler, bu ders notu "Mantık (Matematik) Test 1" sınavında karşılaşacağınız temel konuları sade ve anlaşılır bir dille özetlemektedir. Önermeler, doğruluk değerleri, temel mantık bağlaçları ve doğruluk tabloları gibi konulara odaklanacağız.

???? Önermeler ve Doğruluk Değerleri

Mantığın temel yapı taşı olan önermeyi doğru anlamak çok önemlidir. Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir.

• ???? Bir önerme, aynı anda hem doğru hem de yanlış olamaz.
• ???? Bir ifadenin önerme olabilmesi için yargı bildirmesi ve bu yargının doğruluğu veya yanlışlığının net olması gerekir.
• ???? İpucu: Soru cümleleri, emir cümleleri, dilek cümleleri veya göreceli ifadeler ("Bu yemek lezzetlidir.") önerme DEĞİLDİR. Çünkü kesin bir doğru veya yanlış değeri yoktur.
• Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
• Örnek: "2 + 3 = 7" (Yanlış bir önerme)
• Örnek: "Hava güzel mi?" (Önerme değil)
• Doğruluk değeri "Doğru" ise $1$ (veya D), "Yanlış" ise $0$ (veya Y) ile gösterilir.

???? Önermenin Değili (Olumsuzu)

Bir önermenin hükmünü değiştiren, onu tersine çeviren ifadeye önermenin değili (olumsuzu) denir. Bir $p$ önermesinin değili $\sim p$ şeklinde gösterilir.

• ???? Bir önerme doğruysa, değili yanlıştır. Yanlışsa, değili doğrudur. Yani, $p \equiv 1$ ise $\sim p \equiv 0$; $p \equiv 0$ ise $\sim p \equiv 1$.
• Örnek: $p$: "Bugün hava güneşlidir." $\implies \sim p$: "Bugün hava güneşli DEĞİLDİR."
• Örnek: $q$: "$5 > 3$" $\implies \sim q$: "$5 \ngtr 3$" veya "$5 \le 3$".
• ⚠️ Dikkat: Bir önermenin değilinin değili, o önermenin kendisine denktir. Yani $\sim(\sim p) \equiv p$.

???? Bileşik Önermeler ve Temel Bağlaçlar

İki veya daha fazla önermenin mantık bağlaçları ile birleştirilmesiyle oluşan yeni önermelere bileşik önerme denir. Temel mantık bağlaçlarını ve özelliklerini iyi bilmek sınav için kritik öneme sahiptir.

???? Ve Bağlacı ($\land$)

• ???? "$p$ ve $q$" şeklinde okunan bu bağlaç, her iki önerme de doğru olduğunda doğru, diğer tüm durumlarda yanlıştır.
• Günlük hayattan örnek: "Hem cüzdanımı hem de anahtarımı aldım." (İkisi de alındıysa doğru, biri eksikse yanlış.)
• Doğruluk tablosu özeti: $1 \land 1 \equiv 1$, diğerleri $0$.

???? Veya Bağlacı ($\lor$)

• ???? "$p$ veya $q$" şeklinde okunan bu bağlaç, önermelerden en az biri doğru olduğunda doğru, ikisi de yanlış olduğunda yanlıştır.
• Günlük hayattan örnek: "Çay veya kahve içer misin?" (İkisinden biri veya ikisi de içilirse kabul, ikisi de içilmezse ret.)
• Doğruluk tablosu özeti: $0 \lor 0 \equiv 0$, diğerleri $1$.

???? Ya da Bağlacı ($\underline{\lor}$)

• ???? "$p$ ya da $q$" şeklinde okunan bu bağlaç, önermelerden SADECE BİRİ doğru olduğunda doğru, diğer tüm durumlarda (yani ikisi de doğru veya ikisi de yanlışsa) yanlıştır.
• Günlük hayattan örnek: "Ya sinemaya ya da tiyatroya gideriz." (İkisinden birine gidilirse doğru, ikisine birden veya hiçbirine gidilmezse yanlış.)
• Doğruluk tablosu özeti: $1 \underline{\lor} 1 \equiv 0$, $0 \underline{\lor} 0 \equiv 0$, $1 \underline{\lor} 0 \equiv 1$, $0 \underline{\lor} 1 \equiv 1$.

???? İse Bağlacı ($\implies$)

• ???? "$p$ ise $q$" şeklinde okunan bu bağlaç, bir koşul belirtir. Sadece ilk önerme doğru, ikinci önerme yanlışken yanlış; diğer tüm durumlarda doğrudur.
• Günlük hayattan örnek: "Yağmur yağarsa şemsiye alırım." (Yağmur yağdı ve şemsiye almadın: YANLIŞ. Diğer tüm durumlar DOĞRU kabul edilir.)
• Doğruluk tablosu özeti: $1 \implies 0 \equiv 0$, diğerleri $1$.
• ⚠️ Dikkat: Bu bağlacın tek yanlış olduğu durumu "100 kuralı" olarak aklınızda tutabilirsiniz: $1 \implies 0 \equiv 0$.

???? Ancak ve Ancak Bağlacı ($\iff$)

• ???? "$p$ ancak ve ancak $q$" şeklinde okunan bu bağlaç, iki önermenin doğruluk değerleri aynı olduğunda doğru, farklı olduğunda yanlıştır.
• Günlük hayattan örnek: "Sınavı kazanırsam ancak ve ancak tatile giderim." (İkisi de olursa veya ikisi de olmazsa doğru, biri olup diğeri olmazsa yanlış.)
• Doğruluk tablosu özeti: $1 \iff 1 \equiv 1$, $0 \iff 0 \equiv 1$, $1 \iff 0 \equiv 0$, $0 \iff 1 \equiv 0$.

???? Doğruluk Tabloları

Bileşik önermelerin doğruluk değerlerini sistematik bir şekilde gösteren tablolara doğruluk tablosu denir. Karmaşık görünen ifadelerin doğruluk değerlerini belirlemek için çok kullanışlıdır.

• ???? $n$ tane farklı önerme içeren bir bileşik önermenin doğruluk tablosunda $2^n$ adet satır bulunur. (Örn: 2 önerme için $2^2=4$ satır, 3 önerme için $2^3=8$ satır.)
• ???? Tablo oluştururken, önce temel önermelerin ($p, q, r, ...$) tüm olası doğruluk değerlerini yazın.
• ???? Ardından, parantez içindeki ifadelerin ve değillerin doğruluk değerlerini adım adım hesaplayarak ilerleyin.
• ???? İpucu: Büyük ve karmaşık ifadelerde, her bir ara işlemin sütununu oluşturarak hata yapma riskinizi azaltabilirsiniz.

???? Denk Önermeler, Totoloji ve Çelişki

Mantıkta bazı özel durumlar vardır ve bunları bilmek, ifadeleri basitleştirmek için önemlidir.

• ???? **Denk Önermeler:** İki bileşik önermenin doğruluk değerleri tablosu tamamen aynı ise bu önermelere denk önermeler denir ve $P \equiv Q$ şeklinde gösterilir.
• ???? **Totoloji:** Bir bileşik önerme, önermelerin tüm olası doğruluk değerleri için daima doğru ($1$) sonuç veriyorsa, bu önermeye totoloji denir.
• ???? **Çelişki:** Bir bileşik önerme, önermelerin tüm olası doğruluk değerleri için daima yanlış ($0$) sonuç veriyorsa, bu önermeye çelişki denir.
• ⚠️ Dikkat: Bir önermenin totoloji mi yoksa çelişki mi olduğunu anlamak için doğruluk tablosunu oluşturmak en kesin yöntemdir.

???? Temel Mantık Kuralları ve Özdeşlikler

Bileşik önermeleri basitleştirmek ve denkliklerini bulmak için kullanılan bazı önemli kurallar ve özdeşlikler vardır.

• ???? **De Morgan Kuralları:**
  • $\sim (p \land q) \equiv \sim p \lor \sim q$
  • $\sim (p \lor q) \equiv \sim p \land \sim q$
• ???? **Dağılma Özelliği:**
  • $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$
  • $p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)$
• ???? **Tek Kuvvet Özelliği:** $p \land p \equiv p$ ve $p \lor p \equiv p$
• ???? **Birleşme Özelliği:** $(p \land q) \land r \equiv p \land (q \land r)$ ve $(p \lor q) \lor r \equiv p \lor (q \lor r)$
• ???? **Değişme Özelliği:** $p \land q \equiv q \land p$ ve $p \lor q \equiv q \lor p$
• ???? **Etkisiz Eleman Özelliği:** $p \land 1 \equiv p$ ve $p \lor 0 \equiv p$
• ???? **Yutan Eleman Özelliği:** $p \land 0 \equiv 0$ ve $p \lor 1 \equiv 1$
• ???? **Ters Eleman Özelliği:** $p \land \sim p \equiv 0$ ve $p \lor \sim p \equiv 1$
• ???? İpucu: Bu kuralları ezberlemek yerine, anlamaya çalışın ve basit örneklerle zihninizde canlandırın. Örneğin, "Ben ve ben" yine "ben"dir ($p \land p \equiv p$).