Soru

Zorluk: KolayKoşullu ve İki Yönlü Koşullu Önermeler

pp ve qq iki önermedir.

Buna göre, p⇒q′p \Rightarrow q' önermesi aşağıdakilerden hangisine her zaman denktir?

  1. A
    p∨q′p \vee q'
  2. B
    p′∨qp' \vee q
  3. p′∨q′p' \vee q'Cevap
  4. D
    p′∧q′p' \wedge q'
  5. E
    p∧q′p \wedge q'

Cevap

p′∨q′p' \vee q' önermesi
Koşullu önermenin veya bağlacı cinsinden eşdeğeri yazılırken birinci bileşenin değili alınır, araya veya bağlacı yerleştirilir ve ikinci bileşen değiştirilmeden yazılır. Dolayısıyla, birinci bileşen olan pp önermesinin değili p′p', ikinci bileşen olan q′q' önermesi ise aynen yazılarak araya veya bağlacı konduğunda p′∨q′p' \vee q' önermesi elde edilir. Bu nedenle doğru yanıt p′∨q′p' \vee q' önermesidir.

Adım Adım Çözüm

1
Koşullu önermenin veya bağlacı cinsinden eşdeğerlik kuralını belirleme.
Bir x⇒yx \Rightarrow y koşullu önermesinin veya bağlacı cinsinden eşdeğeri x′∨yx' \vee y şeklindedir.
Mantıkta koşullu önermeyi veya bağlacına çevirirken birinci bileşenin değili alınır, araya veya bağlacı konur ve ikinci bileşen aynen yazılır.
2
Verilen p⇒q′p \Rightarrow q' önermesine bu kuralı uygulama.
Birinci bileşen olan pp önermesinin değili p′p' olur. İkinci bileşen olan q′q' önermesi ise aynen kalır. Araya veya (∨{\vee}) bağlacı getirildiğinde p′∨q′p' \vee q' ifadesi elde edilir.
Kuralı doğrudan verilen bileşenlere uygulayarak denk olan önermeyi bulmak için.

Anahtar Kavram

Koşullu önermenin veya bağlacı cinsinden eşdeğeri

Alternatif Yöntem

Doğruluk tablosu oluşturarak her bir doğruluk durumu için p⇒q′p \Rightarrow q' önermesi ile seçeneklerdeki önermelerin doğruluk değerleri karşılaştırılabilir.
Tahmini Süre:45s
Bu soruyu puanla