Aşağıdaki eşdeğerliklerden hangisi her durumda doğrudur?
Lütfen önce bir cevap seç.
Doğru cevap: C
Soru: Her durumda doğru olan (totoloji) eşdeğerliği arıyoruz. şıkkıC62nın doğru olup olmadığını doğruluk tablosu ve bilinen mantık kuralı ile kontrol edelim. şıkkıC157ndaki ifade: ¬ ( p ∨ q ) ↔ ( ¬ p ∧ ¬ q ) Bu ifade, De Morgan kuralıdır. De Morgan kuralı şunu söyler: ¬ ( p ∨ q ) ≡ ( ¬ p ∧ ¬ q ) Yani iki taraf her durumda aynı doğruluk değerini verir. İstersen doğruluk tablosu ile de kesinleştirelim. Aşağıda D: doğru, Y: yanlış anlamındadır. p q p ∨ q ¬ ( p ∨ q ) ¬ p ¬ q ( ¬ p ∧ ¬ q ) D D D Y Y Y Y D Y D Y Y D Y Y D D Y D Y Y Y Y Y D D D D Tabloda iki sütun her satırda aynı çıktığı için eşdeğerlik her durumda doğrudur. Dolayısıyla şıkkıC636 doğrudur. Diğer şıkların neden her durumda doğru olmadığını hızlı birer karşı örnekle görelim: A şıkkı için, p ve q ikisi de doğru seçilirse: ¬ ( D ∧ D ) = ¬ D = Y ( ¬ D ∧ ¬ D ) = ( Y ∧ Y ) = Y Bu satırda aynı çıktılar görünse de A şıkkı genel kural olarak yanlıştır; çünkü doğru eşdeğerlik şu olmalıydı: ¬ ( p ∧ q ) ≡ ( ¬ p ∨ ¬ q ) C şıkkı için p doğru, q yanlış seçilirse: ( D → Y ) = Y ( ¬ D → ¬ Y ) = ( Y → D ) = D İki taraf farklı çıktığı için C her durumda doğru değildir. D şıkkı için p doğru, q yanlış seçilirse: ( D ↔ Y ) = Y ( D ∨ Y ) = D İki taraf farklı çıktığı için D de her durumda doğru değildir. Sonuç: Doğru cevap C1263’dir.
- Çözüm: Soru: Her durumda doğru olan (totoloji) eşdeğerliği arıyoruz. şıkkıC62nın doğru olup olmadığını doğruluk tablosu ve bilinen mantık kuralı ile kontrol edelim. şıkkıC157ndaki ifade: ¬ ( p ∨ q ) ↔ ( ¬ p ∧ ¬ q ) Bu ifade, De Morgan kuralıdır. De Morgan kuralı şunu söyler: ¬ ( p ∨ q ) ≡ ( ¬ p ∧ ¬ q ) Yani iki taraf her durumda aynı doğruluk değerini verir. İstersen doğruluk tablosu ile de kesinleştirelim. Aşağıda D: doğru, Y: yanlış anlamındadır. p q p ∨ q ¬ ( p ∨ q ) ¬ p ¬ q ( ¬ p ∧ ¬ q ) D D D Y Y Y Y D Y D Y Y D Y Y D D Y D Y Y Y Y Y D D D D Tabloda iki sütun her satırda aynı çıktığı için eşdeğerlik her durumda doğrudur. Dolayısıyla şıkkıC636 doğrudur. Diğer şıkların neden her durumda doğru olmadığını hızlı birer karşı örnekle görelim: A şıkkı için, p ve q ikisi de doğru seçilirse: ¬ ( D ∧ D ) = ¬ D = Y ( ¬ D ∧ ¬ D ) = ( Y ∧ Y ) = Y Bu satırda aynı çıktılar görünse de A şıkkı genel kural olarak yanlıştır; çünkü doğru eşdeğerlik şu olmalıydı: ¬ ( p ∧ q ) ≡ ( ¬ p ∨ ¬ q ) C şıkkı için p doğru, q yanlış seçilirse: ( D → Y ) = Y ( ¬ D → ¬ Y ) = ( Y → D ) = D İki taraf farklı çıktığı için C her durumda doğru değildir. D şıkkı için p doğru, q yanlış seçilirse: ( D ↔ Y ) = Y ( D ∨ Y ) = D İki taraf farklı çıktığı için D de her durumda doğru değildir. Sonuç: Doğru cevap C1263’dir.
Soru: Her durumda doğru olan (totoloji) eşdeğerliği arıyoruz. şıkkıC115nın doğru olup olmadığını doğruluk tablosu ve bilinen mantık kuralı ile kontrol edelim.
şıkkıC272ndaki ifade:
Bu ifade, De Morgan kuralıdır. De Morgan kuralı şunu söyler:
Yani iki taraf her durumda aynı doğruluk değerini verir.
İstersen doğruluk tablosu ile de kesinleştirelim. Aşağıda D: doğru, Y: yanlış anlamındadır.
Tabloda iki sütun her satırda aynı çıktığı için eşdeğerlik her durumda doğrudur. Dolayısıyla şıkkıC2493 doğrudur.
Diğer şıkların neden her durumda doğru olmadığını hızlı birer karşı örnekle görelim:
A şıkkı için, p ve q ikisi de doğru seçilirse:
Bu satırda aynı çıktılar görünse de A şıkkı genel kural olarak yanlıştır; çünkü doğru eşdeğerlik şu olmalıydı:
C şıkkı için p doğru, q yanlış seçilirse:
İki taraf farklı çıktığı için C her durumda doğru değildir.
D şıkkı için p doğru, q yanlış seçilirse:
İki taraf farklı çıktığı için D de her durumda doğru değildir.
Sonuç: Doğru cevap C4966’dir.