Sembolik Mantık Deneme Sınavı Sorusu #444871

Yukarıdaki B, C, D önermelerinin ortak doğruluk tablosuna göre aşağıdakilerden hangisi söylenebilir?


B |= D

B ≡ D

B |= C

D |= C

B ≡ C


Yanıt Açıklaması:

B önermesinin doğru olduğu, yani D değerini aldığı, tüm değerlemelerde D önermeside doğru olduğından doğru cevap B |= D dir.

Yorumlar
  • 0 Yorum