Question

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

Bir felsefe öğretmeni mantık dersinde tahtaya aşağıdaki doğruluk tablosunu çizmiştir:

ppqqÖnerme 1: pqp \rightarrow qÖnerme 2: pq\sim p \vee qÖnerme 3: pqp \wedge \sim q
DDDDY
DYYYD
YDDDY
YYDDY

Bu doğruluk tablosundan hareketle yapılan denetleme sonucunda aşağıdaki ifadelerden hangisi doğrudur?

  1. A
    Önerme 3, tek başına tutarsız bir önermedir.
  2. B
    Önerme 1 ve Önerme 2 geçerlidir, Önerme 3 ise geçersizdir.
  3. Önerme 1 ve Önerme 2 eşdeğerdir, Önerme 1 ile Önerme 3 ise birlikte tutarsızdır.Answer
  4. D
    Önerme 1 ve Önerme 3 eşdeğerdir, çünkü her ikisinin de yanlışlandığı satırlar vardır.
  5. E
    Önerme 2 geçerli, Önerme 3 ise tutarlıdır.

Answer

Önerme 1 ve Önerme 2 eşdeğerdir, Önerme 1 ile Önerme 3 ise birlikte tutarsızdır.
Doğruluk tablosu incelendiğinde Önerme 1 ve Önerme 2'nin tüm satırlardaki doğruluk değerleri (D, Y, D, D) tamamen aynıdır. Bu durum iki önermenin eşdeğer olduğunu gösterir. Diğer yandan Önerme 1 ile Önerme 3'ün doğruluk değerleri incelendiğinde, her iki önermenin de aynı anda doğru (D) değeri aldığı hiçbir yorumlama satırı bulunmamaktadır. Dolayısıyla bu iki önerme birlikte tutarsızdır.

Step-by-Step Solution

1
Önerme 1 (pqp \rightarrow q) ve Önerme 2'nin (pq\sim p \vee q) doğruluk değerlerini tüm satırlar için karşılaştırın.
Her iki önerme de sırasıyla D, Y, D, D değerlerini almaktadır. Değerler birebir aynıdır.
Doğruluk tablolarında tüm satırlardaki doğruluk değerleri aynı olan önermeler eşdeğer kabul edilir.
2
Önerme 1 (pqp \rightarrow q) ve Önerme 3'ün (pqp \wedge \sim q) birlikte tutarlı olup olmadığını denetleyin.
İki önermenin aynı satırda doğru (D) değeri aldığı ortak bir satır yoktur (1. satır: D-Y, 2. satır: Y-D, 3. satır: D-Y, 4. satır: D-Y).
İki veya daha fazla önermenin birlikte tutarlı olması için doğruluk tablosunda en az bir satırda aynı anda doğru (D) değeri almaları gerekir. Hiçbir satırda birlikte doğru değeri alamıyorlarsa bu önermeler birlikte tutarsızdır.

Key Concept

Doğruluk tablosu kullanarak önermelerin tutarlılığını, geçerliliğini ve eşdeğerliğini denetleme
Estimated Time:2m 0s
Rate this question