Aşağıdaki öncüller veriliyor:
Bu öncüllerden mantıksal olarak çıkarılamayan sonuç hangisidir?
Aşağıdaki öncüller veriliyor:
Bu öncüllerden mantıksal olarak çıkarılamayan sonuç hangisidir?
Lütfen önce bir cevap seç.
Doğru cevap: D
1) Verilen öncüller: ( p → q ) ∧ ( q → r ) ∧ ¬ r 2) İkinci öncül ile üçüncü öncülden (modus tollens): q → r ¬ r Buradan sonuç: ¬ q 3) Birinci öncül ile elde edilen sonuçtan (modus tollens): p → q ¬ q Buradan sonuç: ¬ p 4) Böylece öncüllerden şu iki sonuç mantıksal olarak çıkar: ¬ q ¬ p 5) Bu nedenle A ve B şıkları çıkarılabilir; ayrıca ikisini birlikte yazarsak C şıkkı da çıkarılabilir: ¬ p ∧ ¬ q 6) D şıkkının öncüllerden çıkıp çıkmadığını kontrol edelim. Öncüllerde zaten: ¬ r Ayrıca 3. adımda: ¬ p Bu iki bilgi birlikte, aşağıdaki ifadenin yanlış olduğunu gösterir: p ∨ r Hatta öncüllerden şu da çıkar: ¬ ( p ∨ r ) 7) Sonuç: D şıkkı öncüllerden mantıksal olarak çıkarılamaz (hatta öncüller D’nin tersini zorunlu kılar). Bu yüzden doğru cevap D’dir.
- Çözüm: 1) Verilen öncüller: ( p → q ) ∧ ( q → r ) ∧ ¬ r 2) İkinci öncül ile üçüncü öncülden (modus tollens): q → r ¬ r Buradan sonuç: ¬ q 3) Birinci öncül ile elde edilen sonuçtan (modus tollens): p → q ¬ q Buradan sonuç: ¬ p 4) Böylece öncüllerden şu iki sonuç mantıksal olarak çıkar: ¬ q ¬ p 5) Bu nedenle A ve B şıkları çıkarılabilir; ayrıca ikisini birlikte yazarsak C şıkkı da çıkarılabilir: ¬ p ∧ ¬ q 6) D şıkkının öncüllerden çıkıp çıkmadığını kontrol edelim. Öncüllerde zaten: ¬ r Ayrıca 3. adımda: ¬ p Bu iki bilgi birlikte, aşağıdaki ifadenin yanlış olduğunu gösterir: p ∨ r Hatta öncüllerden şu da çıkar: ¬ ( p ∨ r ) 7) Sonuç: D şıkkı öncüllerden mantıksal olarak çıkarılamaz (hatta öncüller D’nin tersini zorunlu kılar). Bu yüzden doğru cevap D’dir.
1) Verilen öncüller:
2) İkinci öncül ile üçüncü öncülden (modus tollens):
Buradan sonuç:
3) Birinci öncül ile elde edilen sonuçtan (modus tollens):
Buradan sonuç:
4) Böylece öncüllerden şu iki sonuç mantıksal olarak çıkar:
5) Bu nedenle A ve B şıkları çıkarılabilir; ayrıca ikisini birlikte yazarsak C şıkkı da çıkarılabilir:
6) D şıkkının öncüllerden çıkıp çıkmadığını kontrol edelim. Öncüllerde zaten:
Ayrıca 3. adımda:
Bu iki bilgi birlikte, aşağıdaki ifadenin yanlış olduğunu gösterir:
Hatta öncüllerden şu da çıkar:
7) Sonuç: D şıkkı öncüllerden mantıksal olarak çıkarılamaz (hatta öncüller D’nin tersini zorunlu kılar). Bu yüzden doğru cevap D’dir.