Basit ve bileşik önermeler, önerme eklemleri ve sembolleştirme.
Konu Anlatımı
12. Sınıf Mantık – Önermeler Mantığı ve Önerme Eklemleri Konu Anlatımı
Merhaba sevgili öğrenciler! Bu yazımızda 12. Sınıf Mantık dersinin Sembolik Mantık ünitesinde yer alan Önermeler Mantığı ve Önerme Eklemleri konusunu en ince ayrıntısına kadar ele alacağız. Bu konu, mantık dersinin temel yapı taşlarından birini oluşturur ve sınavlarda sıkça karşınıza çıkar. Hazırsanız başlayalım!
1. Önerme Nedir?
Mantıkta önerme, doğru ya da yanlış olmak üzere bir ve yalnız bir doğruluk değeri alabilen bildirme cümlesidir. Bir cümlenin önerme sayılabilmesi için kesin olarak doğru veya kesin olarak yanlış olması gerekir; belirsiz, öznel veya soru biçiminde ifadeler önerme değildir.
Önerme olan ifadelere örnekler:
- "Ankara, Türkiye'nin başkentidir." → Bu ifade kesinlikle doğrudur, dolayısıyla bir önermedir.
- "5 + 3 = 10" → Bu ifade kesinlikle yanlıştır, ancak yine de bir doğruluk değeri taşıdığı için önermedir.
- "Dünya, Güneş'in etrafında döner." → Doğru bir önermedir.
Önerme olmayan ifadelere örnekler:
- "Bugün hava güzel mi?" → Soru cümlesidir, önerme değildir.
- "Lütfen kapıyı kapat." → Emir cümlesidir, önerme değildir.
- "Bu film çok güzel!" → Öznel bir yargıdır, kişiden kişiye değişir; önerme değildir.
Önermeleri sembolik mantıkta genellikle p, q, r, s gibi küçük harflerle gösteririz. Bu harflere önerme değişkeni denir. Her önerme değişkeni ya Doğru (D) ya da Yanlış (Y) değerini alır. Bazı kaynaklarda doğru için "1" veya "T" (True), yanlış için "0" veya "F" (False) sembolleri de kullanılır.
2. Basit ve Bileşik Önermeler
Önermeler yapılarına göre ikiye ayrılır:
Basit Önerme: İçinde herhangi bir mantıksal bağlaç (eklem) bulunmayan, tek bir yargı bildiren önermedir. Örneğin "Hava yağmurludur" basit bir önermedir ve tek başına p ile gösterilebilir.
Bileşik Önerme: İki veya daha fazla basit önermenin, mantıksal bağlaçlar (önerme eklemleri) kullanılarak birleştirilmesiyle oluşan önermedir. Örneğin "Hava yağmurludur ve hava soğuktur" bileşik bir önermedir. Burada "ve" sözcüğü bir önerme eklemidir ve iki basit önermeyi birbirine bağlamaktadır.
Bileşik önermelerin doğruluk değeri, kendisini oluşturan basit önermelerin doğruluk değerlerine ve kullanılan önerme ekleminin kurallarına bağlıdır. Bu nedenle önerme eklemlerini çok iyi bilmek gerekir.
3. Önerme Eklemleri (Mantıksal Bağlaçlar)
Önerme eklemleri, basit önermeleri birbirine bağlayarak bileşik önermeler oluşturan mantıksal araçlardır. 12. Sınıf Mantık Önermeler Mantığı ve Önerme Eklemleri konusunda altı temel eklem incelenir. Şimdi bunları tek tek detaylı biçimde ele alalım.
3.1. Değilleme (Olumsuzlama / Negasyon) – ¬p veya ~p
Değilleme, bir önermenin doğruluk değerini tersine çeviren tekli bir eklemdir. Eğer p doğruysa ¬p yanlıştır; p yanlışsa ¬p doğrudur. Günlük dilde "değildir", "…olmayan" gibi ifadelerle karşılanır.
Doğruluk Tablosu:
- p = D ise ¬p = Y
- p = Y ise ¬p = D
Örnek: p: "Bugün Pazartesidir." ifadesi doğru ise ¬p: "Bugün Pazartesi değildir." ifadesi yanlıştır. Değilleme, diğer eklemlerden farklı olarak tek bir önerme üzerinde işlem yapar; yani birleştirici değil, dönüştürücü bir eklemdir.
3.2. Tümel Evetleme (Konjunksiyon / "Ve" Bağlacı) – p ∧ q
Tümel evetleme, iki önermenin "ve" bağlacıyla birleştirilmesidir. p ∧ q bileşik önermesi, ancak ve ancak hem p hem de q doğru olduğunda doğrudur. Diğer tüm durumlarda yanlıştır.
Doğruluk Tablosu:
- p = D, q = D → p ∧ q = D
- p = D, q = Y → p ∧ q = Y
- p = Y, q = D → p ∧ q = Y
- p = Y, q = Y → p ∧ q = Y
Günlük dil karşılığı: "ve", "hem … hem …", "ama", "fakat", "ancak", "ile birlikte" gibi bağlaçlar konjunksiyon anlamı taşır.
Örnek: p: "Ali çalışkandır." (D), q: "Ali başarılıdır." (D) ise p ∧ q: "Ali çalışkandır ve başarılıdır." → D olur. Ancak önermelerin herhangi biri yanlış olursa bileşik önerme de yanlış olur.
Önemli ipucu: Konjunksiyonun doğru çıkması için "her iki önerme de doğru" olmalıdır. Tek bir yanlış bile sonucu yanlış yapar. Bunu "ve = ikisi de lazım" şeklinde aklınızda tutabilirsiniz.
3.3. Tikel Evetleme (Disjunksiyon / "Veya" Bağlacı) – p ∨ q
Tikel evetleme, iki önermenin "veya" bağlacıyla birleştirilmesidir. p ∨ q bileşik önermesi, önermelerin en az biri doğru olduğunda doğrudur. Yalnızca her ikisi de yanlış olduğunda yanlıştır.
Doğruluk Tablosu:
- p = D, q = D → p ∨ q = D
- p = D, q = Y → p ∨ q = D
- p = Y, q = D → p ∨ q = D
- p = Y, q = Y → p ∨ q = Y
Günlük dil karşılığı: "veya", "ya da", "yahut" gibi bağlaçlar disjunksiyon anlamı taşır. Buradaki "veya" kapsayıcı veyadır; yani her ikisinin birden doğru olması da kabul edilir.
Örnek: p: "Yarın sinemaya gideceğim." (Y), q: "Yarın tiyatroya gideceğim." (D) ise p ∨ q: "Yarın sinemaya veya tiyatroya gideceğim." → D olur. En az bir doğru olduğu sürece sonuç doğrudur.
Önemli ipucu: Disjunksiyonun yanlış çıkması için "her iki önerme de yanlış" olmalıdır. Tek bir doğru bile sonucu doğru yapar. Bunu "veya = biri yeter" şeklinde aklınızda tutabilirsiniz.
3.4. Koşullu Önerme (Şartlı / Koşullanma) – p → q
Koşullu önerme, "eğer … ise … dır" biçiminde kurulan bir bileşik önermedir. p → q ifadesinde p'ye öncül (antesedent), q'ya ardıl (konsekuent) denir. Koşullu önerme yalnızca öncül doğru, ardıl yanlış olduğunda yanlıştır; diğer tüm durumlarda doğrudur.
Doğruluk Tablosu:
- p = D, q = D → p → q = D
- p = D, q = Y → p → q = Y
- p = Y, q = D → p → q = D
- p = Y, q = Y → p → q = D
Günlük dil karşılığı: "Eğer … ise", "… olursa … olur", "… durumunda" gibi ifadeler koşullu önerme kurar.
Örnek: p: "Yağmur yağarsa" (D), q: "Şemsiye alırım." (D) ise p → q: "Yağmur yağarsa şemsiye alırım." → D olur. Ancak yağmur yağdığı hâlde şemsiye almazsam (p = D, q = Y), söz tutulmamış olur ve önerme yanlış çıkar.
Önemli ipucu: Koşullu önermede "doğrudan yanlış çıkmaz" kuralını hatırlayın. Sadece "söz verilip tutulmadığı" durum (D → Y) yanlıştır. Öncül zaten yanlışsa ne olursa olsun önerme doğru kabul edilir; buna boş doğruluk (vacuous truth) denir.
3.5. Çift Koşullu Önerme (İki Yönlü Koşullanma / Eşdeğerlik) – p ↔ q
Çift koşullu önerme, "ancak ve ancak" ifadesiyle kurulan bir bileşik önermedir. p ↔ q, her iki önermenin doğruluk değeri aynı olduğunda doğru, farklı olduğunda yanlıştır. Aslında (p → q) ∧ (q → p) ifadesinin kısaltılmış hâlidir.
Doğruluk Tablosu:
- p = D, q = D → p ↔ q = D
- p = D, q = Y → p ↔ q = Y
- p = Y, q = D → p ↔ q = Y
- p = Y, q = Y → p ↔ q = D
Günlük dil karşılığı: "… ancak ve ancak … ise", "… olması için gerek ve yeter koşul …" gibi ifadeler çift koşullu önerme kurar.
Örnek: p: "Sınava çalışırım." (D), q: "Sınavı geçerim." (D) ise p ↔ q: "Sınava çalışırsam ancak ve ancak sınavı geçerim." → D olur. Her ikisinin doğruluk değeri eşleştiğinde sonuç doğrudur.
Önemli ipucu: Çift koşulluyu "ya ikisi de doğru ya ikisi de yanlış" olarak hatırlayabilirsiniz. Değerlerin eşleşmesi doğruyu, farklılık yanlışı verir.
3.6. Tikel Değilleme (Dışlayıcı Veya / Ayrık Disjunksiyon) – p ⊕ q veya p ∨̇ q
Tikel değilleme, günlük dilde "ya … ya …" biçiminde kullanılan ve iki seçenekten yalnızca birinin doğru olmasını gerektiren eklemdir. p ⊕ q, önermelerin doğruluk değerleri farklı olduğunda doğru, aynı olduğunda yanlıştır. Dikkat ederseniz çift koşullu önermenin tam tersidir.
Doğruluk Tablosu:
- p = D, q = D → p ⊕ q = Y
- p = D, q = Y → p ⊕ q = D
- p = Y, q = D → p ⊕ q = D
- p = Y, q = Y → p ⊕ q = Y
Günlük dil karşılığı: "Ya … ya da …", "ikisinden yalnızca biri" gibi ifadeler tikel değilleme kurar.
Örnek: "Ya çay içerim ya kahve içerim." Bu ifadede ikisini aynı anda içmek kastedilmez; yalnızca biri seçilir. Bu nedenle dışlayıcı "veya" kullanılmıştır.
4. Doğruluk Tablosu Nasıl Oluşturulur?
Doğruluk tablosu, bir bileşik önermenin tüm olası doğruluk değeri kombinasyonları için aldığı sonucu gösteren sistematik bir tablodur. Doğruluk tablosu oluşturmak için şu adımları izleyin:
Adım 1: Bileşik önermedeki farklı önerme değişkenlerini belirleyin. Örneğin p ve q varsa 2 değişken var demektir.
Adım 2: Satır sayısını hesaplayın. n adet değişken için 2ⁿ satır gerekir. 2 değişken için 2² = 4 satır, 3 değişken için 2³ = 8 satır oluşturulur.
Adım 3: Tüm olası D ve Y kombinasyonlarını tabloya yazın.
Adım 4: Bileşik önermeyi içteki parantezden dışarıya doğru adım adım çözümleyin ve her aşamayı tabloda ayrı bir sütuna yazın.
Örnek: (p ∧ q) → (p ∨ q) ifadesinin doğruluk tablosunu oluşturalım.
- p = D, q = D: (D ∧ D) → (D ∨ D) = D → D = D
- p = D, q = Y: (D ∧ Y) → (D ∨ Y) = Y → D = D
- p = Y, q = D: (Y ∧ D) → (Y ∨ D) = Y → D = D
- p = Y, q = Y: (Y ∧ Y) → (Y ∨ Y) = Y → Y = D
Görüldüğü gibi bu ifade her durumda doğru çıkmaktadır. Her durumda doğru çıkan bileşik önermelere totoloji denir.
5. Totoloji, Çelişki ve Olumsal Önerme
Totoloji: Doğruluk tablosundaki tüm satırlarda doğru (D) sonucu veren bileşik önermedir. Örneğin p ∨ ¬p ifadesi bir totolojidir çünkü p ne olursa olsun sonuç her zaman doğrudur.
Çelişki (Kontradiksiyon): Doğruluk tablosundaki tüm satırlarda yanlış (Y) sonucu veren bileşik önermedir. Örneğin p ∧ ¬p ifadesi bir çelişkidir çünkü bir önerme hem doğru hem yanlış olamaz.
Olumsal Önerme: Doğruluk tablosunda hem doğru hem yanlış değerler alan bileşik önermedir. Yani ne totoloji ne de çelişkidir. Çoğu bileşik önerme olumsal niteliktedir.
6. Mantıksal Denklik
İki bileşik önerme, doğruluk tablolarının sonuç sütunları tamamen aynı ise mantıksal olarak denktir ve ≡ sembolüyle gösterilir. Mantıksal denklik, özellikle önermeleri sadeleştirme ve dönüştürme işlemlerinde çok önemlidir.
Bilmeniz gereken bazı önemli denklikler:
- Çift olumsuzlama: ¬(¬p) ≡ p
- De Morgan Kuralları: ¬(p ∧ q) ≡ ¬p ∨ ¬q ve ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Koşullunun dönüşümü: p → q ≡ ¬p ∨ q
- Karşıt-Ters (Kontrapozitif): p → q ≡ ¬q → ¬p
- Çift koşullunun açılımı: p ↔ q ≡ (p → q) ∧ (q → p)
Bu denklikler sınavlarda doğrudan veya dolaylı olarak sorulabilir. Özellikle De Morgan kuralları ve koşullunun dönüşümü çok sık karşınıza çıkar.
7. İşlem Önceliği
Bir bileşik önermede birden fazla eklem bulunuyorsa ve parantez yoksa, işlem öncelik sırasına dikkat edilmelidir. Mantıkta genel kabul gören işlem öncelik sırası şöyledir: en öncelikli olandan en az öncelikliye doğru sırasıyla ¬ (değilleme), ∧ (konjunksiyon), ∨ (disjunksiyon), → (koşullu) ve ↔ (çift koşullu) gelir. Ancak belirsizliği önlemek için her zaman parantez kullanmanız önerilir.
8. Sembolleştirme (Günlük Dilden Sembolik Dile Çevirme)
Mantık sorularında sıkça karşılaşacağınız bir beceri de günlük dildeki cümleleri sembolik forma çevirmektir. Bunu yaparken şu adımları izleyin:
Adım 1: Cümledeki basit önermeleri belirleyin ve her birine bir harf atayın.
Adım 2: Cümledeki bağlaçları tespit edin ("ve", "veya", "eğer … ise", "ancak ve ancak", "değildir", "ya … ya …" vb.).
Adım 3: Uygun önerme eklemlerini kullanarak sembolik ifadeyi oluşturun.
Örnek: "Eğer hava güneşli ise ve tatil ise pikniğe gideriz." cümlesini sembolleştirelim. p: Hava güneşlidir. q: Tatildir. r: Pikniğe gideriz. Sembolik ifade: (p ∧ q) → r olur.
Örnek: "Ya sinemaya giderim ya da evde kalırım." p: Sinemaya giderim. q: Evde kalırım. Burada "ya … ya da …" ifadesi dışlayıcı veya (tikel değilleme) anlamı taşır. Sembolik ifade: p ⊕ q olur.
9. Önerme Eklemlerinin Karşılaştırmalı Özeti
Tüm eklemleri toplu hâlde özetleyelim. Değilleme (¬p) önermenin tersini alır. Konjunksiyon (p ∧ q) her ikisi doğruyken doğru olur. Disjunksiyon (p ∨ q) en az biri doğruyken doğru olur. Koşullu (p → q) yalnızca D → Y durumunda yanlış olur. Çift koşullu (p ↔ q) değerler aynıyken doğru olur. Tikel değilleme (p ⊕ q) değerler farklıyken doğru olur. Bu altı eklemi ve doğruluk tablolarını ezbere bilmeniz, sınav sorularını hızlıca çözmeniz için yeterlidir.
10. Sınavlarda Dikkat Edilmesi Gereken Noktalar
Sınavlarda en sık yapılan hatalardan biri koşullu önermede "yanlıştan doğruya" geçişin doğru sonuç verdiğini unutmaktır. Öncül yanlışsa sonuç ne olursa olsun koşullu önerme doğrudur. Bir diğer sık hata, kapsayıcı "veya" ile dışlayıcı "veya"yı karıştırmaktır. "Veya" denildiğinde mantıkta kapsayıcı veya (disjunksiyon) anlaşılır; "ya … ya da …" denildiğinde dışlayıcı veya (tikel değilleme) kastedilir. Ayrıca konjunksiyon ve disjunksiyon arasındaki farkı netleştirmek için "ve = hepsi lazım, veya = biri yeter" formülünü aklınızda tutabilirsiniz.
Doğruluk tablosu sorulan sorularda acele etmeyin; önce değişken sayısını belirleyin, satır sayısını hesaplayın ve sistematik biçimde tabloyu doldurun. Parantezlere dikkat etmek de çok önemlidir. İşlem öncelik sırasını bilseniz bile parantezleri doğru yorumlamak hataları önler.
11. Çözümlü Örnek
p = D, q = Y iken (¬p ∨ q) → (p ∧ ¬q) ifadesinin doğruluk değerini bulalım.
Çözüm: Adım adım ilerleyelim. ¬p = Y (çünkü p = D). ¬q = D (çünkü q = Y). ¬p ∨ q = Y ∨ Y = Y. p ∧ ¬q = D ∧ D = D. Şimdi koşullu önermeyi değerlendirelim: Y → D = D. Sonuç olarak ifadenin doğruluk değeri D (Doğru) olur.
12. Özet ve Son Söz
12. Sınıf Mantık Önermeler Mantığı ve Önerme Eklemleri konusu, sembolik mantığın temelini oluşturur. Bu konuda başarılı olabilmek için önerme kavramını, altı temel önerme eklemini ve bunların doğruluk tablolarını eksiksiz bilmeniz gerekir. Özellikle koşullu önerme ve De Morgan kuralları sınav sorularında çok sık karşınıza çıkacaktır. Bol bol pratik yaparak doğruluk tablosu çözme hızınızı artırabilirsiniz. Bu konuyu iyi kavradığınızda, mantık dersinin sonraki konularında da büyük avantaj elde edersiniz. Başarılar dileriz!
Örnek Sorular
12. Sınıf Mantık – Önermeler Mantığı ve Önerme Eklemleri Çözümlü Sorular
Aşağıda 12. Sınıf Mantık Önermeler Mantığı ve Önerme Eklemleri konusuna ait 10 adet çözümlü soru bulunmaktadır. İlk 7 soru çoktan seçmeli, son 3 soru açık uçludur.
Soru 1 (Çoktan Seçmeli)
p = D, q = Y iken p ∧ q ifadesinin doğruluk değeri nedir?
- A) Doğru
- B) Yanlış
- C) Belirsiz
- D) Hem doğru hem yanlış
- E) Tanımsız
Çözüm: Konjunksiyon (∧) ancak her iki önerme de doğru olduğunda doğru sonuç verir. p = D ve q = Y olduğuna göre p ∧ q = Y olur. Cevap: B
Soru 2 (Çoktan Seçmeli)
p = Y, q = D iken p → q ifadesinin doğruluk değeri nedir?
- A) Doğru
- B) Yanlış
- C) Belirsiz
- D) Tanımsız
- E) Hem doğru hem yanlış
Çözüm: Koşullu önermede yalnızca öncül doğru ardıl yanlış olduğunda (D → Y) sonuç yanlıştır. Burada p = Y olduğu için öncül yanlıştır ve koşullu önerme doğru olur. Cevap: A
Soru 3 (Çoktan Seçmeli)
Aşağıdakilerden hangisi bir totolojidir?
- A) p ∧ ¬p
- B) p ∨ ¬p
- C) p → q
- D) p ∧ q
- E) p ⊕ q
Çözüm: Totoloji, her durumda doğru olan ifadedir. p ∨ ¬p ifadesi: p = D ise D ∨ Y = D; p = Y ise Y ∨ D = D. Her iki durumda da doğrudur. A seçeneği çelişkidir (her zaman yanlış), diğerleri olumsal ifadelerdir. Cevap: B
Soru 4 (Çoktan Seçmeli)
p → q ifadesinin mantıksal dengi aşağıdakilerden hangisidir?
- A) q → p
- B) ¬p → ¬q
- C) ¬p ∨ q
- D) p ∨ ¬q
- E) ¬q ∨ p
Çözüm: Koşullu önermenin bilinen denkliği p → q ≡ ¬p ∨ q şeklindedir. Bu denkliği doğruluk tablosu ile kolayca doğrulayabilirsiniz. A seçeneği tersi, B seçeneği karşıtı olup denk değillerdir. Cevap: C
Soru 5 (Çoktan Seçmeli)
"Eğer hava soğuksa mont giyerim." cümlesinin sembolik gösterimi aşağıdakilerden hangisidir? (p: Hava soğuktur, q: Mont giyerim)
- A) p ∧ q
- B) p ∨ q
- C) p → q
- D) p ↔ q
- E) ¬p → q
Çözüm: "Eğer … ise …" kalıbı koşullu önerme kurar. Hava soğuksa (p) → mont giyerim (q). Cevap: C
Soru 6 (Çoktan Seçmeli)
De Morgan kuralına göre ¬(p ∧ q) ifadesinin dengi aşağıdakilerden hangisidir?
- A) ¬p ∧ ¬q
- B) ¬p ∨ ¬q
- C) p ∨ q
- D) ¬p → ¬q
- E) p ∧ ¬q
Çözüm: De Morgan kurallarından birincisine göre ¬(p ∧ q) ≡ ¬p ∨ ¬q olur. Yani konjunksiyonun değillemesi, değillemelerin disjunksiyonuna eşittir. Cevap: B
Soru 7 (Çoktan Seçmeli)
p = D, q = D iken p ⊕ q (tikel değilleme / dışlayıcı veya) ifadesinin doğruluk değeri nedir?
- A) Doğru
- B) Yanlış
- C) Belirsiz
- D) Tanımsız
- E) Hem doğru hem yanlış
Çözüm: Tikel değilleme (dışlayıcı veya), iki önermenin doğruluk değerleri farklı olduğunda doğru, aynı olduğunda yanlış sonuç verir. p = D, q = D olduğunda değerler aynıdır, dolayısıyla p ⊕ q = Y olur. Cevap: B
Soru 8 (Açık Uçlu)
(p ∨ q) ∧ ¬p ifadesinin doğruluk tablosunu oluşturunuz ve bu ifadenin totoloji, çelişki veya olumsal mı olduğunu belirleyiniz.
Çözüm:
p = D, q = D: (D ∨ D) ∧ ¬D = D ∧ Y = Y
p = D, q = Y: (D ∨ Y) ∧ ¬D = D ∧ Y = Y
p = Y, q = D: (Y ∨ D) ∧ ¬Y = D ∧ D = D
p = Y, q = Y: (Y ∨ Y) ∧ ¬Y = Y ∧ D = Y
Sonuçlar: Y, Y, D, Y. Hem doğru hem yanlış değerler olduğu için bu ifade olumsal bir önermedir.
Soru 9 (Açık Uçlu)
"Hava güneşli ve sıcak ise denize giderim. Hava güneşli değildir. O hâlde denize gitmem." Bu çıkarımı sembolleştirip geçerli olup olmadığını açıklayınız.
Çözüm: p: Hava güneşlidir. q: Hava sıcaktır. r: Denize giderim. Öncüller: (p ∧ q) → r ve ¬p. Sonuç: ¬r. Bu çıkarımın geçerliliğini kontrol edelim. p = Y, q = D, r = D durumunda: öncül 1: (Y ∧ D) → D = Y → D = D (doğru). Öncül 2: ¬p = D (doğru). Sonuç: ¬r = Y (yanlış). Her iki öncül doğru olduğu hâlde sonuç yanlış çıkabildiği için bu çıkarım geçersizdir. Bu, "öncülü inkâr etme" (denying the antecedent) adlı yaygın bir mantık hatasıdır.
Soru 10 (Açık Uçlu)
p → q ile ¬q → ¬p ifadelerinin mantıksal olarak denk olduğunu doğruluk tablosu ile gösteriniz.
Çözüm:
p = D, q = D: p → q = D. ¬q = Y, ¬p = Y → ¬q → ¬p = Y → Y = D. Eşleşti.
p = D, q = Y: p → q = Y. ¬q = D, ¬p = Y → ¬q → ¬p = D → Y = Y. Eşleşti.
p = Y, q = D: p → q = D. ¬q = Y, ¬p = D → ¬q → ¬p = Y → D = D. Eşleşti.
p = Y, q = Y: p → q = D. ¬q = D, ¬p = D → ¬q → ¬p = D → D = D. Eşleşti.
Her dört durumda da sonuçlar aynı olduğu için p → q ≡ ¬q → ¬p (kontrapozitif) denkliği kanıtlanmıştır.
Çalışma Kağıdı
12. Sınıf Mantık – Önermeler Mantığı ve Önerme Eklemleri Çalışma Kâğıdı
Ad Soyad: ______________________________ Sınıf / No: ________ Tarih: ___/___/______
Etkinlik 1: Önerme mi Değil mi?
Aşağıdaki ifadelerin yanına önerme ise "Ö", önerme değilse "D" yazınız.
1. İstanbul, Türkiye'nin en kalabalık şehridir. ( ______ )
2. Lütfen sessiz olun! ( ______ )
3. 3 + 4 = 7 ( ______ )
4. Bu film güzel mi? ( ______ )
5. Ay, Dünya'nın uydusu değildir. ( ______ )
6. x > 5 ( ______ )
7. Kar beyazdır. ( ______ )
8. Keşke yarın tatil olsa! ( ______ )
Etkinlik 2: Eşleştirme
Sol sütundaki önerme eklemini sağ sütundaki sembol ve açıklamayla eşleştiriniz. Eşleştirmeyi satırın yanındaki boşluğa uygun harfi yazarak yapınız.
1. Değilleme ( ______ ) a) p ∧ q – Her ikisi doğruyken doğru
2. Konjunksiyon ( ______ ) b) p ∨ q – En az biri doğruyken doğru
3. Disjunksiyon ( ______ ) c) p → q – Yalnızca D→Y durumunda yanlış
4. Koşullu ( ______ ) d) p ↔ q – Değerler aynıyken doğru
5. Çift koşullu ( ______ ) e) ¬p – Doğruluk değerini tersine çevirir
6. Tikel değilleme ( ______ ) f) p ⊕ q – Değerler farklıyken doğru
Etkinlik 3: Boşluk Doldurma
Aşağıdaki cümlelerdeki boşlukları uygun kavramlarla doldurunuz.
1. Doğru ya da yanlış olmak üzere bir ve yalnız bir doğruluk değeri alabilen bildirme cümlesine __________________ denir.
2. Her durumda doğru olan bileşik önermeye __________________ denir.
3. Her durumda yanlış olan bileşik önermeye __________________ denir.
4. p → q ifadesinin kontrapozitifi __________________ şeklinde yazılır.
5. De Morgan kuralına göre ¬(p ∧ q) = __________________ olur.
6. n adet önerme değişkeni için doğruluk tablosunda ______ satır bulunur.
7. p → q koşullu önermesinde p'ye __________________, q'ya __________________ denir.
Etkinlik 4: Doğruluk Tablosu Tamamlama
Aşağıdaki doğruluk tablolarındaki boş hücreleri doldurunuz.
Tablo 1: p ∧ ¬q
| p | q | ¬q | p ∧ ¬q |
| D | D | ______ | ______ |
| D | Y | ______ | ______ |
| Y | D | ______ | ______ |
| Y | Y | ______ | ______ |
Tablo 2: (p → q) ∧ (q → p)
| p | q | p → q | q → p | (p → q) ∧ (q → p) |
| D | D | ______ | ______ | ______ |
| D | Y | ______ | ______ | ______ |
| Y | D | ______ | ______ | ______ |
| Y | Y | ______ | ______ | ______ |
Etkinlik 5: Sembolleştirme
Aşağıdaki cümleleri verilen önerme değişkenlerini kullanarak sembolik mantık ifadesine çeviriniz.
p: Hava güneşlidir. q: Pikniğe gideriz. r: Evde kalırız.
1. "Hava güneşli ise pikniğe gideriz." → ______________________________
2. "Hava güneşli değildir ve evde kalırız." → ______________________________
3. "Ya pikniğe gideriz ya evde kalırız." → ______________________________
4. "Pikniğe gideriz ancak ve ancak hava güneşli ise." → ______________________________
5. "Eğer hava güneşli değilse evde kalırız veya pikniğe gideriz." → ______________________________
Etkinlik 6: Doğru / Yanlış Hesaplama
p = D, q = Y, r = D iken aşağıdaki ifadelerin doğruluk değerlerini hesaplayınız.
1. p ∧ q = ______
2. p ∨ q = ______
3. p → q = ______
4. ¬p ∨ r = ______
5. (p ∧ r) → q = ______
6. p ↔ r = ______
7. (¬q) ∧ r = ______
8. (p → q) ∨ (q → r) = ______
Etkinlik 7: Totoloji, Çelişki, Olumsal
Aşağıdaki ifadeleri doğruluk tablosu kullanarak inceleyiniz ve totoloji (T), çelişki (Ç) veya olumsal (O) olarak sınıflandırınız.
1. p ∨ ¬p → ( ______ )
2. p ∧ ¬p → ( ______ )
3. (p → q) ∨ (q → p) → ( ______ )
4. p ∧ q → ( ______ )
Bu çalışma kâğıdı 12. Sınıf Mantık Önermeler Mantığı ve Önerme Eklemleri konusunun pekiştirilmesi amacıyla hazırlanmıştır. Başarılar!
Sıkça Sorulan Sorular
12. Sınıf Mantık müfredatı 2025-2026 yılında kaç ünite?
2025-2026 müfredatına göre 12. sınıf mantık dersi birden fazla üniteden oluşmaktadır. Sayfadaki ünite listesinden güncel bilgiye ulaşabilirsiniz.
12. sınıf Önermeler mantığı ve Önerme eklemleri konuları hangi dönemlerde işleniyor?
12. sınıf mantık dersi konuları 1. dönem ve 2. dönem olarak iki yarıyılda işlenmektedir. Her ünitenin tahmini süre bilgisi Millî Eğitim Bakanlığı'nın haftalık ders planlarında yer almaktadır.
12. sınıf mantık müfredatı ne zaman güncellendi?
Gösterilen içerik 2025-2026 eğitim-öğretim yılı için güncellenmiştir. Millî Eğitim Bakanlığı'nın resmi sitesinde yayımlanan müfredat dokümanları esas alınmıştır.