İki bileşenli mantıksal önermelerin doğruluk değerlerini denetlemek amacıyla hazırlanan bir doğruluk tablosunda ve önermelerinin aldığı değerler şu şekildedir:
| D | D | D | Y |
| D | Y | Y | D |
| Y | D | D | Y |
| Y | Y | D | Y |
Buna göre, doğruluk tablosundaki verilerden hareketle ve önermeleriyle ilgili aşağıdaki yargılardan hangisi doğrudur?
- Aönermesi geçerli bir önermedir.
- Bönermesi tutarsız bir önermedir.
- ve önermeleri birlikte tutarsızdır.Cevap
- Dve önermeleri birlikte tutarl��dır.
- Eve önermeleri eşdeğer önermelerdir.
Cevap
F ve G önermeleri birlikte tutarsızdır.
Doğruluk tablosunda iki önermenin birlikte tutarlı olması, en az bir satırda her iki önermenin de aynı anda 'D' (doğru) değerini almasına bağlıdır. Tablo incelendiğinde, F önermesinin 'D' olduğu satırlarda G önermesi 'Y' değerini almış; G önermesinin 'D' olduğu satırda ise F önermesi 'Y' değerini almıştır. İkisinin de aynı anda 'D' olduğu hiçbir satır bulunmadığından, bu önermeler birlikte tutarsızdır.
Adım Adım Çözüm
Anahtar Kavram
Doğruluk tablosunda tutarlılık, geçerlilik ve eşdeğerlik tanımları ile denetlenmesi.