kleveroAYT Mantık
Önerme Eklemleri: İşlevler ve Ana Eklem
Klevi Felsefe ve Değerler Köşesi · Klevero ekibi · yapay zekâ destekli · Güncellendi:
Kazanımlar
37Önerme eklemlerinin işlevlerini belirtir.38Ana eklem ve ana bileşenleri ayırt eder.
Konu Özeti
Doğru ya da yanlış hüküm bildiren ifadelere önerme denir. Birden fazla önermeyi birbirine bağlayarak yeni bir önerme kuran sözcüklere önerme eklemi denir. Birleşik önermenin doğruluk değeri, bileşenlerinin doğruluk değerlerine ve kullanılan eklemin işlevine bağlıdır. Bu konuda eklemlerin işlevlerini öğrenmek ve ana eklemi bulmak AYT mantık sorularının temelini oluşturur.
Temel Kavramlar
Önerme eklemleri, iki önermeyi birleştirerek yeni bir önerme oluşturur. Değilleme ise tek bir önermeye uygulanır. Aşağıdaki tabloda temel eklemlerin sembolleri, dildeki karşılıkları ve hangi durumda doğru olduklarını görebilirsin.
| Eklem | Sembol | Dildeki karşılığı | Ne zaman doğru? |
|---|---|---|---|
| Değilleme | ¬p | p değildir, p olmadığı doğru değildir | p yanlışsa |
| Ve (kesişim) | p ∧ q | p ve q, hem p hem q, p ama q, p fakat q | İkisi de doğruysa |
| Veya (zayıf) | p ∨ q | p veya q | En az biri doğruysa |
| Koşullu (gerektirme) | p → q | p ise q, p olursa q, p olması q için yeterlidir | p doğru, q yanlış olmadıkça |
| Çift koşullu | p ↔ q | p ancak ve ancak q, p ise q ve q ise p | İkisinin değeri aynıysa |
| Ya da (kuvvetli veya) | p ⊻ q | Ya p ya q | Değerleri farklıysa |
p → q ≡ ¬p ∨ q ve p ↔ q ≡ (p → q) ∧ (q → p)
Doğruluk Tablosu (1: doğru, 0: yanlış)
| p | q | p ∧ q | p ∨ q | p → q | p ↔ q | p ⊻ q |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 0 | 0 | 0 | 0 | 1 | 1 | 0 |
- Ve: yalnızca iki bileşen de doğruyken doğrudur.
- Veya: yalnızca iki bileşen de yanlışken yanlıştır.
- Koşullu: yalnızca 1 → 0 durumunda yanlıştır; önçül yanlışsa önerme daima doğrudur.
- Çift koşullu: bileşenler aynı değerdeyse doğru, farklıysa yanlıştır.
- Kuvvetli veya: çift koşullunun değillemesidir: p ⊻ q ≡ ¬(p ↔ q).
Sık yapılan hata: 'p ise q' önermesinde p yanlışken önermenin yanlış sanılması. Önçül yanlışsa koşullu önerme doğrudur. Ayrıca 'p ama q' ifadesi mantıkta p ∧ q demektir.
Ana Eklem ve Ana Bileşenler
Birleşik bir önermede en son işlemin sonucunu belirleyen ve önermeyi iki ana parçaya ayıran eklem ana eklemdir. Ana eklemin bağladığı parçalara ana bileşenler denir. Parantezler ana eklemi bulmada belirleyicidir: parantez dışında kalan eklem ana eklemdir.
- (p ∧ q) → r: ana eklem →; ana bileşenler (p ∧ q) ve r.
- ¬(p ∨ q): ana eklem ¬ (değilleme); ana bileşen (p ∨ q).
- (p → q) ↔ (¬q → ¬p): ana eklem ↔.
- Parantez yoksa değilleme en güçlü bağlanır; sınav sorularında ana eklem genellikle parantezle belirtilir.
Notun devamı (Klevero uygulamasında)
- Adım Adım Örnekler
- Sık Yapılan Hatalar
- Mini Özet Tablo
- Kontrol Soruları