Sonuç: İfadenin en sade hali \( 0 \) (çelişki) olur. 🎯
5
Çözümlü Örnek
Günlük Hayattan Örnek
Bir akıllı ev sisteminde alarmın çalması için şu mantıksal koşul tanımlanmıştır:
"Gece modu aktifse (\( p \)) VE (Kapı açılırsa (\( q \)) VEYA Hareket sensörü tetiklenirse (\( r \))) alarm çalar."
Sistemde gece modunun aktif olduğu (\( p \equiv 1 \)), kapının kapalı kaldığı (\( q \equiv 0 \)) ancak bir hareketin algılandığı (\( r \equiv 1 \)) bir durumda alarm çalar mı?
Çözüm ve Açıklama
Verilen durumu mantıksal bir formüle dökelim:
\[ p \wedge (q \vee r) \]
Değerleri yerine yazalım:
\( p \equiv 1 \) (Gece modu aktif)
\( q \equiv 0 \) (Kapı kapalı)
\( r \equiv 1 \) (Hareket var)
Hesaplama:
Önce parantez içi: \( q \vee r \equiv 0 \vee 1 \equiv 1 \)
Sonra dış işlem: \( p \wedge 1 \equiv 1 \wedge 1 \equiv 1 \)
Sonuç: Doğruluk değeri \( 1 \) çıktığı için alarm çalar. 🔔
6
Çözümlü Örnek
Orta Seviye
Aşağıdaki açık önermelerin doğruluk değerlerini bulunuz:
a) \( p(x): \forall x \in \mathbb{Z}, x^2 > 0 \)
b) \( q(x): \exists x \in \mathbb{N}, x + 3 = 2 \)
Çözüm ve Açıklama
Niceleyicileri inceleyelim:
a) "Her tam sayının karesi sıfırdan büyüktür."
Ancak \( x = 0 \) bir tam sayıdır ve \( 0^2 = 0 \)'dır. \( 0 > 0 \) ifadesi yanlıştır.
Bu yüzden \( p(x) \equiv 0 \) olur. ❌
b) "Bazı doğal sayılar için \( x + 3 = 2 \)'dir."
Denklemi çözersek \( x = -1 \) bulunur. Ancak \( -1 \) bir doğal sayı değildir (\( -1 \notin \mathbb{N} \)).
Bu yüzden \( q(x) \equiv 0 \) olur. ❌
7
Çözümlü Örnek
Yeni Nesil Soru
Bir okulda Ali, Berk ve Can isimli üç öğrencinin sınav sonuçlarıyla ilgili şu bilgiler veriliyor:
\( p \): Ali sınavı geçti.
\( q \): Berk sınavı geçti.
\( r \): Can sınavı geçti.
\( (p \Rightarrow q) \wedge r' \) önermesinin doğru olduğu bilindiğine göre, kimlerin sınavı geçtiğini bulunuz.
Çözüm ve Açıklama
\( (p \Rightarrow q) \wedge r' \equiv 1 \) ise "ve" (\( \wedge \)) bağlacı gereği her iki taraf da \( 1 \) olmalıdır:
1. Durum: \( r' \equiv 1 \) olmalıdır. Bu durumda \( r \equiv 0 \)'dır. Yani Can sınavı geçememiştir. ❌
2. Durum: \( p \Rightarrow q \equiv 1 \) olmalıdır.
Bu durumun sağlanması için \( (p,q) \) ikilisi \( (1,1), (0,1) \) veya \( (0,0) \) olabilir.
Ancak soruda "kesinlikle" geçmiştir diyebileceğimiz tek kişi hakkında net bilgi yoktur, sadece Can'ın kaldığı kesindir.
Eğer soru "Ali geçtiyse Berk de geçmiştir" diyorsa, bu \( p \Rightarrow q \) ifadesini doğrular.
Özetle: Can kesinlikle kalmıştır, Ali ve Berk'in durumu birbirine bağlıdır. 📝
8
Çözümlü Örnek
Zor Seviye
Aşağıdaki bileşik önermenin bir totoloji (daima doğru) olduğunu gösteriniz:
\[ [p \wedge (p \Rightarrow q)] \Rightarrow q \]
Çözüm ve Açıklama
İfadeyi sadeleştirerek ilerleyelim:
1. Adım: İse bağlacını veya bağlacına çevirelim: \( p \Rightarrow q \equiv p' \vee q \)
Sonuç: İfadenin en sade hali \( 0 \) (çelişki) olur. 🎯
Örnek 5:
Bir akıllı ev sisteminde alarmın çalması için şu mantıksal koşul tanımlanmıştır:
"Gece modu aktifse (\( p \)) VE (Kapı açılırsa (\( q \)) VEYA Hareket sensörü tetiklenirse (\( r \))) alarm çalar."
Sistemde gece modunun aktif olduğu (\( p \equiv 1 \)), kapının kapalı kaldığı (\( q \equiv 0 \)) ancak bir hareketin algılandığı (\( r \equiv 1 \)) bir durumda alarm çalar mı?
Çözüm:
Verilen durumu mantıksal bir formüle dökelim:
\[ p \wedge (q \vee r) \]
Değerleri yerine yazalım:
\( p \equiv 1 \) (Gece modu aktif)
\( q \equiv 0 \) (Kapı kapalı)
\( r \equiv 1 \) (Hareket var)
Hesaplama:
Önce parantez içi: \( q \vee r \equiv 0 \vee 1 \equiv 1 \)
Sonra dış işlem: \( p \wedge 1 \equiv 1 \wedge 1 \equiv 1 \)
Sonuç: Doğruluk değeri \( 1 \) çıktığı için alarm çalar. 🔔
Örnek 6:
Aşağıdaki açık önermelerin doğruluk değerlerini bulunuz:
a) \( p(x): \forall x \in \mathbb{Z}, x^2 > 0 \)
b) \( q(x): \exists x \in \mathbb{N}, x + 3 = 2 \)
Çözüm:
Niceleyicileri inceleyelim:
a) "Her tam sayının karesi sıfırdan büyüktür."
Ancak \( x = 0 \) bir tam sayıdır ve \( 0^2 = 0 \)'dır. \( 0 > 0 \) ifadesi yanlıştır.
Bu yüzden \( p(x) \equiv 0 \) olur. ❌
b) "Bazı doğal sayılar için \( x + 3 = 2 \)'dir."
Denklemi çözersek \( x = -1 \) bulunur. Ancak \( -1 \) bir doğal sayı değildir (\( -1 \notin \mathbb{N} \)).
Bu yüzden \( q(x) \equiv 0 \) olur. ❌
Örnek 7:
Bir okulda Ali, Berk ve Can isimli üç öğrencinin sınav sonuçlarıyla ilgili şu bilgiler veriliyor:
\( p \): Ali sınavı geçti.
\( q \): Berk sınavı geçti.
\( r \): Can sınavı geçti.
\( (p \Rightarrow q) \wedge r' \) önermesinin doğru olduğu bilindiğine göre, kimlerin sınavı geçtiğini bulunuz.
Çözüm:
\( (p \Rightarrow q) \wedge r' \equiv 1 \) ise "ve" (\( \wedge \)) bağlacı gereği her iki taraf da \( 1 \) olmalıdır:
1. Durum: \( r' \equiv 1 \) olmalıdır. Bu durumda \( r \equiv 0 \)'dır. Yani Can sınavı geçememiştir. ❌
2. Durum: \( p \Rightarrow q \equiv 1 \) olmalıdır.
Bu durumun sağlanması için \( (p,q) \) ikilisi \( (1,1), (0,1) \) veya \( (0,0) \) olabilir.
Ancak soruda "kesinlikle" geçmiştir diyebileceğimiz tek kişi hakkında net bilgi yoktur, sadece Can'ın kaldığı kesindir.
Eğer soru "Ali geçtiyse Berk de geçmiştir" diyorsa, bu \( p \Rightarrow q \) ifadesini doğrular.
Özetle: Can kesinlikle kalmıştır, Ali ve Berk'in durumu birbirine bağlıdır. 📝
Örnek 8:
Aşağıdaki bileşik önermenin bir totoloji (daima doğru) olduğunu gösteriniz:
\[ [p \wedge (p \Rightarrow q)] \Rightarrow q \]
Çözüm:
İfadeyi sadeleştirerek ilerleyelim:
1. Adım: İse bağlacını veya bağlacına çevirelim: \( p \Rightarrow q \equiv p' \vee q \)