Aşağıda verilen sembolik mantık kavramları ile bu kavramların doğruluk tablosundaki denetleme özelliklerini doğru şekilde eşleştiriniz.
- Geçerli ÖnermeDoğruluk tablosunun tüm satırlarında 'Doğru' (D) değeri alan önermedir.
- Tutarlı Ama Geçersiz ÖnermeDoğruluk tablosunun en az bir satırında 'Doğru' (D) ve en az bir satırda 'Yanlış' (Y) değeri alan önermedir.
- Tutarsız ÖnermeDoğruluk tablosunun tüm satırlarında 'Yanlış' (Y) değeri alan önermedir.
- Eşdeğer ÖnermelerDoğruluk tablosunda aynı satırlarda birebir aynı doğruluk değerlerini (D-D veya Y-Y) alan önermelerdir.
Cevap
Geçerli önerme doğruluk tablosunun tüm satırlarında 'Doğru' (D) değeri alan önermedir; tutarlı ama geçersiz önerme en az bir satırda 'Doğru' (D) ve en az bir satırda 'Yanlış' (Y) değeri alan önermedir; tutarsız önerme tüm satırlarında 'Yanlış' (Y) değeri alan önermedir; eşdeğer önermeler ise doğruluk tablosunda aynı satırlarda birebir aynı doğruluk değerlerini alan önermelerdir.
Doğruluk tablosu ile denetlemede; geçerli önerme tüm satırları 'Doğru' (D) olan, tutarsız önerme tüm satırları 'Yanlış' (Y) olan, tutarlı ama geçersiz önerme en az bir 'Doğru' (D) ve en az bir 'Yanlış' (Y) satırına sahip olan, eşdeğer önermeler ise her satırda aynı doğruluk değerini paylaşan önermelerdir. Eşleştirme bu temel kurallara göre yapılmıştır.
Adım Adım Çözüm
Anahtar Kavram
Sembolik mantıkta doğruluk tablosu ile tutarlılık, geçerlilik ve eşdeğerlik denetleme kuralları