Gerektirme nedir (Koşulun totoloji olması) Test 1

Bir gerektirme önermesinin totoloji olarak kabul edilmesi için, doğruluk tablosunda hangi satırda yanlış değeri almamalıdır?

A) p doğru, q doğru
B) p doğru, q yanlış
C) p yanlış, q doğru
D) p yanlış, q yanlış

Sevgili öğrenciler, bu soru mantık konusundaki temel kavramlardan olan "gerektirme önermesi" ve "totoloji" hakkında. Adım adım bu kavramları inceleyerek doğru cevaba ulaşalım:

• 1. Gerektirme Önermesi (Koşullu Önerme) Nedir?

• Bir gerektirme önermesi, genellikle "$p \implies q$" şeklinde gösterilir ve "p ise q" olarak okunur. Bu önerme, p'nin doğru olması durumunda q'nun da doğru olacağını ifade eder. Ancak, p yanlış olduğunda q'nun ne olduğunun önermenin doğruluğunu etkilemediği durumlarda da önerme doğru kabul edilir.

• 2. Gerektirme Önermesinin Doğruluk Tablosu

• Şimdi "$p \implies q$" önermesinin doğruluk tablosunu oluşturalım:

  $p$	$q$	$p \implies q$
  Doğru (D)	Doğru (D)	Doğru (D)
  Doğru (D)	Yanlış (Y)	Yanlış (Y)
  Yanlış (Y)	Doğru (D)	Doğru (D)
  Yanlış (Y)	Yanlış (Y)	Doğru (D)

  Bu tabloya göre, "$p \implies q$" önermesi yalnızca $p$ doğru ve $q$ yanlış olduğunda yanlış değerini alır. Diğer tüm durumlarda doğru değerini alır.

• 3. Totoloji Nedir?

• Bir önermenin "totoloji" olabilmesi için, doğruluk tablosundaki tüm satırlarda daima doğru (D) değerini alması gerekir. Yani, önermenin doğruluk değeri, bileşenlerinin doğruluk değerlerinden bağımsız olarak her zaman doğrudur.

• 4. Gerektirme Önermesinin Totoloji Olması İçin Gereken Durum

• Soru, bir gerektirme önermesinin totoloji olarak kabul edilmesi için doğruluk tablosunda hangi satırda yanlış değeri almaması gerektiğini soruyor. Yukarıdaki "$p \implies q$" doğruluk tablosuna baktığımızda, bu önermenin yanlış değerini aldığı tek bir satır vardır: $p$ doğru ve $q$ yanlış olduğu satır.

  Eğer "$p \implies q$" önermesinin bir totoloji olmasını isteseydik, bu önermenin hiçbir zaman yanlış değerini almaması gerekirdi. Bu da demektir ki, $p$ doğru ve $q$ yanlış olduğu durumda bile önermenin doğru olması gerekirdi. Ancak, standart gerektirme tanımına göre bu durumda önerme yanlıştır.

  Dolayısıyla, bir gerektirme önermesinin totoloji olabilmesi için, doğruluk tablosunda yanlış değerini aldığı tek satır olan "$p$ doğru, $q$ yanlış" satırında yanlış değeri almaması (yani o satırda da doğru olması) gerekir.

Cevap B seçeneğidir.