AYT Mantık Önermeler Mantığı Konu Anlatımı

Önermeler Mantığı

Önermeler mantığı; önermeleri birer bütün olarak ele alan, bu önermeler arasındaki mantıksal bağları ve çıkarım ilişkilerini sembollerle inceleyen mantık alanıdır. Temel amaç; bileşik önermelerin doğruluk değerlerini, mantıksal denklikleri ve çıkarımların geçerliliğini belirlemektir.

Önerme

Önerme, doğru veya yanlış olabilen yargı bildiren ifadedir.

Basit ve Bileşik Önerme

Basit önerme, başka önermelere mantıksal bağlaçlarla ayrılmayan önermedir.

Bileşik önerme, bir veya daha fazla önermenin mantıksal bağlaçlarla birleştirilmesiyle oluşur.

Önerme Değişkenleri

Önermeler genellikle p, q, r, s gibi harflerle gösterilir. Böylece içerikten bağımsız biçimde mantıksal yapı incelenebilir.

Doğruluk Değeri

Klasik önermeler mantığında iki doğruluk değeri kullanılır:

• Doğru (D)
• Yanlış (Y)

Değilleme

Bir önermenin değillemesi, doğruluk değerini tersine çevirir.

p doğruysa ¬p yanlış; p yanlışsa ¬p doğrudur.

Ve Bağlacı

p ∧ q yalnızca iki bileşen de doğru olduğunda doğrudur.

Veya Bağlacı

p ∨ q, en az bir bileşen doğru olduğunda doğrudur. Klasik mantıktaki standart “veya” kapsayıcıdır; iki bileşen birden doğru olabilir.

Ayrık Veya

“Ya ... ya da ...” bazı bağlamlarda iki seçenekten yalnız birinin doğru olmasını anlatır. Bu kullanım ayrık veya olarak değerlendirilir.

Koşullu Önerme

“Eğer p ise q” biçimindeki önerme p → q ile gösterilir.

p → ön bileşen q → art bileşen

Koşullu Önermenin Doğruluğu

p → q yalnızca p doğru, q yanlış olduğunda yanlıştır.

Karşılıklı Koşul

p ↔ q, p ile q aynı doğruluk değerine sahip olduğunda doğrudur.

D-D → D Y-Y → D D-Y → Y Y-D → Y

Doğruluk Tablosu

Doğruluk tablosu, bileşik önermenin bütün mümkün doğruluk durumlarını gösterir.

n tane bağımsız önerme değişkeni için:

2^n satır gerekir.

Ana Bağlaç

Bir bileşik önermenin tamamına en son uygulanan bağlaç ana bağlaçtır.

Tautoloji

Her doğruluk durumunda doğru olan bileşik önermedir.

Örnek: p ∨ ¬p

Çelişki

Her doğruluk durumunda yanlış olan bileşik önermedir.

Örnek: p ∧ ¬p

Olumsal Önerme

Bazı doğruluk durumlarında doğru, bazı durumlarda yanlış olan bileşik önermedir.

Mantıksal Denklik

İki ifade bütün doğruluk durumlarında aynı değeri alıyorsa mantıksal olarak denktir.

Sembol: ≡

Örnek: ¬¬p ≡ p

De Morgan Kuralları

¬(p ∧ q) ≡ ¬p ∨ ¬q

¬(p ∨ q) ≡ ¬p ∧ ¬q

Koşullu Önermenin Denk Biçimi

p → q ≡ ¬p ∨ q

Ters, Karşıt ve Karşıt Ters

p → q için:

Karşıtı: q → p

Tersi: ¬p → ¬q

Karşıt tersi: ¬q → ¬p

İki Yönlü Koşulun Açılımı

p ↔ q ≡ (p → q) ∧ (q → p)

Değişme Özelliği

p ∧ q ≡ q ∧ p

p ∨ q ≡ q ∨ p

Ancak:

p → q

ile

q → p

genel olarak denk değildir.

Birleşme Özelliği

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Dağılma Özelliği

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

Temel Sadeleştirme Kuralları

p ∧ D ≡ p

p ∨ Y ≡ p

p ∨ D ≡ D

p ∧ Y ≡ Y

p ∧ p ≡ p

p ∨ p ≡ p

Geçerli Çıkarım

Bir çıkarım, öncüllerin tümünün doğru olduğu hiçbir durumda sonuç yanlış değilse geçerlidir.

Modus Ponens

p → q p ∴ q

Geçerli çıkarımdır.

Modus Tollens

p → q ¬q ∴ ¬p

Geçerli çıkarımdır.

Hipotetik Kıyas

p → q q → r ∴ p → r

Geçerli çıkarımdır.

Ayrık Kıyas

p ∨ q ¬p ∴ q

Geçerli çıkarımdır.

Sonucu Onaylama Yanlışı

p → q q ∴ p

Geçersizdir.

Ön Bileşeni Yadsıma Yanlışı

p → q ¬p ∴ ¬q

Geçersizdir.

Tutarlılık

Bir önerme kümesinin bütün üyelerini aynı anda doğru yapan en az bir doğruluk dağılımı varsa küme tutarlıdır.

Hiçbir doğruluk dağılımında birlikte doğru olamıyorsa tutarsızdır.

Doğruluk Tablosuyla Geçerlilik

1. Önerme değişkenlerini belirle.
2. 2^n satırı oluştur.
3. Öncülleri hesapla.
4. Sonucu hesapla.
5. Öncüllerin tümünün doğru olduğu satırları incele.
6. Bu satırlarda sonuç hep doğruysa çıkarım geçerlidir.

Önermeler Mantığının Sınırı

Önermeler mantığı önermeleri bütün olarak ele alır. Bir önermenin içindeki “bütün”, “bazı”, özne ve yüklem yapısını ayrıca çözümlemek daha ileri sembolik mantık alanına girer.

Sık Karıştırılan Noktalar

Soru Çözerken Kullanılabilecek Yaklaşım

Bağlaç Sorusu

değil → ¬ ve → ∧ veya → ∨ ise → → ancak ve ancak → ↔

Doğruluk Sorusu

∧ → yalnız D-D doğru ∨ → yalnız Y-Y yanlış → → yalnız D-Y yanlış ↔ → aynı değerler doğru

Denklik Sorusu

¬¬p → p ¬(p ∧ q) → ¬p ∨ ¬q ¬(p ∨ q) → ¬p ∧ ¬q p → q → ¬p ∨ q p → q → ¬q → ¬p

Çıkarım Sorusu

p → q, p, sonuç q → Modus Ponens p → q, ¬q, sonuç ¬p → Modus Tollens

Konu Özeti

Önermeler mantığı, önermeleri semboller ve mantıksal bağlaçlar üzerinden inceler.

Temel bağlaçlar: ¬, ∧, ∨, →, ↔.

Doğruluk tablosu: bütün olası doğruluk durumlarını gösterir.

Tautoloji: hep doğru.

Çelişki: hep yanlış.

Olumsal: bazı durumlarda doğru, bazı durumlarda yanlış.

Geçerli çıkarımlar: Modus Ponens, Modus Tollens, hipotetik kıyas ve ayrık kıyas.