Soru

Zorluk: OrtaÖnermeler ve Bağlaçlar

x ve y gerçel sayıları için

* p:x<yp: x < y
* q:xcdoty<0q: x \\cdot y < 0
* r:x+y>0r: x + y > 0

önermeleri veriliyor.

(plandq)Rightarrowr(p \\land q) \\Rightarrow r önermesi yanlış olduğuna göre, a��ağıdakilerden hangisi her zaman doğrudur?

  1. A
    x2>y2x^2 > y^2
  2. B
    x+y<0x + y < 0
  3. x2gey2x^2 \\ge y^2Cevap
  4. D
    xy>0x - y > 0
  5. E
    y2>x2y^2 > x^2

Cevap

Karesel ilişkide x2gey2x^2 \\ge y^2 eşitsizliği her zaman doğrudur.
Mantıksal çözümlemeden elde edilen x<0x < 0, y>0y > 0 ve x+yle0x + y \\le 0 koşulları ylexy \\le -x eşitsizliğini gerektirir. Her iki tarafın karesi alındığında karesel ilişkideki büyük veya eşit olma durumu elde edilir.

Adım Adım Çözüm

1
Bileşik önermenin doğruluk değerini çözümleme
plandqequiv1p \\land q \\equiv 1 ve requiv0r \\equiv 0 elde edilir.
İse bağlacının yanlış (0) çıkması için hipotezin doğru, hükmün yanlış olması gerekir.
2
Bileşen önermelerin doğruluk değerlerini belirleme
x<0x < 0 ve y>0y > 0 bulunur.
plandqequiv1p \\land q \\equiv 1 olduğundan pequiv1p \\equiv 1 ve qequiv1q \\equiv 1 olmalıdır. Buradan x<yx < y ve xcdoty<0x \\cdot y < 0 elde edilir, bu da zıt işaretli olmalarını gerektirir.
3
Bulunan koşulları birleştirerek eşitsizliği çözme
x2gey2x^2 \\ge y^2 eşitsizliğine ulaşılır.
requiv0r \\equiv 0 olduğundan x+yle0impliesylexx + y \\le 0 \\implies y \\le -x olur. y>0y > 0 ve x>0-x > 0 olduğundan her iki tarafın karesi alındığında y2lex2y^2 \\le x^2 yani x2gey2x^2 \\ge y^2 elde edilir.

Anahtar Kavram

Bileşik önermelerin doğruluk değerleri ve mantıksal bağlaçların gerçel sayı eşitsizlikleriyle ilişkisi
Bu soruyu puanla