Question

Difficulty: EasyKoşullu ve İki Yönlü Koşullu Önermeler

Her pp ve qq önermesi için pqp \Leftrightarrow q iki yönlü koşullu önermesi, (pq)(qp)(p \Rightarrow q) \vee (q \Rightarrow p) bileşik önermesine her zaman denktir.

Answer: Answer

Answer

Verilen ifade yanlıştır. Doğru eşdeğerlik (pq)(qp)(p \Rightarrow q) \wedge (q \Rightarrow p) şeklinde olmalıdır.
İki yönlü koşullu önerme (pqp \Leftrightarrow q), tanım gereği ancak ve ancak iki koşullu önermenin 've' bağlacı ile birleştirilmesiyle ((pq)(qp) (p \Rightarrow q) \wedge (q \Rightarrow p) ) kurulabilir. Sorudaki önermede 'veya' (\vee) bağlacı kullanıldığından ifade yanlıştır.

Step-by-Step Solution

1
İki yönlü koşullu önermenin (ancak ve ancak bağlacının) tanımını hatırlayın.
pqp \Leftrightarrow q önermesi, 'p ise q' ile 'q ise p' önermelerinin 've' bağlacı ile bağlanmasıyla elde edilir.
İki yönlü koşullu önermenin tanımı gereği iki koşulun da aynı anda gerçekleşmesi gerekir.
2
Tanımı sembolik mantık diline dökün.
pq(pq)(qp)p \Leftrightarrow q \equiv (p \Rightarrow q) \wedge (q \Rightarrow p)
Tanımdaki 've' bağlacı sembolik mantıkta \wedge sembolü ile gösterilir.
3
Verilen önermedeki bağlaç ile tanımı karşılaştırın.
Sorudaki önermede (pq)(qp)(p \Rightarrow q) \vee (q \Rightarrow p) ifadesi verilmiştir. Burada veya (\vee) bağlacı kullanılmıştır.
Veya bağlacı iki koşuldan sadece birinin doğru olmasını yeterli kıldığı için iki yönlü koşulu tam olarak karşılamaz. Dolayısıyla bu iki önerme birbirine her zaman denk değildir.

Key Concept

İki Yönlü Koşullu Önermenin Koşullu Önermeler Cinsinden Tanımı
Rate this question