4. İki Yönlü Koşullu Önerme
4. İki Yönlü Koşullu Önerme ("ancak ve ancak" Bağlacı)
🎯Kazanımlar
Bu bölümü tamamladığında;
- İki yönlü koşullu önerme kavramını ve "ancak ve ancak" ($\Leftrightarrow$) bağlacını tanımlayabilecek,
- İki yönlü koşullu önermenin doğruluk tablosunu hatasız oluşturabilecek,
- $p \iff q \equiv (p \Rightarrow q) \land (q \Rightarrow p)$ temel açılımını uygulayabilecek,
- "ancak ve ancak" ($\Leftrightarrow$) ile "ya da" ($\underline{\lor}$) bağlaşıkları arasındaki olumsuzluk ilişkisini ($(p \iff q)' \equiv p \underline{\lor} q$) kavrayabilecek,
- Bir iki yönlü koşullu önermenin değilini (olumsuzunu) kurallara uygun olarak alabilecek,
- Doğruluk değeri her zaman 1 olan iki yönlü koşullu önermelerin çift gerektirme olduğunu açıklayabileceksin.
📖Konu Anlatımı
1. İki Yönlü Koşullu Önerme Nedir?
$p$ ile $q$ önermelerinin "ancak ve ancak" ($\Leftrightarrow$) bağlacı ile birleştirilmesiyle oluşturulan bileşik önermeye iki yönlü koşullu önerme denir.
$$p \iff q \quad \text{("p ancak ve ancak q" şeklinde okunur)}$$
🔹 Çift Yönlü Mantık Açılımı
İki yönlü koşullu önerme, aslında iki zıt yönlü koşullu önermenin ("ise" bağlacının) "ve" ($\land$) bağlacı ile bağlanmasıdır:
$$p \iff q \equiv (p \Rightarrow q) \land (q \Rightarrow p)$$
2. Doğruluk Kuralı ve Tablosu
🔹 Çalışma Mantığı
$p \iff q$ önermesi, işleme giren önermelerin doğruluk değerleri birebir aynı iken (1-1 veya 0-0) doğru ($1$); doğruluk değerleri farklı iken (1-0 veya 0-1) yanlış ($0$) değerini üretir.
Doğruluk Tablosu
$p$ | $q$ | $p \Rightarrow q$ | $q \Rightarrow p$ | $(p \Rightarrow q) \land (q \Rightarrow p)$ | $p \iff q$ | Açıklama |
1 | 1 | 1 | 1 | 1 | 1 | Aynı değerler (1-1) $\rightarrow$ Doğru |
1 | 0 | 0 | 1 | 0 | 0 | Farklı değerler (1-0) $\rightarrow$ Yanlış |
0 | 1 | 1 | 0 | 0 | 0 | Farklı değerler (0-1) $\rightarrow$ Yanlış |
0 | 0 | 1 | 1 | 1 | 1 | Aynı değerler (0-0) $\rightarrow$ Doğru |
⚡"ya da" ($\underline{\lor}$) İle İlişki: "ancak ve ancak" ($\Leftrightarrow$) bağlacı, "ya da" ($\underline{\lor}$) bağlacının tam olumsuzudur (değilidir):
$$(p \iff q)' \equiv p \underline{\lor} q \quad \text{veya} \quad p \iff q \equiv (p \underline{\lor} q)'$$
3. "ancak ve ancak" ($\Leftrightarrow$) Bağlacının Cebirsel Özellikleri
1. Değişme Özelliği
$$p \iff q \equiv q \iff p$$
2. Yansıma Özelliği (Kendisiyle İşlem)
Bir önerme kendisine daima denktir:
$$p \iff p \equiv 1$$
3. Değili ile İşleme Girme
Bir önerme ile değili asla aynı değere sahip olamayacağından:
$$p \iff p' \equiv 0$$
4. Sabit Değerlerle İşlemler
- 1 ile İşlem: $p \iff 1 \equiv p$ (Önermenin kendi değerini verir).
- 0 ile İşlem: $p \iff 0 \equiv p'$ (Önermenin değilini verir).
- Çift Değil Kuralı: $p \iff q \equiv p' \iff q'$ (Her iki tarafın değili alınırsa denkliği bozmaz).
4. İki Yönlü Koşullu Önermenin Değili (Olumsuzu)
$(p \iff q)'$ bileşik ifadesinin olumsuzu alınırken taraflardan yalnızca birinin değilini almak yeterlidir:
$$(p \iff q)' \equiv p' \iff q \equiv p \iff q'$$
⚠️En Yaygın Tuzak: Her iki tarafın da değilini almak kesinlikle yanlıştır! Çünkü $(p' \iff q') \equiv p \iff q$'dur (orijinal önermenin kendisine eşittir).
5. Çift Gerektirme (Totoloji)
$p \iff q$ iki yönlü koşullu önermesinin doğruluk değeri her durumda 1 (daima doğru) çıkıyorsa, bu önermeye çift gerektirme adı verilir.
- $p \iff q \equiv 1$ ifadesi, $p$ ile $q$ önermelerinin mantıksal olarak eşdeğer (denk) önermeler olduğu anlamına gelir ($p \equiv q$).
✏️Çözümlü Örnekler
Örnek 1 (Cebirsel Sadeleştirme)
Soru: $(p \iff 1) \land (q \iff 0)$ bileşik önermesini en sade biçimine getiriniz.
Çözüm:
- 1. Parantez: $p \iff 1 \equiv p$ (Çünkü $p=1$ ise $1\iff1=1$, $p=0$ ise $0\iff1=0$).
- 2. Parantez: $q \iff 0 \equiv q'$ (Çünkü $q=1$ ise $1\iff0=0$, $q=0$ ise $0\iff0=1$).
- İfade şuna dönüşür: $p \land q'$
- Cevap: $p \land q'$
Örnek 2 (İki Yönlü Açılım İletimi)
Soru: $(p \Rightarrow q) \land (q \Rightarrow p) \land (p \iff q)$ ifadesini sadeleştiriniz.
Çözüm:
- Tanım gereği ilk iki parantezin "ve" ile birleşimi $p \iff q$'dur:
$$(p \Rightarrow q) \land (q \Rightarrow p) \equiv p \iff q$$
- İfade şuna dönüşür: $(p \iff q) \land (p \iff q)$
- Tek kuvvet özelliği ($A \land A \equiv A$) gereği:
$$(p \iff q) \land (p \iff q) \equiv p \iff q$$
- Cevap: $p \iff q$
Örnek 3 (Çift Gerektirme Soru İncelemesi)
Soru: $p \iff (p' \lor q')$ ifadesinin $q \equiv 0$ durumunda bir çift gerektirme olup olmadığını bulunuz.
Çözüm:
- $q \equiv 0$ değerini yerine yazalım:
$$p \iff (p' \lor 0')$$
- $0' \equiv 1$ olduğundan:
$$p \iff (p' \lor 1)$$
- $p' \lor 1 \equiv 1$ (1 yutan elemandır):
$$p \iff 1$$
- $p \iff 1 \equiv p$ olur.
- Sonuç $p$'ye bağlıdır, daima 1 çıkmaz (yani totoloji değildir).
- Cevap: $p$ değerine bağlıdır, her zaman 1 olmadığı için çift gerektirme değildir.
⚠️ Sık Yapılan Hatalar
🔴Değil alırken iki tarafın da değilini almak: $(p \iff q)' \not\equiv p' \iff q'$! Doğrusu sadece bir tarafın değilini almaktır: $p' \iff q$ veya $p \iff q'$.
🔴"veya" açılımı sanmak: $p \iff q \equiv (p \Rightarrow q) \land (q \Rightarrow p)$ kuralında aradaki bağlaç "ve" ($\land$) bağlacıdır, "veya" ($\lor$) değil!
🔴"ya da" ile karıştırmak: $\iff$ aynıyken 1 verir, $\underline{\lor}$ farklıyken 1 verir. Birbirinin tam zıddıdırlar.
Alıştırma Soruları
Bu konuyu ne kadar öğrendiğini test et!