Doğruluk değeri nedir Test 2

🎓 Doğruluk değeri nedir Test 2 - Ders Notu

Merhaba sevgili öğrenciler! Bu ders notu, "Doğruluk değeri nedir Test 2" sınavında karşılaşacağınız temel mantık konularını anlamanıza yardımcı olmak için hazırlandı. Önermeler, mantık bağlaçları ve doğruluk tabloları gibi konuları basit ve anlaşılır bir dille ele alacağız.

📌 Önerme ve Doğruluk Değeri

Mantıkta her şeyin başlangıcı önermelerdir. Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren cümledir.

• Tanım: "Doğru" ya da "Yanlış" değeri alabilen, kesin yargı bildiren ifadelere önerme denir.
• Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri "D" veya "1", yanlış ise "Y" veya "0" olarak gösterilir.
• Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru önerme, değeri 1). "2 + 3 = 6" (Yanlış önerme, değeri 0).

💡 İpucu: Soru, emir, ünlem, dilek cümleleri önerme değildir çünkü bunlara doğru ya da yanlış diyemeyiz. Örneğin, "Nasılsın?" bir önerme değildir.

📌 "Değil" (Olumsuzlama - $\neg$)

Bir önermenin olumsuzu, o önermenin tam tersi doğruluk değerine sahip olması demektir.

• Gösterim: Bir $p$ önermesinin değili $\neg p$ şeklinde gösterilir.
• Doğruluk Kuralı: Eğer $p$ doğruysa ($\text{D}$), $\neg p$ yanlıştır ($\text{Y}$). Eğer $p$ yanlışsa ($\text{Y}$), $\neg p$ doğrudur ($\text{D}$).
• Örnek: $p$: "Hava güneşlidir." $\neg p$: "Hava güneşli değildir."

⚠️ Dikkat: $\neg(\neg p)$ her zaman $p$'ye denktir. Yani bir şeyin iki kere olumsuzunu almak, o şeyi tekrar elde etmektir.

📌 "Ve" (Tümel Evetleme - $\land$)

"Ve" bağlacı, iki önermenin aynı anda doğru olmasını gerektirir.

• Gösterim: $p$ ve $q$ önermeleri için $p \land q$ şeklinde yazılır.
• Doğruluk Kuralı: $p \land q$ önermesi, ancak ve ancak hem $p$ hem de $q$ doğru olduğunda doğrudur. Diğer tüm durumlarda yanlıştır.
• Hatırlatma: Çarpma işlemi gibi düşünebilirsiniz: $1 \times 1 = 1$, diğerleri $0$.
• Örnek: "Ayşe okula geldi ve ders çalıştı." Bu cümle, Ayşe hem okula geldiyse hem de ders çalıştıysa doğrudur.

💡 İpucu: Bir tanesi bile yanlış olsa, "ve" bağlacıyla kurulan bileşik önerme yanlıştır.

📌 "Veya" (Tikel Evetleme - $\lor$)

"Veya" bağlacı, en az bir önermenin doğru olmasını yeterli görür.

• Gösterim: $p$ veya $q$ önermeleri için $p \lor q$ şeklinde yazılır.
• Doğruluk Kuralı: $p \lor q$ önermesi, ancak ve ancak her iki önerme de yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.
• Hatırlatma: Toplama işlemi gibi düşünebilirsiniz: $0 + 0 = 0$, diğerleri $1$.
• Örnek: "Ali doktora gidecek veya ilaç alacak." Bu cümle, Ali doktora gitse de, ilaç alsa da, ikisini de yapsa da doğrudur. Sadece ikisini de yapmazsa yanlıştır.

⚠️ Dikkat: Günlük dildeki "veya" bazen "ya da" anlamında kullanılsa da, mantıkta $p \lor q$ her iki önermenin de doğru olduğu durumda doğrudur.

📌 "Ya da" (Tikel Ayrılma - $\underline{\lor}$)

"Ya da" bağlacı, iki önermeden sadece birinin doğru olmasını ister, ikisinin birden doğru olmasını istemez.

• Gösterim: $p$ ya da $q$ önermeleri için $p \underline{\lor} q$ şeklinde yazılır.
• Doğruluk Kuralı: $p \underline{\lor} q$ önermesi, önermelerin doğruluk değerleri farklı olduğunda doğrudur. Doğruluk değerleri aynı ise yanlıştır.
• Örnek: "Ya çay içeceğim ya da kahve." Aynı anda hem çay hem kahve içemezsiniz.

💡 İpucu: Bu bağlaç, günlük hayattaki "seçim yapma" durumlarına benzer. Sadece birini seçebilirsin.

📌 "İse" (Koşullu Önerme - $\implies$)

"İse" bağlacı, bir durumun başka bir durumu takip etmesi koşulunu ifade eder. Sebep-sonuç ilişkisi gibi düşünülebilir.

• Gösterim: $p$ ise $q$ önermeleri için $p \implies q$ şeklinde yazılır. ($p$ hipotez, $q$ hüküm)
• Doğruluk Kuralı: $p \implies q$ önermesi, sadece $p$ doğru ve $q$ yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.
• Hatırlatma: "Doğru yoldan gidip yanlış sonuca ulaşamazsın." gibi düşünebilirsiniz. Yani $1 \implies 0$ durumu yanlıştır.
• Örnek: "Yağmur yağarsa yerler ıslanır." Yağmur yağar (D) ve yerler ıslanır (D) ise doğru. Yağmur yağar (D) ama yerler ıslanmaz (Y) ise yanlış.

⚠️ Dikkat: $p$ yanlış olduğunda ($0 \implies D$ veya $0 \implies Y$), koşullu önerme her zaman doğrudur. "Yanlış bir şeyden her sonuç çıkar." Mantıkta bu duruma dikkat edin.

📌 "Ancak ve Ancak" (Çift Koşullu Önerme - $\iff$)

"Ancak ve ancak" bağlacı, iki önermenin birbirine denk olduğunu, yani aynı doğruluk değerine sahip olduğunu ifade eder.

• Gösterim: $p$ ancak ve ancak $q$ önermeleri için $p \iff q$ şeklinde yazılır.
• Doğruluk Kuralı: $p \iff q$ önermesi, $p$ ve $q$ aynı doğruluk değerine sahip olduğunda doğrudur. Doğruluk değerleri farklı ise yanlıştır.
• Örnek: "Bir sayı çift ise ancak ve ancak 2'ye tam bölünür." Sayının çift olması ile 2'ye tam bölünmesi aynı şeydir.

💡 İpucu: "Ya da" bağlacının tam tersi gibi düşünebilirsiniz. Doğruluk değerleri aynıysa doğru, farklıysa yanlış.

📌 Denk Önermeler ($\equiv$)

İki önermenin denk olması, onların her durumda aynı doğruluk değerine sahip olması demektir.

• Tanım: Aynı doğruluk tablosuna sahip olan veya her durumda aynı doğruluk değerlerini alan önermelere denk önermeler denir.
• Gösterim: $p$ önermesi $q$ önermesine denk ise $p \equiv q$ şeklinde gösterilir.
• Örnek: $\neg(\neg p) \equiv p$ veya $(p \implies q) \equiv (\neg p \lor q)$ gibi.

📌 Totoloji, Çelişki ve Olumsallık

Bileşik önermelerin doğruluk tablosundaki sonuçlarına göre üç farklı durumu vardır:

• Totoloji: Bir bileşik önerme, değişkenlerinin tüm doğruluk değerleri için daima doğru (1) sonuç veriyorsa, bu önermeye totoloji denir. (Örnek: $p \lor \neg p$)
• Çelişki: Bir bileşik önerme, değişkenlerinin tüm doğruluk değerleri için daima yanlış (0) sonuç veriyorsa, bu önermeye çelişki denir. (Örnek: $p \land \neg p$)
• Olumsallık (Tikel Geçerli): Bir bileşik önerme, hem doğru hem de yanlış sonuçlar alabiliyorsa, bu önermeye olumsallık denir. Ne totoloji ne de çelişkidir.

📌 Doğruluk Tabloları

Doğruluk tabloları, bileşik önermelerin doğruluk değerlerini sistemli bir şekilde belirlememizi sağlar.

• Amaç: Bir bileşik önermenin tüm olası doğruluk değerlerini ve sonucunu görmek için kullanılır.
• Adımlar:
  1. Öncelikle bileşik önermedeki basit önerme sayısını belirle ($n$).
  2. Tabloda $2^n$ adet satır olacak. (Örn: 2 önerme varsa $2^2=4$ satır, 3 önerme varsa $2^3=8$ satır).
  3. Her bir basit önermenin tüm olası doğruluk değerlerini sütunlara yaz.
  4. Bağlaçların işlem önceliğine göre (genellikle değil, ve/veya, ise, ancak ve ancak) adım adım bileşik önermenin doğruluk değerlerini hesapla.

💡 İpucu: İşlem önceliği parantez içinden başlar, sonra değil ($\neg$), sonra ve ($\land$) / veya ($\lor$), sonra ise ($\implies$), en son ancak ve ancak ($\iff$) şeklinde ilerler.

📌 De Morgan Kuralları

De Morgan Kuralları, bileşik önermelerin değilini (olumsuzlamasını) alırken kullanılan önemli kurallardır.

• Kural 1: "Ve" bağlacının değili, "veya" bağlacına dönüşür ve önermelerin değilleri alınır: $\neg(p \land q) \equiv \neg p \lor \neg q$.
• Kural 2: "Veya" bağlacının değili, "ve" bağlacına dönüşür ve önermelerin değilleri alınır: $\neg(p \lor q) \equiv \neg p \land \neg q$.

📝 Unutma: De Morgan kuralları, parantez dışındaki değili parantez içine dağıtırken hem bağlacı hem de önermeleri etkiler.