Question

Difficulty: MediumDoğruluk Tablosu ile Tutarlılık, Geçerlilik ve Eşdeğerlik Denetleme

Aşağıda sol sütunda sembolik mantık dilinde verilen önermeleri, doğruluk tablosu ile denetlendiklerinde gösterdikleri özelliklere göre sağ sütundaki uygun mantıksal nitelendirmelerle eşleştiriniz.

  • p(qp)p \rightarrow (q \rightarrow p) önermesiDoğruluk tablosunun tüm satırlarında doğru (DD) değeri alan; bu doğrultuda hem tutarlı hem de geçerli olan önerme durumu
  • (pp)\sim (p \vee \sim p) önermesiDoğruluk tablosunun hiçbir satırında doğru (DD) değeri alamayan; bu doğrultuda tutarsız ve geçersiz olan önerme durumu
  • pq\sim p \wedge q önermesiDoğruluk tablosunda en az bir doğru (DD) ve en az bir yanlış (YY) değeri alan; bu doğrultuda tutarlı ama geçersiz olan önerme durumu

Answer

Sol sütundaki p(qp)p \rightarrow (q \rightarrow p) önermesi tüm satırlarda doğru (DD) değeri alarak geçerli ve tutarlı olan durumla; (pp)\sim (p \vee \sim p) önermesi tüm satırlarda yanlış (YY) değeri alarak tutarsız olan durumla; pq\sim p \wedge q önermesi ise bazı satırlarda doğru (DD), bazı satırlarda yanlış (YY) değeri alarak tutarlı ama geçersiz olan durumla eşleşir.
p(qp)p \rightarrow (q \rightarrow p) önermesi tablonun her satırında doğru (DD) değeri alarak geçerlilik ve tutarlılık şartını yerine getirir. (pp)\sim (p \vee \sim p) önermesi hiçbir satırda doğru (DD) alamayıp tüm satırlarda yanlış (YY) değerini alarak tutarsız olur. pq\sim p \wedge q önermesi ise tek bir satırda doğru (DD) ve diğer satırlarda yanlış (YY) değer alarak tutarlı ancak geçersiz olur.

Step-by-Step Solution

1
p(qp)p \rightarrow (q \rightarrow p) önermesinin doğruluk tablosundaki değerlerini hesaplama.
Doğruluk tablosunda:

ppqqqpq \rightarrow pp(qp)p \rightarrow (q \rightarrow p)
DDDD
DYDD
YDYD
YYDD
Ana eklem olan koşul ekleminin tüm satırlarda doğru (DD) değerini aldığını ve bu nedenle önermenin hem tutarlı hem geçerli olduğunu doğrulamak.
2
(pp)\sim (p \vee \sim p) önermesinin doğruluk tablosundaki değerlerini hesaplama.
Doğruluk tablosunda:

ppp\sim pppp \vee \sim p(pp)\sim (p \vee \sim p)
DYDY
YDDY
Ana eklem olan değilleme ekleminin tüm satırlarda yanlış (YY) değerini aldığını ve bu nedenle önermenin tutarsız olduğunu doğrulamak.
3
pq\sim p \wedge q önermesinin doğruluk tablosundaki değerlerini hesaplama.
Doğruluk tablosunda:

ppqqp\sim ppq\sim p \wedge q
DDYY
DYYY
YDDD
YYDY
Ana eklem olan tümel evetleme ekleminin üçüncü satırda doğru (DD), diğer satırlarda yanlış (YY) değerini aldığını, böylece önermenin tutarlı ancak geçersiz olduğunu doğrulamak.

Key Concept

Doğruluk tablosu yöntemiyle önermelerin geçerlilik, tutarlılık ve tutarsızlık durumlarının belirlenmesi.
Estimated Time:2m 0s
Rate this question