🎓 Önerme eklemleri nelerdir Test 1 - Ders Notu
Bu ders notu, "Önerme eklemleri nelerdir Test 1" testinde karşılaşacağın temel mantık konularını, yani önermeleri ve onları birbirine bağlayan eklemleri sade bir dille açıklamak için hazırlandı. Konuları kolayca anlayıp testte başarılı olman için gereken tüm bilgileri burada bulacaksın.
📌 Önerme Nedir?
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere denir. Bir cümlenin önerme olabilmesi için doğruluğu veya yanlışlığı kişiden kişiye değişmemeli, net olmalıdır.
- Tanım: Doğru (D) ya da Yanlış (Y) kesin bir değer alabilen ifadelerdir.
- Doğruluk Değeri: Bir önermenin doğru veya yanlış olma durumudur. Doğru ise "1" veya "D", yanlış ise "0" veya "Y" ile gösterilir.
- Örnekler:
- "Ankara, Türkiye'nin başkentidir." (Doğru önerme, değeri 1)
- "2 + 3 = 7" (Yanlış önerme, değeri 0)
💡 İpucu: Emir, soru, ünlem veya dilek cümleleri (Örn: "Gel!", "Nasılsın?", "Keşke gelseydin!") bir yargı bildirmediği için önerme değildir.
📌 Önerme Eklemleri Nelerdir?
Önerme eklemleri, birden fazla basit önermeyi bir araya getirerek bileşik önermeler oluşturmamızı sağlayan bağlaçlardır. Temel önerme eklemleri şunlardır:
- Değil (Olumsuzlama)
- Ve (Tümel Evetleme)
- Veya (Tikel Evetleme)
- İse (Koşullu Önerme)
- Ancak ve Ancak (İki Yönlü Koşullu Önerme)
📌 Değil (Olumsuzlama) - $\sim p$ veya $p'$
Bir önermenin "değili" veya "olumsuzu", o önermenin tam tersi doğruluk değerine sahip olan önermedir.
- Sembol: $\sim p$ veya $p'$ şeklinde gösterilir.
- Anlamı: Bir önermenin doğruluk değerini tersine çevirir. Eğer önerme doğruysa değili yanlış, yanlışsa değili doğru olur.
- Doğruluk Tablosu:
p | $\sim p$
1 | 0
0 | 1
- Örnek:
- $p$: "Bugün hava güneşlidir." (1)
- $\sim p$: "Bugün hava güneşli değildir." (0)
📌 Ve (Tümel Evetleme) - $p \land q$
"Ve" bağlacı ile kurulan bileşik önermeye "tümel evetleme" denir. Bu önerme, ancak her iki basit önerme de doğru olduğunda doğru olur.
- Sembol: $p \land q$ şeklinde gösterilir.
- Anlamı: "ve", "hem... hem de" gibi anlamlara gelir. İki durumun da aynı anda gerçekleştiğini ifade eder.
- Doğruluk Tablosu:
p | q | $p \land q$
1 | 1 | 1
1 | 0 | 0
0 | 1 | 0
0 | 0 | 0
- Örnek:
- $p$: "Ders çalıştım."
- $q$: "Kitap okudum."
- $p \land q$: "Ders çalıştım ve kitap okudum." (Bu önerme, ancak hem ders çalışıp hem de kitap okuduysan doğrudur.)
⚠️ Dikkat: "Ve" bağlacında sonuç sadece ve sadece her iki önerme de doğru olduğunda doğru (1) olur. Diğer tüm durumlarda sonuç yanlıştır (0).
📌 Veya (Tikel Evetleme) - $p \lor q$
"Veya" bağlacı ile kurulan bileşik önermeye "tikel evetleme" denir. Bu önerme, en az bir basit önerme doğru olduğunda doğru olur.
- Sembol: $p \lor q$ şeklinde gösterilir.
- Anlamı: "veya", "ya da" gibi anlamlara gelir. İki durumdan en az birinin gerçekleştiğini ifade eder.
- Doğruluk Tablosu:
p | q | $p \lor q$
1 | 1 | 1
1 | 0 | 1
0 | 1 | 1
0 | 0 | 0
- Örnek:
- $p$: "Sinemaya gideceğim."
- $q$: "Parka gideceğim."
- $p \lor q$: "Sinemaya veya parka gideceğim." (Bu önerme, sinemaya gidersen, parka gidersen veya ikisine de gidersen doğrudur.)
💡 İpucu: "Veya" bağlacında sonuç sadece ve sadece her iki önerme de yanlış olduğunda yanlış (0) olur. Diğer tüm durumlarda sonuç doğrudur (1).
📌 İse (Koşullu Önerme) - $p \implies q$
"İse" bağlacı ile kurulan bileşik önermeye "koşullu önerme" denir. Bir koşulun (p) gerçekleşmesi durumunda diğer bir sonucun (q) ortaya çıkacağını ifade eder.
- Sembol: $p \implies q$ şeklinde gösterilir. ($p$ hipotez, $q$ hüküm olarak adlandırılır.)
- Anlamı: "Eğer... ise...", "...olursa..." gibi anlamlara gelir. Bir durumun diğerini gerektirdiğini belirtir.
- Doğruluk Tablosu:
p | q | $p \implies q$
1 | 1 | 1
1 | 0 | 0
0 | 1 | 1
0 | 0 | 1
- Örnek:
- $p$: "Yağmur yağarsa"
- $q$: "Şemsiye alırım."
- $p \implies q$: "Eğer yağmur yağarsa, şemsiye alırım."
⚠️ Dikkat: "İse" bağlacında sonuç sadece ve sadece ilk önerme (p) doğru, ikinci önerme (q) yanlış olduğunda yanlış (0) olur. Diğer tüm durumlarda sonuç doğrudur (1). Bu duruma "100 kuralı" da denir.
📌 Ancak ve Ancak (İki Yönlü Koşullu Önerme) - $p \iff q$
"Ancak ve ancak" bağlacı ile kurulan bileşik önermeye "iki yönlü koşullu önerme" denir. Bu önerme, iki basit önermenin doğruluk değerleri aynı olduğunda doğru olur.
- Sembol: $p \iff q$ şeklinde gösterilir.
- Anlamı: "ancak ve ancak", "gerek ve yeter şart" gibi anlamlara gelir. İki durumun birbirini karşılıklı olarak gerektirdiğini ifade eder.
- Doğruluk Tablosu:
p | q | $p \iff q$
1 | 1 | 1
1 | 0 | 0
0 | 1 | 0
0 | 0 | 1
- Örnek:
- $p$: "Sınavı geçtin."
- $q$: "Mezun oldun."
- $p \iff q$: "Sınavı geçtin ancak ve ancak mezun oldun." (Bu önerme, ya ikisi de doğruysa ya da ikisi de yanlışsa doğrudur. Yani sınavı geçip mezun olduysan veya sınavı geçemeyip mezun olamadıysan doğrudur.)
💡 İpucu: "Ancak ve ancak" bağlacında sonuç, iki önermenin doğruluk değerleri aynı olduğunda (ikisi de doğru veya ikisi de yanlış) doğrudur (1). Doğruluk değerleri farklıysa sonuç yanlıştır (0).
📝 Doğruluk Tabloları
Doğruluk tabloları, bir veya daha fazla önermenin tüm olası doğruluk değerlerini ve bu önermelerden oluşan bileşik önermenin doğruluk değerini sistematik bir şekilde gösteren çizelgelerdir. Bu tablolar, önermelerin mantıksal ilişkilerini anlamak için çok önemlidir.
- Kural: $n$ tane farklı basit önerme varsa, bu önermelerin oluşturabileceği farklı doğruluk durumu sayısı $2^n$ tanedir. Bu da doğruluk tablosundaki satır sayısını verir.
- Örnek:
- 1 önerme ($p$) için $2^1 = 2$ satır.
- 2 önerme ($p, q$) için $2^2 = 4$ satır.
- 3 önerme ($p, q, r$) için $2^3 = 8$ satır.
✅ Mantıksal Denklik
İki bileşik önermenin doğruluk değerleri, aynı basit önermelere karşılık gelen her durumda aynı ise, bu iki önermeye "mantıksal denktir" denir.
- Sembol: $p \equiv q$ şeklinde gösterilir.
- Anlamı: İki önermenin aynı mantıksal anlama geldiğini ifade eder. Doğruluk tablolarının son sütunları tamamen aynı olmalıdır.
- Örnek: $(p \implies q) \equiv (\sim p \lor q)$ (Bu iki önermenin doğruluk tablolarını yaparsan, sonuç sütunlarının aynı olduğunu görürsün.)
Bu notlar, "Önerme eklemleri nelerdir Test 1" için sağlam bir temel oluşturacaktır. Bol şans! 🚀
