Question

Difficulty: Very hardÖnermeler ve Bağlaçlar

aa, bb ve cc sıfırdan farklı tam sayılar olmak ��zere,

pp: "a+ba + b toplamı çift sayıdır."
qq: "bcb \cdot c çarpımı tek sayıdır."
rr: "aca \cdot c çarpımı çift sayıdır."

önermeleri veriliyor.

[(pq)(qr)][(p \Rightarrow q) \Rightarrow (q \lor r)]

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

I. ab+ca^b + c
II. (a+c)b(a + c) \cdot b
III. ab+ca \cdot b + c

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

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

Answer

Yalnız II
Verilen bileşik önermenin yanlış olması, ise bağlacının kuralı gereği pq1p \Rightarrow q \equiv 1 ve qr0q \lor r \equiv 0 olmasını gerektirir. qr0q \lor r \equiv 0 ise q0q \equiv 0 ve r0r \equiv 0 olmalıdır. q0q \equiv 0 olduğuna göre, pq1p \Rightarrow q \equiv 1 koşulunun sağlanması için p0p \equiv 0 olmalıdır. Böylece pp, qq ve rr önermelerinin doğruluk değerleri sırasıyla 0,0,00, 0, 0 bulunur. Bu durum, aca \cdot c çarpımının tek (yani aa ve cc tek), a+ba + b toplamının tek (yani bb çift) olmasını gerektirir. aa ve cc tek ise toplamları a+ca+c çift bir sayıdır. Çift bir sayının başka bir tam sayı olan bb ile çarpımı çift olacağından (a+c)b(a+c) \cdot b ifadesi her zaman çift bir sayıdır.

Step-by-Step Solution

1
Bileşik önermenin doğruluk değerini analiz etmek
[(pq)(qr)]0[(p \Rightarrow q) \Rightarrow (q \lor r)] \equiv 0 ise ise bağlacının kuralından birinci kısım pq1p \Rightarrow q \equiv 1 ve ikinci kısım qr0q \lor r \equiv 0 bulunur. Buradan q0q \equiv 0 ve r0r \equiv 0 elde edilir. q0q \equiv 0 değeri pq1p \Rightarrow q \equiv 1 ifadesinde yerine yazılırsa p01p \Rightarrow 0 \equiv 1 olabilmesi için p0p \equiv 0 olmalıdır. Sonuç olarak p0p \equiv 0, q0q \equiv 0 ve r0r \equiv 0 bulunur.
pp, qq ve rr önermelerinin doğruluk değerlerini belirlemek için bileşik önermenin yapısı çözümlenir.
2
Önermelerin doğruluk değerlerini kullanarak sayıların teklik-çiftlik durumlarını belirlemek
r0r \equiv 0 olduğundan aca \cdot c tektir, yani aa ve cc tek sayılardır. p0p \equiv 0 olduğundan a+ba + b tektir. aa tek sayı olduğundan bb çift sayı olmak zorundadır. q0q \equiv 0 olduğundan bcb \cdot c çifttir, bu durum bb çift sayı olduğundan doğrulanır. Sonuç olarak: aa tek, bb çift, cc tektir.
Soruda verilen ifadelerin değerlerini inceleyebilmek için değişkenlerin tek veya çift sayı karakterlerini saptamak gerekir.
3
Verilen I. ifadeyi (ab+ca^b + c) incelemek
bb sayısı sıfırdan farklı bir çift tam sayı olduğundan negatif olabilir (örneğin b=2b = -2). Bu durumda aba^b rasyonel bir sayı olur ve tam sayı belirtmez, dolayısıyla bu ifadenin teklik veya çiftliği garanti edilemez.
Birinci ifadenin her zaman çift sayı belirtip belirtmediğini belirlemek.
4
Verilen II. ifadeyi ((a+c)b(a + c) \cdot b) incelemek
aa ve cc tek sayılar olduğundan toplamları a+ca+c çift sayıdır. Çift bir sayının bir tam sayı olan bb ile çarpımı her zaman çift sayıdır. Dolayısıyla bu ifade her zaman çift sayıdır.
İkinci ifadenin her zaman çift sayı belirtip belirtmediğini belirlemek.
5
Verilen III. ifadeyi (ab+ca \cdot b + c) incelemek
aa tek ve bb çift olduğundan çarpımları aba \cdot b çift sayıdır. Çift sayı ile tek sayı olan cc'nin toplamı tek sayıdır. Dolayısıyla bu ifade her zaman tek sayıdır.
Üçüncü ifadenin her zaman çift sayı belirtip belirtmediğini belirlemek.

Key Concept

Önermelerin doğruluk değerleri ve sayıların teklik-çiftlik özellikleri ile ilişkisi

Alternative Method

Önermelerin doğruluk değerlerini sırasıyla denemek yerine, doğruluk tablosu mantığı veya doğrudan mantıksal sadeleştirme kuralları kullanılarak p0p \equiv 0, q0q \equiv 0 ve r0r \equiv 0 sonuçlarına daha hızlı ulaşılabilir.
Estimated Time:3m 0s
Rate this question