Question

Difficulty: Very hardAçık Önermeler ve Niceleyiciler

Z+\mathbb{Z}^+ pozitif tam sayılar kümesi ve Z\mathbb{Z} tam sayılar kümesi olmak üzere,

p(x,y):"x2y<4"p(x, y): "x^2 - y < 4"
q(x,y):"x+y25"q(x, y): "x + y^2 \leq 5"

açık önermeleri tanımlanıyor.

Buna göre, (x,y)Z+×Z(x, y) \in \mathbb{Z}^+ \times \mathbb{Z} olmak üzere, p(x,y)q(x,y)p(x, y) \wedge q(x, y) açık önermesinin doğruluk kümesinin eleman say��sı kaçtır?

  1. A
    55
  2. 66Answer
  3. C
    77
  4. D
    99
  5. E
    1111

Answer

Doğruluk kümesinin eleman sayısı 6'dır.
Doğruluk kümesinin eleman sayısı altı olarak bulunur. Her iki eşitsizliği de sağlayan pozitif tam sayı xx ve tam sayı yy ikilileri sırasıyla (1,2)(1, -2), (1,1)(1, -1), (1,0)(1, 0), (1,1)(1, 1), (2,1)(2, 1) ve (1,2)(1, 2)'dir. Burada y=2y = 2 için xx'in alabileceği değerler x2<6x^2 < 6 eşitsizliğinden 11 ve 22 iken, x522=1x \leq 5 - 2^2 = 1 koşulu nedeniyle sadece x=1x = 1 değeri kabul edilir ve (2,2)(2, 2) ikilisi elenir.

Step-by-Step Solution

1
İki açık önermenin de doğru olmasını sağlayan (x,y)(x, y) ikililerini bulmak için eşitsizlikleri düzenleyelim.
Birinci eşitsizlikten y>x24y > x^2 - 4 ve ikinci eşitsizlikten x5y2x \leq 5 - y^2 elde edilir.
Eşitsizlikleri tek bir değişken cinsinden ifade etmek sınırları belirlemeyi kolaylaştırır.
2
xx'in pozitif tam sayı olması (x1x \geq 1) şartını kullanarak yy'nin alabileceği tam sayı değerlerini sınırlandıralım.
x1x \geq 1 ve x5y2x \leq 5 - y^2 olduğundan, 15y2y241 \leq 5 - y^2 \Rightarrow y^2 \leq 4 elde edilir. Buradan yy tam sayısı 2,1,0,1,2-2, -1, 0, 1, 2 değerlerini alabilir.
yy değişkeninin alabileceği değer aralığını daraltarak sonlu sayıda durum incelemesi yapmak.
3
yy'nin her bir olası değeri için y>x24y > x^2 - 4 (yani x2<y+4x^2 < y + 4) ve x5y2x \leq 5 - y^2 eşitsizliklerini sağlayan pozitif tam sayı xx değerlerini belirleyelim.
Aşağıdaki tabloda görüldüğü gibi her bir yy değeri için xx değerleri bulunur:

yy Değerix2<y+4x^2 < y + 4 Koşulux5y2x \leq 5 - y^2 KoşuluGeçerli xx DeğerleriOluşan İkililer
2-2x2<2x^2 < 2x1x \leq 111(1,2)(1, -2)
1-1x2<3x^2 < 3x4x \leq 411(1,1)(1, -1)
00x2<4x^2 < 4x5x \leq 511(1,0)(1, 0)
11x2<5x^2 < 5x4x \leq 41,21, 2(1,1),(2,1)(1, 1), (2, 1)
22x2<6x^2 < 6x1x \leq 111(1,2)(1, 2)
Tüm olası yy değerleri için xx çözümlerini sistematik olarak bulmak.
4
Bulunan tüm geçerli (x,y)(x, y) sıralı ikililerini listeleyelim ve sayalım.
Doğruluk kümesi {(1,2),(1,1),(1,0),(1,1),(2,1),(1,2)}\{(1, -2), (1, -1), (1, 0), (1, 1), (2, 1), (1, 2)\} olup eleman sayısı 66'dır.
Ortak çözüm kümesinin eleman sayısını belirlemek.

Key Concept

Açık Önermelerin Doğruluk Kümelerini Bulma
Rate this question