Veya bağlacı doğruluk tablosu Test 2

🎓 Veya bağlacı doğruluk tablosu Test 2 - Ders Notu

Bu ders notu, "Veya" (disjunction) bağlacının mantık dünyasındaki yerini, doğruluk tablosunu ve bu konuyla ilgili temel kavramları kolayca anlaman için hazırlandı. Testindeki soruları çözerken bu bilgilere rahatlıkla başvurabilirsin.

📌 Önerme ve Doğruluk Değeri

Mantıkta, doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Bir önerme aynı anda hem doğru hem de yanlış olamaz.

• Bir önermenin doğru olma durumuna "doğruluk değeri doğru" (D veya 1), yanlış olma durumuna ise "doğruluk değeri yanlış" (Y veya 0) denir.
• Önermeler genellikle $p, q, r, ...$ gibi küçük harflerle gösterilir.

💡 İpucu: Emir, soru, ünlem cümleleri önerme değildir, çünkü kesin bir doğruluk değeri taşımazlar.

📌 Mantık Bağlaçları ve "Veya" Bağlacı

Birden fazla önermeyi birbirine bağlamak için mantık bağlaçları kullanılır. "Veya" bağlacı da bunlardan biridir ve günlük hayatta kullandığımız "veya" kelimesiyle benzer bir mantığa sahiptir.

• "Veya" bağlacı "disjunction" olarak da bilinir ve sembolü $ \lor $ şeklindedir.
• İki önerme $p$ ve $q$ için "$p$ veya $q$" ifadesi $p \lor q$ şeklinde gösterilir.
• $p \lor q$ önermesi, $p$ veya $q$ önermelerinden en az birinin doğru olması durumunda doğrudur.

⚠️ Dikkat: Günlük dildeki "veya" bazen "ya ... ya da ..." anlamında (özel veya) kullanılsa da, mantıkta "veya" en az birinin doğru olmasını ifade eder.

📌 "Veya" Bağlacının Doğruluk Tablosu

Bir bağlacın doğruluk tablosu, o bağlaçla birleşen önermelerin tüm olası doğruluk değerlerine karşılık, bileşik önermenin doğruluk değerini gösteren bir tablodur. "Veya" bağlacının doğruluk tablosu şu şekildedir:

• $p$ doğru, $q$ doğru ise $p \lor q$ doğrudur. ($1 \lor 1 \equiv 1$)
• $p$ doğru, $q$ yanlış ise $p \lor q$ doğrudur. ($1 \lor 0 \equiv 1$)
• $p$ yanlış, $q$ doğru ise $p \lor q$ doğrudur. ($0 \lor 1 \equiv 1$)
• $p$ yanlış, $q$ yanlış ise $p \lor q$ yanlıştır. ($0 \lor 0 \equiv 0$)

📝 Örnek: "Hava güneşli VEYA bugün pikniğe gideceğiz." Bu önermenin doğru olması için havanın güneşli olması ya da pikniğe gitmemizden en az birinin gerçekleşmesi yeterlidir. Her ikisi de yanlışsa, önerme yanlış olur.

📌 "Veya" Bağlacının Özellikleri

"Veya" bağlacının işlem yaparken bilmemiz gereken bazı temel özellikleri vardır. Bu özellikler, karmaşık önermeleri basitleştirmemize yardımcı olur.

• Tek Kuvvet Özelliği (İdempotent): $p \lor p \equiv p$
• Değişme Özelliği (Commutative): $p \lor q \equiv q \lor p$
• Birleşme Özelliği (Associative): $(p \lor q) \lor r \equiv p \lor (q \lor r)$
• Etkisiz Eleman: $p \lor 0 \equiv p$ (0 yanlış önermeyi temsil eder.)
• Yutan Eleman: $p \lor 1 \equiv 1$ (1 doğru önermeyi temsil eder.)
• De Morgan Kuralları (Veya için): $(p \lor q)' \equiv p' \land q'$ (Bu kural "ve" bağlacıyla birlikte kullanılır, ama "veya"nın olumsuzunu anlamak için önemlidir.)

💡 İpucu: Bu özellikler, bazen uzun ve karmaşık görünen mantık ifadelerini daha kısa ve anlaşılır hale getirmek için anahtardır.

📌 Denk Önermeler

İki veya daha fazla önermenin doğruluk değerleri aynı ise, bu önermelere denk önermeler denir. Denk önermeler $ \equiv $ sembolü ile gösterilir.

• İki önermenin denk olup olmadığını anlamak için doğruluk tabloları karşılaştırılır.
• Eğer her iki önermenin de tüm olası durumlardaki doğruluk değerleri sütunları aynı ise, bu önermeler denktir.

⚠️ Dikkat: Denk önermeler aynı anlama gelmese de, aynı doğruluk değerine sahiptirler. Örneğin, "$p \lor p$" ile "$p$" önermeleri denktir ($p \lor p \equiv p$).