Soru

Zorluk: OrtaÖnermeler ve Bağlaçlar

xx, yy ve zz birer tam sayı olmak üzere,

p:xy c¸arpımı c¸ift sayıdır.q:y+z toplamı tek sayıdır. r:x+z toplamı c¸ift sayıdır.\begin{aligned} p&: x \cdot y \text{ çarpımı çift sayıdır.} \\ q&: y + z \text{ toplamı tek sayıdır.} \\\ r&: x + z \text{ toplamı çift sayıdır.} \end{aligned}

önermeleri veriliyor.

(pq)r(p \land q) \Rightarrow r

önermesi yanlış olduğuna göre;

I. x+yzx + y \cdot z
II. xz+yx \cdot z + y
III. x+y+zx + y + z

ifadelerinden hangileri her zaman çift sayıdır?

  1. A
    Yalnız I
  2. B
    Yalnız II
  3. I ve IICevap
  4. D
    I ve III
  5. E
    II ve III

Cevap

I ve II ifadeleri her zaman çift sayıdır.
Koşullu önermenin yanlış olması, ise bağlacının solundaki ifadenin doğru, sağındaki ifadenin ise yanlış olmasını gerektirir. Bu durumdan yola çıkıldığında xx ve yy değişkenlerinin çift, zz değişkeninin ise tek sayı olduğu sonucuna varılır. Bu değerler öncüllere uygulandığında birinci ve ikinci ifadelerin her zaman çift sayı ürettiği, üçüncü ifadenin ise tek sayı ürettiği gösterilir.

Adım Adım Çözüm

1
Verilen bileşik önermenin doğruluk değerini analiz etme.
p1p \equiv 1, q1q \equiv 1 ve r0r \equiv 0 bulunur.
(pq)r0(p \land q) \Rightarrow r \equiv 0 koşullu önermesinin yanlış olması için ise (\Rightarrow) bağlacının kuralı gereği önermenin sol tarafı (pqp \land q) doğru (1) ve sağ tarafı (rr) yanlış (0) olmalıdır. pq1p \land q \equiv 1 ise hem pp hem de qq önermeleri doğru (1) olmalıdır.
2
Tam sayıların teklik-çiftlik durumlarını belirleme.
xx çift, yy çift ve zz tek sayı olarak bulunur.
r:x+zr: x + z toplamı çift sayıdır önermesi yanlış (r0r \equiv 0) olduğuna göre, x+zx + z tek sayıdır. Bu durum xx ve zz'nin zıt paritede olduğunu gösterir. q:y+zq: y + z toplamı tek sayıdır önermesi doğru (q1q \equiv 1) olduğuna göre, yy ve zz zıt paritededir. Buradan xx ve yy aynı paritede (her ikisi de tek veya her ikisi de ��ift) olmak zorundadır. p:xyp: x \cdot y çarpımı çift sayıdır önermesi doğru (p1p \equiv 1) olduğuna göre, xx ve yy'den en az biri çifttir. xx ve yy aynı paritede olduğundan her ikisi de çift sayı olmak zorundadır. Bu durumda zz tek sayı olur.
3
Öncüllerdeki ifadelerin değerlerini inceleme.
I ve II. ifadelerin çift sayı olduğu görülür.
xC¸x \in \text{Ç}, yC¸y \in \text{Ç} ve zTz \in \text{T} değerleri öncüllerde yerine yazılır:
I. x+yzC¸+C¸T=C¸+C¸=C¸x + y \cdot z \rightarrow \text{Ç} + \text{Ç} \cdot \text{T} = \text{Ç} + \text{Ç} = \text{Ç} (Her zaman çift).
II. xz+yC¸T+C¸=C¸+C¸=C¸x \cdot z + y \rightarrow \text{Ç} \cdot \text{T} + \text{Ç} = \text{Ç} + \text{Ç} = \text{Ç} (Her zaman çift).
III. x+y+zC¸+C¸+T=C¸+T=Tx + y + z \rightarrow \text{Ç} + \text{Ç} + \text{T} = \text{Ç} + \text{T} = \text{T} (Her zaman tek).

Anahtar Kavram

Bileşik önermelerin doğruluk değerleri ve tam sayıların teklik-çiftlik özellikleri.
Tahmini Süre:2m 0s
Bu soruyu puanla