Niceleyiciler
Konu tekrarı için: Bileşik Önerme | Açık Önerme
"Ve", "veya", "ise" gibi bağlaçlar kullanılarak oluşturulan bileşik önermeler, önermelerin sayısı arttıkça oldukça uzun ifadelere dönüşebilmektedir. Örnek olarak, "bir sınıftaki her öğrencinin bir üniversiteye yerleştiğini" ifade eden bir önermeyi sembolik formda yazmak istediğimizi düşünelim.
\( A = \{\text{Ali}, \text{Ezo}, \ldots, \text{Tan}\} \)
\( s(A) = 30 \)
\( P(x): x \text{ bir üniversiteye yerleşti.} \)
\( \underbrace{P(\text{Ali}) \land P(\text{Ezo}) \land \ldots \land P(\text{Tan})}_\text{30 önerme} \)
Bir bileşik önermenin sonsuz sayıda önerme içerdiği durumlar da olabilir. Örnek olarak, "karesi kendisine eşit olan en az bir doğal sayı bulunduğunu" ifade eden bir önermeyi sembolik formda yazmak istediğimizi düşünelim.
\( Q(x): x = x^2 \)
\( Q(0) \lor Q(1) \lor Q(2) \lor Q(3) \lor \ldots \)
Niceleyeciler, bu tarz sonlu ya da sonsuz sayıda elemandan oluşan kümelerin her bir elemanı için ayrı bir önerme içeren bileşik önermeleri kısa ve pratik bir gösterim kullanarak oluşturmamıza imkan sağlar.
En sık kullanılan iki niceleyici, aşağıda detaylı inceleyeceğimiz "her" ve "bazı" niceleyicileridir.
Her Niceleyicisi (\( \forall \))
"Her" niceleyicisi, bir kümenin "her bir elemanı/tüm elemanları için" belirli bir önermenin doğru olduğunu göstermek için kullanılır ve "\( \forall \)" sembolü ile gösterilir (ters "A" harfi). Bu niceleyiciye evrensel niceleyici de denir.
\( \forall x \in A, P(x) \)
önermesi, \( A \) kümesinin elemanı olan her \( x \) değeri için \( P(x) \) açık önermesinin doğru olduğunu ifade eder.
Her reel sayının ters işaretlisi ile toplamı 0'dır.
\( \forall x \in \mathbb{R}, x + (-x) = 0 \)
\( A \) tüm kuşların kümesi olmak üzere,
Her kuşun kanatları vardır.
\( \forall a \in A, a \text{'nın kanatları vardır.} \)
Her tam sayı tek veya çifttir.
\( \forall x \in \mathbb{Z}, (a \text{ tektir} \lor a \text{ çifttir.}) \)
Bir niceleyicinin değişkeninin alabileceği tüm değerleri belirleyen kümeye niceleyicinin çalışma evreni, bu kümenin her elemanı için doğru olduğu ifade edilen açık önermeye niceleyicinin yüklemi denir.
Bir "her" niceleyicisi; yüklemi çalışma evrenindeki tüm elemanlar için doğru olduğunda doğru olur, elemanlardan en az biri için yanlış olduğunda ise yanlış olur. Buna göre bir "her" niceleyicisinin yanlış olduğunu göstermek için tek bir eleman için yanlış olduğunu göstermemiz yeterlidir.
"Her" niceleyicisi çalışma evreninin her elemanı için yüklem doğru olduğunda doğru olduğu için, açılımı "ve" bağlacı ile birbirine bağlı önermeler şeklinde yazılabilir.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( \forall x \in A, P(x) \)
\( \equiv P(a_1) \land P(a_2) \land \ldots \land P(a_n) \)
Tüm kedigiller memelidir.
\( K = \{\text{Puma}, \text{Kaplan}, \ldots, \text{Çita}\} \)
\( P(x) = x \text{ memelidir.} \)
\( \forall x \in K, P(x) \)
\( \equiv P(\text{Puma}) \land P(\text{Kaplan}) \land \ldots \land P(\text{Çita}) \)
"Her" niceleyicisinin "ve" işlemi üzerinde dağılma özelliği vardır.
\( \forall x, (P(x) \land Q(x)) \equiv \forall x, P(x) \land \forall x, Q(x) \)
İSPATI GÖSTER
Bir \( A \) kümesi tanımlayalım.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( A \) kümesinde tanımlı ve yüklemi \( P(x) \land Q(x) \) olan aşağıdaki gibi bir önerme tanımlayalım.
\( \forall x \in A, (P(x) \land Q(x)) \)
"Her" niceleyicisinin açılımı "ve" önermelerinin birleşiminden oluşur.
\( \equiv (P(a_1) \land Q(a_1)) \land (P(a_2) \land Q(a_2)) \land \ldots \land (P(a_n) \land Q(a_n)) \)
"Ve" işleminin değişme ve birleşme özellikleri olduğu için, sadece "ve" bağlaçlarından oluşan bir bileşik önermede önermeler arasındaki parantezler kaydırılabilir ya da kaldırılabilir ve önermelerin sırası değiştirilebilir.
\( \equiv P(a_1) \land Q(a_1) \land P(a_2) \land Q(a_2) \land \ldots \land P(a_n) \land Q(a_n) \)
\( \equiv (P(a_1) \land P(a_2) \land \ldots \land P(a_n)) \land (Q(a_1) \land Q(a_2) \land \ldots \land Q(a_n)) \)
"Ve" önermelerinin birleşimi "her" niceleyicisi şeklinde yazılabilir.
Buna göre birinci parantez içindeki önermeleri yüklemi \( P(x) \) olan "her" niceleyicisi, ikinci parantez içindeki önermeleri yüklemi \( Q(x) \) olan "her" niceleyicisi şeklinde yazabiliriz.
\( \equiv \forall x \in A, P(x) \land \forall x \in A, Q(x) \)
"Her" niceleyicisinin aşağıdaki iki gösterimi birbirine denktir.
\( \forall x \in A, P(x) \)
\( \forall x, (x \in A \Rightarrow P(x)) \)
Bazı Niceleyicisi (\( \exists \))
"Bazı" niceleyicisi, bir kümenin "en az bir elemanı/bazı elemanları için" belirli bir önermenin doğru olduğunu göstermek için kullanılır ve "\( \exists \)" sembolü ile gösterilir (ters "E" harfi). Bu niceleyiciye varlıksal niceleyici de denir.
\( \exists x \in A, P(x) \)
önermesi, \( A \) kümesinin elemanı olan en az bir \( x \) değeri için \( P(x) \) açık önermesinin doğru olduğunu ifade eder.
Bazı reel sayılar karesinden büyüktür.
\( \exists x \in \mathbb{R}, x \gt x^2 \)
\( A \) bir sınıftaki öğrencilerin kümesi olmak üzere,
Sınıftaki bazı öğrenciler gözlük kullanır.
\( \exists a \in A, a \text{ gözlük kullanır.} \)
Bazı tam sayılar 5'e ve 7'ye tam bölünür.
\( \exists x \in \mathbb{Z}, (5 \mid x \land 7 \mid x) \)
Bir "bazı" niceleyicisi; yüklemi çalışma evrenindeki en az bir eleman için doğru olduğunda doğru olur, elemanların tümü için yanlış olduğunda ise yanlış olur. Buna göre bir "bazı" niceleyicisinin doğru olduğunu göstermek için tek bir eleman için doğru olduğunu göstermemiz yeterlidir.
"Bazı" niceleyicisi çalışma evreninin en az bir elemanı için yüklem doğru olduğunda doğru olduğu için, açılımı "veya" bağlacı ile birbirine bağlı önermeler şeklinde yazılabilir.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( \exists x \in A, P(x) \)
\( \equiv P(a_1) \lor P(a_2) \lor \ldots \lor P(a_n) \)
Mısra haftanın bazı günleri spora gider.
\( A = \{\text{Pazartesi}, \text{Salı}, \ldots, \text{Pazar}\} \)
\( P(x) = x \text{ günü Mısra spora gider.} \)
\( \exists x \in A, P(x) \)
\( \equiv P(\text{Pazartesi}) \lor P(\text{Salı}) \lor \ldots \lor P(\text{Pazar}) \)
"Bazı" niceleyicisinin "veya" işlemi üzerinde dağılma özelliği vardır.
\( \exists x, (P(x) \lor Q(x)) \equiv \exists x, P(x) \lor \exists x, Q(x) \)
İSPATI GÖSTER
Bir \( A \) kümesi tanımlayalım.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( A \) kümesinde tanımlı ve yüklemi \( P(x) \lor Q(x) \) olan aşağıdaki gibi bir önerme tanımlayalım.
\( \exists x \in A, (P(x) \lor Q(x)) \)
"Bazı" niceleyicisinin açılımı "veya" önermelerinin birleşiminden oluşur.
\( \equiv (P(a_1) \lor Q(a_1)) \lor (P(a_2) \lor Q(a_2)) \lor \ldots \lor (P(a_n) \lor Q(a_n)) \)
"Veya" işleminin değişme ve birleşme özellikleri olduğu için, sadece "veya" bağlaçlarından oluşan bir bileşik önermede önermeler arasındaki parantezler kaydırılabilir ya da kaldırılabilir ve önermelerin sırası değiştirilebilir.
\( \equiv P(a_1) \lor Q(a_1) \lor P(a_2) \lor Q(a_2) \lor \ldots \lor P(a_n) \lor Q(a_n) \)
\( \equiv (P(a_1) \lor P(a_2) \lor \ldots \lor P(a_n)) \lor (Q(a_1) \lor Q(a_2) \lor \ldots \lor Q(a_n)) \)
"Veya" önermelerinin birleşimi "bazı" niceleyicisi şeklinde yazılabilir.
Buna göre birinci parantez içindeki önermeleri yüklemi \( P(x) \) olan "bazı" niceleyicisi, ikinci parantez içindeki önermeleri yüklemi \( Q(x) \) olan "bazı" niceleyicisi şeklinde yazabiliriz.
\( \equiv \exists x \in A, P(x) \lor \exists x \in A, Q(x) \)
"Bazı" niceleyicisinin aşağıdaki iki gösterimi birbirine denktir.
\( \exists x \in A, P(x) \)
\( \exists x, (x \in A \land P(x)) \)
Niceleyecilere bu ismin verilme sebebi, kendi başlarına doğruluk değeri olmayan yüklemlerin değişkenlerine birer değer ataması yaparak (nicelik katarak) yüklemlere doğruluk değeri kazandırmalarıdır.
Benzersizlik Niceleyicisi (\( \exists! \))
Benzersizlik niceleyicisi, bir kümenin "yalnızca bir elemanı için" belirli bir önermenin doğru olduğunu göstermek için kullanılır ve "\( \exists! \)" sembolü ile gösterilir.
\( \exists! x \in A, P(x) \)
önermesi, \( A \) kümesinin elemanı olan yalnız bir \( x \) değeri için \( P(x) \) açık önermesinin doğru olduğunu ifade eder.
2 katı 4 olan tek bir sayı vardır.
\( \exists! x \in \mathbb{R}, 2x = 4 \)
Bir benzersizlik niceleyicisi; yüklemi çalışma evrenindeki yalnız bir eleman için doğru olduğunda doğru olur, sıfır ya da birden fazla eleman için doğru olduğunda ise yanlış olur.
Niceleyicilerin Değili
Bir \( \forall \) önermesinin değilini almak için niceleyici \( \exists \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( (\forall x \in A, P(x))' \equiv \exists x \in A, P'(x) \)
İSPATI GÖSTER
Bir \( A \) kümesi tanımlayalım.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( A \) kümesinde tanımlı ve yüklemi \( P(x) \) olan aşağıdaki gibi bir önerme tanımlayalım.
\( \forall x \in A, P(x) \)
"Her" niceleyicisinin açılımı "ve" önermelerinin birleşiminden oluşur.
\( \equiv P(a_1) \land P(a_2) \land \ldots \land P(a_n) \)
Bu önermenin değilini alalım.
\( (\forall x \in A, P(x))' \)
\( \equiv (P(a_1) \land P(a_2) \land \ldots \land P(a_n))' \)
Parantez içindeki ifadeye De Morgan kuralını uygulayalım.
\( \equiv P'(a_1) \lor P'(a_2) \lor \ldots \lor P'(a_n) \)
"Veya" önermelerinin birleşimi "bazı" niceleyicisi şeklinde yazılabilir.
\( \equiv \exists x \in A, P'(x) \)
Bir \( \exists \) önermesinin değilini almak için niceleyici \( \forall \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( (\exists x \in A, P(x))' \equiv \forall x \in A, P'(x) \)
İSPATI GÖSTER
Bir \( A \) kümesi tanımlayalım.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( A \) kümesinde tanımlı ve yüklemi \( P(x) \) olan aşağıdaki gibi bir önerme tanımlayalım.
\( \exists x \in A, P(x) \)
"Bazı" niceleyicisinin açılımı "veya" önermelerinin birleşiminden oluşur.
\( \equiv P(a_1) \lor P(a_2) \lor \ldots \lor P(a_n) \)
Bu önermenin değilini alalım.
\( (\exists x \in A, P(x))' \)
\( \equiv (P(a_1) \lor P(a_2) \lor \ldots \lor P(a_n))' \)
Parantez içindeki ifadeye De Morgan kuralını uygulayalım.
\( \equiv P'(a_1) \land P'(a_2) \land \ldots \land P'(a_n) \)
"Ve" önermelerinin birleşimi "her" niceleyicisi şeklinde yazılabilir.
\( \equiv \forall x \in A, P'(x) \)
Niceleyicilerin değili alınırken çalışma evrenindeki "elemanıdır" sembolü "elemanı değildir" sembolüne çevrilmemelidir.
\( \forall x \in A, P(x) \) önermesinin değili:
DOĞRU: \( \exists x \textcolor{red}{\in} A, P'(x) \)
HATALI: \( \exists x \textcolor{red}{\notin} A, P'(x) \)
Niceleyicilerin değillerine aşağıda bazı örnekler verilmiştir.
| Önerme | Değili |
|---|---|
|
\( \forall a \in \mathbb{R}, a \cdot 1 = a \) Her reel sayının 1 ile çarpımı kendisine eşittir. |
\( \exists a \in \mathbb{R}, a \cdot 1 \ne a \) En az bir reel sayının 1 ile çarpımı kendisine eşit değildir. |
|
\( \exists x \in \mathbb{Z}, x = \abs{x} \) Bazı tam sayılar mutlak değerine eşittir. |
\( \forall x \in \mathbb{Z}, x \ne \abs{x} \) Her tam sayı mutlak değerinden farklıdır. |
|
\( \exists x \in A, (x \text{'in cep telefonu var} \land x \text{'in tableti var}) \) Sınıfta bazı kişilerin cep telefonu ve tableti var. |
\( \forall x \in A, (x \text{'in cep telefonu var} \land x \text{'in tableti var})' \) \( \equiv \forall x \in A, (x \text{'in cep telefonu yok} \lor x \text{'in tableti yok}) \) Sınıfta herkesin cep telefonu yok veya tableti yok. |
|
\( \forall x \in \mathbb{R}, (x = 0 \lor x^2 \gt 0) \) Her reel sayı ya sıfıra eşittir ya da karesi pozitiftir. |
\( \exists x \in \mathbb{R}, (x = 0 \lor x^2 \gt 0)' \) \( \equiv \exists x \in \mathbb{R}, (x \ne 0 \land x^2 \le 0) \) Bazı reel sayılar sıfırdan farklıdır ve karesi pozitif değildir. |
\( \forall x, (P(x) \Rightarrow Q(x)) \) önermesinin değilini bulalım.
Önermenin değilini alalım.
\( (\forall x, (P(x) \Rightarrow Q(x)))' \)
Bir \( \forall \) önermesinin değilini almak için niceleyici \( \exists \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( \equiv \exists x, (P(x) \Rightarrow Q(x))' \)
"İse" önermesini "veya" önermesi olarak yazalım.
\( \equiv \exists x, (P'(x) \lor Q(x))' \)
Parantez içindeki ifadeye De Morgan kuralını uygulayalım.
\( \equiv \exists x, (P(x) \land Q'(x)) \)
Çoklu Niceleyiciler
Birden fazla niceleyici birlikte kullanılarak çok değişkenli yüklemler içeren önermeler oluşturulabilir.
\( \forall x \in A, \forall y \in B, P(x, y) \)
\( \exists x \in A, \exists y \in B, P(x, y) \)
\( \forall x \in A, \exists y \in B, P(x, y) \)
\( \exists x \in A, \forall y \in B, P(x, y) \)
\( A = \{a, b\}, \quad B = \{1, 2\} \) olmak üzere,
\( \textcolor{red}{\forall x \in A}, \textcolor{blue}{\forall y \in B}, P(x, y) \)
\( \equiv (P(a, 1) \textcolor{blue}{\land} P(a, 2)) \textcolor{red}{\land} (P(b, 1) \textcolor{blue}{\land} P(b, 2)) \)
\( \textcolor{red}{\exists x \in A}, \textcolor{blue}{\exists y \in B}, P(x, y) \)
\( \equiv (P(a, 1) \textcolor{blue}{\lor} P(a, 2)) \textcolor{red}{\lor} (P(b, 1) \textcolor{blue}{\lor} P(b, 2)) \)
\( \textcolor{red}{\forall x \in A}, \textcolor{blue}{\exists y \in B}, P(x, y) \)
\( \equiv (P(a, 1) \textcolor{blue}{\lor} P(a, 2)) \textcolor{red}{\land} (P(b, 1) \textcolor{blue}{\lor} P(b, 2)) \)
\( \textcolor{red}{\exists x \in A}, \textcolor{blue}{\forall y \in B}, P(x, y) \)
\( \equiv (P(a, 1) \textcolor{blue}{\land} P(a, 2)) \textcolor{red}{\lor} (P(b, 1) \textcolor{blue}{\land} P(b, 2)) \)
Çoklu niceleyicilere aşağıda bazı örnekler verilmiştir.
| Önerme | Açıklama |
|---|---|
| \( \forall a \in A, \forall b \in B, (a \text{ } b \text{'yi tanır.}) \) | A şubesindeki herkes B şubesindeki herkesi tanır. |
| \( \exists a \in A, \exists b \in B, (a \text{ } b \text{'yi tanır.}) \) | A şubesinden en az bir kişi B şubesinden en az bir kişiyi tanır. |
| \( \forall a \in A, \exists b \in B, (a \text{ } b \text{'yi tanır.}) \) | A şubesindeki herkes B şubesinden en az bir kişiyi tanır. |
| \( \exists a \in A, \forall b \in B, (a \text{ } b \text{'yi tanır.}) \) | A şubesinden en az bir kişi B şubesindeki herkesi tanır. |
| \( \forall x \in \mathbb{Z}, \forall y \in \mathbb{Z}, (2x + 2y \text { çifttir.}) \) | Her \( x \) ve \( y \) tam sayısı için \( 2x + 2y \) çifttir. |
| \( \exists a \in A, \exists b \in B, (a \text{ } b \text{ kulübüne üyedir.}) \) | Bir sınıfta (\( A \) kümesi) en az bir öğrenci vardır ki, okuldaki kulüplerden (\( B \) kümesi) en az birine üyedir. |
| \( \forall x \in \mathbb{R}, \exists y \in \mathbb{R}, (x^2 + y = 4) \) | Her \( x \) reel sayısı için, \( x^2 + y = 4 \) eşitliğini sağlayan en az bir \( y \) reel sayısı vardır. |
Aynı tipteki niceleyicilerin aralarında yer değiştirmesi ifadenin anlamını ve doğruluk değerini değiştirmez.
\( \textcolor{red}{\forall x}, \textcolor{blue}{\forall y}, P(x, y) \equiv \textcolor{blue}{\forall y}, \textcolor{red}{\forall x}, P(x, y) \)
\( \textcolor{red}{\exists x}, \textcolor{blue}{\exists y}, P(x, y) \equiv \textcolor{blue}{\exists y}, \textcolor{red}{\exists x}, P(x, y) \)
İSPATI GÖSTER
\( A \) ve \( B \) kümeleri tanımlayalım.
\( A = \{a_1, a_2, \ldots, a_n\} \)
\( B = \{b_1, b_2, \ldots, b_m\} \)
Değişkenleri sırasıyla \( A \) ve \( B \) kümelerinde tanımlı ve yüklemi \( P(x, y) \) olan aşağıdaki gibi bir önerme tanımlayalım.
\( \forall x \in A, \forall y \in B, P(x, y) \)
"Her" niceleyicisinin açılımı "ve" önermelerinin birleşiminden oluşur.
İçteki "her" niceleyicisinin açılımını yazalım.
\( \equiv \forall x \in A, (P(x, b_1) \land P(x, b_2) \land \ldots \land P(x, b_m)) \)
Dıştaki "her" niceleyicisinin açılımını yazalım.
\( \equiv [(P(a_1, b_1) \land P(a_1, b_2) \land \ldots \land P(a_1, b_m)) \) \( \land (P(a_2, b_1) \land P(a_2, b_2) \land \ldots \land P(a_2, b_m)) \) \( \ldots \land (P(a_n, b_1) \land P(a_n, b_2) \land \ldots \land P(a_n, b_m)) \)
"Ve" işleminin değişme ve birleşme özellikleri olduğu için, sadece "ve" bağlaçlarından oluşan bir bileşik önermede önermeler arasındaki parantezler kaydırılabilir ya da kaldırılabilir ve önermelerin sırası değiştirilebilir.
\( \equiv [(P(a_1, b_1) \land P(a_2, b_1) \land \ldots \land P(a_n, b_1)) \) \( \land (P(a_1, b_2) \land P(a_2, b_2) \land \ldots \land P(a_n, b_2)) \) \( \ldots \land (P(a_1, b_m) \land P(a_2, b_m) \land \ldots \land P(a_n, b_m)) \)
Parantezleri birleştiren "ve" önermelerinin birleşimi "her" niceleyicisi şeklinde yazılabilir.
\( \equiv \forall y \in B, (P(a_1, y) \land P(a_2, y) \land \ldots \land P(a_n, y)) \)
Elde edilen ifadedeki "ve" önermelerinin birleşimi de "her" niceleyicisi şeklinde yazılabilir.
\( \equiv \forall y \in B, \forall x \in A, P(x, y) \)
Benzer bir ispat aşağıdaki denklik için de yapılabilir.
\( \textcolor{red}{\exists x}, \textcolor{blue}{\exists y}, P(x, y) \equiv \textcolor{blue}{\exists y}, \textcolor{red}{\exists x}, P(x, y) \)
Farklı tipteki niceleyicilerin aralarında yer değiştirmesi ile elde edilen ifade ise ilk ifadeye denk değildir.
\( \textcolor{red}{\forall x}, \textcolor{blue}{\exists y}, P(x, y) \not\equiv \textcolor{blue}{\exists y}, \textcolor{red}{\forall x}, P(x, y) \)
\( \textcolor{red}{\forall x \in \mathbb{R}}, \textcolor{blue}{\exists y \in \mathbb{R}}, x + y = 0 \)
Her \( x \) reel sayısı için, \( x \) ile toplamı 0 olan en az bir \( y \) reel sayısı vardır (DOĞRU).
\( \textcolor{blue}{\exists y \in \mathbb{R}}, \textcolor{red}{\forall x \in \mathbb{R}}, x + y = 0 \)
En az bir \( y \) reel sayısı vardır ki, her \( x \) reel sayısı ile toplamı 0'dır (YANLIŞ).
Çoklu niceleyici içeren önermelerin değilini almak için \( \forall \) niceleyicileri \( \exists \) niceleyicisine, \( \exists \) niceleyicileri \( \forall \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( (\forall x, \forall y, P(x, y))' \equiv \exists x, \exists y, P'(x, y) \)
\( (\exists x, \exists y, P(x, y))' \equiv \forall x, \forall y, P'(x, y) \)
\( (\forall x, \exists y, P(x, y))' \equiv \exists x, \forall y, P'(x, y) \)
\( (\exists x, \forall y, P(x, y))' \equiv \forall x, \exists y, P'(x, y) \)
"Sınıftaki tüm öğrenciler iyi İngilizce konuşur." önermesinin değili nedir?
Çözümü Göster"Sınıftaki öğrencilerden en az biri iyi İngilizce konuşmaz." verilen önermenin değilidir.
\( \exists x \in \mathbb{R}, \abs{x + 4} \gt 2 \) önermesinin değili nedir?
Çözümü GösterBir \( \exists \) önermesinin değilini almak için niceleyici \( \forall \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( (\exists x \in \mathbb{R}, \abs{x + 4} \gt 2)' \)
\( \equiv \forall x \in \mathbb{R}, (\abs{x + 4} \gt 2)' \)
\( \equiv \forall x \in \mathbb{R}, \abs{x + 4} \le 2 \)
I. \( \exists x \in \mathbb{R}, x^2 + 4 = 0 \)
II. \( \forall x \in \mathbb{Z}, x^2 \gt 0 \)
III: \( \exists x \in \mathbb{R}, x \gt x^2 \)
önermelerinden hangileri doğrudur?
Çözümü Göster"Her" niceleyicisinin her elemanı için önerme doğru ise niceleyici doğru olur. "Bazı" niceleyicisinin en az bir elemanı için önerme doğru ise niceleyici doğru olur.
I. Bir reel sayının karesi negatif değer alamayacağı için bu eşitliği sağlayan hiçbir \( x \) değeri yoktur. I. önerme yanlıştır.
II. \( x = 0 \) için eşitsizlik sağlanmayacağı için her \( x \) tam sayısı için önerme doğru olmaz. II. önerme yanlıştır.
III. \( (0, 1) \) aralığındaki reel sayılar için \( x \gt x^2 \) eşitsizliği sağlanır. III. önerme doğrudur.
Buna göre sadece III. önerme doğrudur.
"Bazı tam sayıların 3 katı 7'den küçüktür." önermesini ve değilini mantık sembolleri kullanarak yazın.
Çözümü GösterVerilen önermeyi mantık sembolleri ile aşağıdaki şekilde ifade edebiliriz.
\( \exists x \in \mathbb{Z}, 3x \lt 7 \)
Bir \( \exists \) önermesinin değilini almak için niceleyici \( \forall \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( (\exists x \in \mathbb{Z}, 3x \lt 7)' \)
\( \equiv \forall x \in \mathbb{Z}, (3x \lt 7)' \)
\( \equiv \forall x \in \mathbb{Z}, 3x \ge 7 \)
\( \forall x \in \mathbb{R}, (x \gt 1) \land (x \le 10) \) önermesinin değili nedir?
Çözümü GösterBir \( \forall \) önermesinin değilini almak için niceleyici \( \exists \) niceleyicisine çevrilir ve önermenin yükleminin değili alınır.
\( (\forall x \in \mathbb{R}, (x \gt 1) \land (x \le 10))' \)
\( \equiv \exists x \in \mathbb{R}, ((x \gt 1) \land (x \le 10))' \)
Parantez içindeki ifadeye De Morgan kuralını uygulayalım.
\( \equiv \exists x \in \mathbb{R}, (x \gt 1)' \lor (x \le 10)' \)
\( \equiv \exists x \in \mathbb{R}, (x \le 1) \lor (x \gt 10) \)
Aşağıda verilen sözlü önermelerin değillerini bulun.
(a) Ahmet her yemekten sonra tatlı yer ve çay veya kahve içer.
(b) Bazı insanlar geceleri en az üç kez tuvalete kalkar.
(c) Tüm kediler oyuncu ve meraklıdır.
Çözümü Göster(a) seçeneği:
Önerme: Ahmet her yemekten sonra tatlı yer ve çay veya kahve içer.
Değili: Ahmet bazı yemeklerden sonra tatlı yemez veya çay ve kahve içmez.
(b) seçeneği:
Önerme: Bazı insanlar geceleri en az üç kez tuvalete kalkar.
Değili: Her insan geceleri en fazla iki kez tuvalete kalkar.
(c) seçeneği:
Önerme: Tüm kediler oyuncu ve meraklıdır.
Değili: Bazı kediler oyuncu veya meraklı değildir.
Aşağıda verilen sözlü önermelerin değillerini bulun.
(a) Bazı yunuslar nehirlerde yaşar ve her köpek balığı etoburdur.
(b) Bazı insanlar haftanın her günü spor yaparlar.
(c) Her sınıfta bazı öğrenciler takdir alır.
Çözümü Göster(a) seçeneği:
Önerme: Bazı yunuslar nehirlerde yaşar ve her köpek balığı etoburdur.
Değili: Hiçbir yunus nehirde yaşamaz veya bazı köpek balıkları etobur değildir.
(b) seçeneği:
Önerme: Bazı insanlar haftanın her günü spor yapar.
Değili: Her insan haftanın en az bir gününü spor yapmadan geçirir.
(c) seçeneği:
Önerme: Her sınıfta bazı öğrenciler takdir alır.
Değili: Bazı sınıflarda hiçbir öğrenci takdir almaz.
\( p: \exists x \in \mathbb{Z}, \frac{\pi}{4} \lt x \lt \frac{\pi}{3} \)
\( q: \forall x \in \mathbb{R}, \frac{2x}{x} = 2 \)
\( r: \forall x \in \mathbb{R}, \sqrt{x^2} = x \)
olduğuna göre aşağıdaki önermelerden hangisinin doğruluk değeri 0'dır?
(a) \( p \Rightarrow q \)
(b) \( r \Rightarrow q \)
(c) \( q \Leftrightarrow r \)
(d) \( p' \Leftrightarrow q \)
(e) \( p \Leftrightarrow r' \)
Çözümü Göster\( p \) önermesi: \( \pi = 3,14... \) olduğu için dörtte biri ve üçte biri arasında 1 tam sayısı vardır (\( p \equiv 1 \)).
\( q \) önermesi: \( \frac{2x}{x} \) ifadesi \( x = 0 \) için tanımsızdır, dolayısıyla her \( x \) reel sayısı için eşitlik sağlanmaz (\( q \equiv 0 \)).
\( r \) önermesi: Verilen eşitlik sadece pozitif reel sayılar ve sıfır için doğrudur. Eşitliğin tüm reel sayıları kapsayacak şekilde doğrusu \( \sqrt{x^2} = \abs{x} \) olur (\( r \equiv 0 \)).
Bu doğruluk değerlerine göre doğruluk değeri 0 olan seçenek (a)'dır.
\( p: \exists x \in \mathbb{Z}, x^2 + 2 \lt 11 \)
\( q: \exists x \in \mathbb{Z}, \abs{x + 2} \lt 3 \)
önermeleri veriliyor.
\( q \Rightarrow p' \equiv 0 \) koşulunu sağlayan \( x \) değerlerini bulunuz.
Çözümü Göster"İse" bileşik önermesi 1. bileşen doğru, 2. bileşen yanlış olduğu durumda yanlış olur.
\( q \equiv 1 \)
\( p \equiv 0 \Longrightarrow p \equiv 1 \)
Buna göre her iki önerme de doğrudur, dolayısıyla önermelerdeki eşitsizlikleri sağlayan en az birer tam sayı bulunmalıdır.
\( p \) önermesindeki eşitsizliği \( x \) için çözelim.
\( x^2 + 2 \lt 11 \)
\( x^2 \lt 9 \)
\( -3 \lt x \lt 3 \)
\( x \in \{ -2, -1, 0, 1, 2 \} \)
\( q \) önermesindeki eşitsizliği \( x \) için çözelim.
\( \abs{x + 2} \lt 3 \)
\( -3 \lt x + 2 \lt 3 \)
\( -5 \lt x \lt 1 \)
\( x \in \{ -4, -3, -2, -1, 0 \} \)
Her iki önermeyi de doğru yapacak \( x \) değerleri bulduğumuz çözüm kümelerinin kesişimi olur.
\( x \in \{ -2, -1, 0 \} \) bulunur.
Aşağıda verilen sözlü koşullu önermelerin tersini, karşıtını ve karşıt tersini bulun.
(a) Kanatlı tüm hayvanlar uçabiliyorsa bazı iki ayaklı hayvanlar yüzemez.
(b) Sınavda Kübra sınıftaki en yüksek notu aldıysa sınıftaki herkesten çok çalışmıştır.
(c) İnci'nin üç kardeşi de kendisinden büyükse evin en küçüğüdür.
Çözümü GösterBir koşullu önermenin tersinde önermelerin değilleri alınır, karşıtında önermeler aralarında yer değiştirir, karşıt tersinde ise önermeler hem aralarında yer değiştirir, hem de önermelerin değilleri alınır.
(a) seçeneği:
Önerme: Kanatlı tüm hayvanlar uçabiliyorsa bazı iki ayaklı hayvanlar yüzemez.
Tersi: Kanatlı bazı hayvanlar uçamıyorsa tüm iki ayaklı hayvanlar yüzebilir.
Karşıtı: Bazı iki ayaklı hayvanlar yüzemiyorsa kanatlı tüm hayvanlar uçabilir.
Karşıt tersi: Tüm iki ayaklı hayvanlar yüzebiliyorsa kanatlı bazı hayvanlar uçamaz.
(b) seçeneği:
Önerme: Sınavda Kübra sınıftaki en yüksek notu aldıysa sınıftaki herkesten çok çalışmıştır.
Tersi: Sınavda Kübra sınıftaki en yüksek notu almadıysa sınıfta en az bir kişi Kübra'dan çok çalışmıştır.
Karşıtı: Kübra sınıftaki herkesten çok çalıştıysa sınavda sınıftaki en yüksek notu almıştır.
Karşıt tersi: Sınıfta en az bir kişi Kübra'dan çok çalıştıysa sınavda Kübra en yüksek notu almamıştır.
(c) seçeneği:
Bu örnekte kardeşler arasında ikiz/üçüz olsa bile önce doğanın daha büyük olduğunu kabul edelim.
Önerme: İnci'nin üç kardeşi de kendisinden büyükse evin en küçüğüdür.
Tersi: İnci'nin en az bir kardeşi kendisinden küçükse evin en küçüğü değildir.
Karşıtı: İnci evin en küçüğü ise üç kardeşi de kendisinden büyüktür.
Karşıt tersi: İnci evin en küçüğü değilse en az bir kardeşi kendisinden küçüktür.