Question

Difficulty: HardÖnermeler ve Bağlaçlar

Sıfıra eşit olmayan aa, bb ve cc tam sayıları için aşağıdaki önermeler tanımlanmıştır:

pp: "aa ve bb sayıları zıt işaretlidir."
qq: "bb ve cc sayıları aynı işaretlidir."
rr: "a+c>0a + c > 0"

((pq)(qr))0((p' \Rightarrow q)' \lor (q \lor r')) \equiv 0

olduğuna göre; aa, bb ve cc tam sayılarının işaretleri sırasıyla aşağıdakilerden hangisidir?

  1. A
    +, +, -
  2. B
    +, -, -
  3. +, -, +Answer
  4. D
    -, -, +
  5. E
    -, +, -

Answer

İşaretler sırasıyla +, -, + şeklindedir.
Bileşik önermenin doğruluk değeri 0 olduğuna göre, veya bağlacının özelliğinden dolayı her iki bileşenin de 0 olması gerekir. Buradan ((pq)0((p' \Rightarrow q)' \equiv 0 ve qr0q \lor r' \equiv 0 elde edilir. İkinci kısımdan q0q \equiv 0 ve r0r1r' \equiv 0 \Rightarrow r \equiv 1 bulunur. Birinci kısımda ise pq1p' \Rightarrow q \equiv 1 olur. q0q \equiv 0 olduğundan, p01p' \Rightarrow 0 \equiv 1 ifadesinin doğru olması için p0p' \equiv 0 yani p1p \equiv 1 olmalıdır. Bulunan doğruluk değerlerine göre, pp önermesi doğru olduğundan aa ve bb zıt işaretlidir. qq önermesi yanlış olduğundan bb ve cc aynı işaretli değildir, yani zıt işaretlidir. Bu durumda aa ve cc aynı işaretli olur. rr önermesi doğru olduğundan a+c>0a + c > 0 dır. Aynı işaretli iki sayının toplamı pozitif olduğundan hem aa hem de cc pozitif olmak zorundadır. aa pozitif ve bb ile zıt işaretli olduğundan bb negatif olmalıdır. Dolayısıyla işaretler sırasıyla +, -, + şeklindedir.

Step-by-Step Solution

1
Bileşik önermenin doğruluk değerini bileşenlerine ayırmak.
((pq)(qr))0((p' \Rightarrow q)' \lor (q \lor r')) \equiv 0 ise veya (\lor) bağlacının kuralı gereği hem (pq)0(p' \Rightarrow q)' \equiv 0 hem de qr0q \lor r' \equiv 0 olmalıdır.
Veya bağlacıyla bağlanmış iki ifadenin sonucu ancak her iki bileşen de yanlış (0) olduğunda yanlış olur.
2
qq ve rr önermelerinin doğruluk değerlerini bulmak.
qr0q \lor r' \equiv 0 ifadesinden q0q \equiv 0 ve r0r1r' \equiv 0 \Rightarrow r \equiv 1 bulunur.
Veya bağlacının özelliğinden dolayı qq ve rr' sıfıra eşit olmalıdır, dolayısıyla rr önermesi 1 olur.
3
pp önermesinin doğruluk değerini bulmak.
(pq)0pq1(p' \Rightarrow q)' \equiv 0 \Rightarrow p' \Rightarrow q \equiv 1 olur. q0q \equiv 0 değerini yerine yazarsak p01p' \Rightarrow 0 \equiv 1 elde edilir. İse bağlacının kuralına göre sonucun 1 olması için önermenin birinci kısmının 0 olması gerekir, yani p0p1p' \equiv 0 \Rightarrow p \equiv 1 bulunur.
İse (\Rightarrow) bağlacında sonucun 1, ikinci bileşenin 0 olduğu tek durum, birinci bileşenin de 0 olması durumudur.
4
Önermelerin doğruluk değerlerini sayılarla ilişkilendirmek.
p1p \equiv 1 olduğundan aa ve bb zıt işaretlidir. q0q \equiv 0 olduğundan bb ve cc aynı işaretli değildir, yani zıt işaretlidir. Bu durumda aa ve cc aynı işaretli olur.
Bulunan doğruluk değerleri (p1p \equiv 1, q0q \equiv 0) önermelerin sözel ifadeleriyle karşılaştırılarak sayıların işaret ilişkileri belirlenir.
5
aa, bb ve cc tam sayılarının kesin işaretlerini belirlemek.
r1r \equiv 1 olduğundan a+c>0a + c > 0 dır. aa ve cc aynı işaretli olduğundan ve toplamları pozitif olduğundan her ikisi de pozitif (a>0a > 0, c>0c > 0) olmalıdır. aa pozitif ve bb ile zıt işaretli olduğundan bb negatif (b<0b < 0) olur. Dolayısıyla işaretler sırasıyla +, -, + şeklindedir.
Aynı işaretli iki sayının toplamının pozitif olması, her iki sayının da pozitif olmasını gerektirir. Buradan hareketle tüm değişkenlerin işaretleri kesinleşir.

Key Concept

Bileşik önermelerin doğruluk değerlerinin çözümlenmesi ve bu değerlerin reel/tam sayı özellikleri ve eşitsizlikler ile ilişkilendirilmesi.
Estimated Time:2m 30s
Rate this question