kleveroAYT Mantık
AYT Mantık: Mantığa Giriş, Önermeler ve Felsefeyle İlişkisi
Klevi Felsefe ve Değerler Köşesi · Klevero ekibi · yapay zekâ destekli · Güncellendi:
Konu Özeti
Mantık, doğru düşünmenin ilkelerini ve kurallarını inceleyen bilimdir. Bir düşüncenin içeriğinden çok biçimine, yani tutarlılığına bakar. Felsefe ise varlığı, bilgiyi ve değeri sorgular ve bu sorgularda tutarlı akıl yürütmeye ihtiyaç duyar. Bu nedenle mantık, felsefi düşüncenin temel araçlarından biridir. AYT'de bu konu önerme, bileşik önerme ve akıl yürütme sorularıyla karşımıza çıkar.
Temel Kavramlar
- Mantık biçimsel doğruluğu (tutarlılığı) inceler; felsefe içerik sorunlarını tartışır.
- Kavram: Zihinde varlıkları ya da durumları temsil eden genel düşünce birimidir.
- Terim: Kavramın dildeki ifadesidir.
- Önerme: Doğru ya da yanlış olarak değerlendirilebilen yargı cümlesidir. Soru, ünlem ve emir cümleleri önerme değildir.
- Çıkarım: Bilinen önermelerden yeni bir önerme (sonuç) elde etmektir.
- Aristoteles mantığın kurucusu kabul edilir; eserleri sonradan Organon adıyla toplanmıştır.
Aşağıdaki üç ilke, her düşüncenin uyması gereken temel kurallardır.
| İlke | Anlamı | Örnek |
|---|---|---|
| Özdeşlik | Her şey kendisiyle aynıdır (A, A′dır). | Ali, Ali′dir. |
| Çelişmezlik | Bir önerme aynı anda hem doğru hem yanlış olamaz. | Bu masa hem yuvarlak hem yuvarlak değil olamaz. |
| Üçüncü halin imkânsızlığı | Bir önerme ya doğrudur ya yanlıştır; üçüncü bir durum yoktur. | Bugün yağmur ya yağıyor ya yağmıyor. |
Bileşik önermeler, basit önermelerin bağlaçlarla birleşmesiyle oluşur. Doğruluk değerleri şöyledir.
| Bağlaç | Gösterim | Ne zaman doğru? |
|---|---|---|
| Değil | p′ | p yanlışsa |
| ve | p ∧ q | İkisi de doğruysa |
| veya | p ∨ q | En az biri doğruysa |
| ise | p ⇒ q | Yalnızca p doğru, q yanlış iken yanlıştır; diğer durumlarda doğrudur |
| ancak ve ancak | p ⇔ q | İkisinin doğruluk değeri aynıysa |
(p ∧ q)′ ≡ p′ ∨ q′ ve (p ∨ q)′ ≡ p′ ∧ q′ (De Morgan)
p ⇒ q ≡ q′ ⇒ p′ ≡ p′ ∨ q (kontrapozitif ve denklik)
Akıl yürütme türleri şunlardır.
- Tümdengelim: Genelden özele gider. Öncüller doğru ve biçim geçerliyse sonuç zorunlu olarak doğrudur.
- Tümevarım: Tek tek örneklerden genel yargıya gider. Sonuç olasıdır, kesin değildir.
- Geçerlilik biçimle, doğruluk içerikle ilgilidir. Geçerli bir argümanın sonucu, öncüller yanlışsa yanlış olabilir.
Notun devamı (Klevero uygulamasında)
- Adım Adım Örnekler
- Sık Yapılan Hatalar
- Mini Özet Tablo
- Kontrol Soruları