Examkin

Question

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

Sembolik mantıkta önermelerin ve önerme çiftlerinin doğruluk tablosu ile denetlenmesi sonucunda sahip oldukları çeşitli özellikler bulunmaktadır. Aşağıda sol sütunda verilen önermeleri ve önerme çiftlerini, sağ sütundaki doğruluk tablosu denetleme sonuçlarıyla doğru şekilde eşleştiriniz.

  • p↔∼pp \leftrightarrow \sim pDoğruluk tablosunun tüm satırlarında "Yanlış" (YY) değeri alan tutarsız önerme
  • p→(q→p)p \rightarrow (q \rightarrow p)Doğruluk tablosunun tüm satırlarında "Doğru" (DD) değeri alan geçerli önerme
  • p→qp \rightarrow q ve ∼p∨q\sim p \vee qDoğruluk tablosunda aynı satırlarda aynı doğruluk değerlerini alan eşdeğer önermeler
  • p∧∼qp \wedge \sim qDoğruluk tablosunda en az bir "Doğru" (DD) ve en az bir "Yanlış" (YY) değeri alan tutarlı ama geçersiz önerme

Answer

Sol sütundaki önermeler ve önerme çiftleri, sağ sütundaki doğruluk tablosu denetleme sonuçlarıyla sırasıyla şu şekilde eşleşir: p↔∼pp \leftrightarrow \sim p önermesi tutarsız önerme ile; p→(q→p)p \rightarrow (q \rightarrow p) önermesi geçerli önerme ile; p→qp \rightarrow q ve ∼p∨q\sim p \vee q önermeleri eşdeğer önermeler ile; p∧∼qp \wedge \sim q önermesi ise tutarlı ama geçersiz önerme ile eşleşir.
Doğruluk tablosu analizinde: p↔∼pp \leftrightarrow \sim p önermesi bileşenlerinin karşılıklı çelişik olmasından dolayı her durumda yanlış çıktığından tutarsızdır. p→(q→p)p \rightarrow (q \rightarrow p) önermesi mantıksal yapısı gereği tüm yorumlamalarda doğru çıktığından geçerlidir. p→qp \rightarrow q ile ∼p∨q\sim p \vee q önermeleri tüm satırlarda aynı doğruluk değerlerini (D, Y, D, D) paylaştığından eşdeğerdir. p∧∼qp \wedge \sim q önermesi ise tek bir satırda doğru, diğer üç satırda yanlış değerini alarak tutarlı ama geçersiz bir yapı sergiler. Eşleştirme bu mantıksal denetim kurallarına dayanmaktadır.

Step-by-Step Solution

1
Her bir önermenin doğruluk değerlerini belirlemek için pp ve qq basit önermelerine ait doğruluk tablosunu hazırlayın.
pp ve qq için 4 satırlı standart doğruluk tablosu (DD, DY, YD, YY) oluşturulur.
Önermelerin doğruluk tablosu ile denetlenebilmesi için tüm olasılıkların listelenmesi gerekir.
2
p↔∼pp \leftrightarrow \sim p önermesinin doğruluk değerlerini hesaplayın.
pp doğruyken ∼p\sim p yanlış, pp yanlışken ∼p\sim p doğrudur. İki bileşenin değerleri her zaman zıt olduğundan karşılıklı koşul eklemi (p↔∼pp \leftrightarrow \sim p) her iki satırda da Yanlış (YY) sonucunu verir. Bu durum önermenin tutarsız olduğunu gösterir.
Tüm satırlarda yanlış değeri alan önermelerin tutarsızlık özelliğini belirlemek.
3
p→(q→p)p \rightarrow (q \rightarrow p) önermesinin doğruluk değerlerini her bir satır için hesaplayın.
q→pq \rightarrow p bileşeni yalnızca qq doğru ve pp yanlışken Yanlış (YY), diğer durumlarda Doğru (DD) değerini alır. Ana eklem olan koşul eklemi (p→(q→p)p \rightarrow (q \rightarrow p)) çözümlendiğinde tüm satırlarda Doğru (DD) sonucu elde edilir. Bu durum önermenin geçerli olduğunu kanıtlar.
Tüm satırlarda doğru değeri alan önermelerin geçerlilik özelliğini tespit etmek.
4
p→qp \rightarrow q ve ∼p∨q\sim p \vee q önermelerinin doğruluk değerlerini karşılaştırın.
İki önerme de sırasıyla D, Y, D, D doğruluk değerlerini alır. Bütün satırlarda aynı doğruluk değerlerine sahip oldukları görülür. Bu durum önermelerin eşdeğer olduğunu gösterir.
İki önermenin doğruluk tablosundaki değerlerinin karşılıklı olarak eşdeğerliğini denetlemek.
5
p∧∼qp \wedge \sim q önermesinin doğruluk değerlerini hesaplayın.
Önerme yalnızca pp doğru ve qq yanlış olduğunda Doğru (DD) değerini alır. Diğer tüm satırlarda Yanlış (YY) değerini alır. En az bir satırda Doğru aldığı için tutarlı, en az bir satırda Yanlış aldığı için ise geçersizdir.
En az bir satırda doğru ve en az bir satırda yanlış değeri alan önermenin tutarlı ama geçersiz olma durumunu belirlemek.

Key Concept

Doğruluk Tablosu ile Tutarlılık, Geçerlilik ve Eşdeğerlik Denetleme
Estimated Time:2m 0s
Rate this question

Topics

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

More questions from this topic