TYT+AYT FelsefeMantık

Önerme ve Önerme Türleri Konu Anlatımı

Mantığın temel taşı olan önermeleri, nitelik ve niceliklerine göre sınıflandırarak AYT'de fark yaratacak detaylarla keşfet.

Zorluk: Orta
AYT Felsefe Grubu (Mantık) testinde her yıl 1 soru gelmektedir.

1Önerme Nedir? Mantığın Temeline Giriş

Mantık dersinin en kritik konusuna giriyoruz. Önerme, doğru veya yanlış bir değer yargısı bildiren, bir yargı ifade eden tam cümlelerdir. Her cümle bir önerme değildir; bir cümlenin önerme olabilmesi için mutlaka bir gerçeklik iddiası taşıması ve 'doğru' veya 'yanlış' olarak nitelendirilebilmesi gerekir. Günlük hayattaki soru, emir, dilek ve ünlem cümleleri mantıksal anlamda bir önerme teşkil etmezler.

Unutma!

Bir ifadenin önerme olması için 'Doğruluk Değeri' alabiliyor olması şarttır. Örn: 'Kapıyı kapat!' (Emir - Önerme değil), '2+2=4' (Doğru bir önerme), 'Güneş bir gezegendir' (Yanlış bir önerme).
Aşağıdaki ifadelerden hangileri birer önermedir?
İfadelerin bir yargı bildirip bildirmediğini kontrol et.
Cümleye 'Bu doğru mu?' diye sorulup sorulamayacağına bak.
1. 'Bugün hava çok güzel.' (Öznel yargı, mantıkta genelde önerme sayılmaz)
2. 'Bütün insanlar ölümlüdür.' (Yargı bildirir, önermedir)
3. 'Keşke sınavı kazansam.' (Dilek, önerme değildir)
Yalnızca 2. ifade teknik olarak bir önermedir.

2Nitelik ve Niceliklerine Göre Önermeler

Önermeleri sınıflandırırken iki temel kritere bakarız: Nitelik (Olumlu/Olumsuz) ve Nicelik (Tümel/Tikel/Tekil). Bu ayrım, kıyas kurallarını anlaman için hayati önem taşır.

TürAçıklamaÖrnek
Tümel OlumluBütün sınıfı kapsar ve yargı onaylanır.Bütün kuşlar kanatlıdır.
Tümel OlumsuzBütün sınıfı dışarıda bırakır.Hiçbir taş canlı değildir.
Tikel OlumluSınıfın bir kısmını kapsar.Bazı insanlar gözlüklüdür.
Tikel OlumsuzSınıfın bir kısmı için yargıyı reddeder.Bazı öğrenciler çalışkan değildir.

Klasik Mantık Sembolleri (A-E-I-O)

AA

Tümel Olumlu (Affirmo)

EE

Tümel Olumsuz (Nego)

II

Tikel Olumlu (Affirmo)

OO

Tikel Olumsuz (Nego)

3Yapı Bakımından Önermeler: Basit ve Bileşik

Bir önermenin yapısı, içinde kaç tane yargı barındırdığına göre belirlenir. Eğer tek bir yargı varsa 'Basit', birden fazla yargı bağlaçlarla bağlanmışsa 'Bileşik' önerme diyoruz.

Yüklemli (Kategorik) Önerme Yapısı

S (O¨zne)+P (Yu¨klem)+Bag˘S \text{ (Özne)} + P \text{ (Yüklem)} + \text{Bağ}
Basit önermeler bir özne, bir yüklem ve bir bağdan oluşur. Örn: 'İnsan (S) ölümlüdür (P)'.

Bileşik Önermelerde Bağlaçlar

Bileşik önermeler; 've', 'veya', 'ise', 'ancak ve ancak' gibi eklerle kurulur. Bu ekler önermenin doğruluk değerini doğrudan etkiler.

4Modern Mantık ve Sembolleştirme

Sembolik mantıkta (Modern Mantık), önermeleri küçük harflerle (p,q,r,sp, q, r, s) temsil ederiz. Bu, mantıksal işlemleri matematiksel bir kesinliğe kavuşturur.

Mantıksal Eklemler

¬p\neg p

Değilleme (Değil p)

pqp \land q

Tümel Evetleme (p ve q)

pqp \lor q

Tikel Evetleme (p veya q)

pqp \rightarrow q

Koşul (p ise q)

pqp \leftrightarrow q

Karşılıklı Koşul (p ancak ve ancak q)

pq¬pqp \rightarrow q \equiv \neg p \lor q

Koşul ekleminin tikel evetleme cinsinden eşdeğeri (Sınavlarda çok çıkar!)

5Doğruluk Tabloları ve Değerlendirme

Bir önermenin geçerli olup olmadığını anlamak için doğruluk tablolarını kullanırız. Özellikle 'İse' (Koşul) eklemine dikkat etmelisin, çünkü sadece ön bileşen doğru (DD) ve art bileşen yanlış (YY) olduğunda sonuç yanlış çıkar.

pqp \rightarrow q
DDD
DYY
YDD
YYD
¬(pq)\neg (p \land q) ifadesinin eşdeğeri nedir?
De Morgan kuralını uygula.
Değil işaretini parantez içine dağıt.
Tümel evetleme (\land) işaretini tikel evetleme (\lor) işaretine dönüştür.
¬p¬q\neg p \lor \neg q

6Sınavda Önerme ve Önerme Türleri

AYT Felsefe Grubu testinde mantık soruları genellikle 'bilgiyi uygulama' şeklindedir. Özellikle klasik mantıkta 'karşıtlık karesi' (A-E-I-O arası ilişkiler) ve modern mantıkta 'eşdeğerlik' kuralları sorulmaktadır.

Taktik

Eğer soruda 'Her', 'Bütün', 'Hiçbiri' gibi ifadeler görüyorsan Nicelik; '...dır', '...değildir' görüyorsan Nitelik soruluyordur. Bileşik önermelerde ise ana eklemi bulmak sorunun yarısını çözdürür.

7Önemli Noktalar

Mutlaka Bilmen Gerekenler

  • Önerme, doğru veya yanlış değer alabilen yargı cümleleridir.
  • Klasik mantıkta önermeler A, E, I, O harfleriyle sembolize edilir.
  • Basit önermeler tek yargı bildirirken, bileşik önermeler en az iki yargı ve bir bağlaç içerir.
  • Bir önermenin niteliği olumlu veya olumsuz olmasıdır.
  • Modern mantıkta önerme eklemleri (\land, \lor, \rightarrow) önermelerin doğruluk değerini belirler.
  • De Morgan kuralları, bileşik önermelerin değillenmesinde temeldir.

Sık Yapılan Hatalar

  • Soru, emir ve ünlem cümlelerini önerme sanmak.
  • Tikel önermeyi (Bazı) tümel önerme (Bütün) gibi genellemek.
  • İse (\rightarrow) bağlacında $Y \rightarrow D$ durumunu yanlış sanmak (Doğrusu Doğru'dur).
  • Önermenin doğruluk değeri ile yapısal özelliğini karıştırmak.

8Pratik Sorular

Öğrendiklerini test et! Aşağıdaki soruları çözmeye çalış.

Soru 1Kolay
Aşağıdakilerden hangisi bir önerme değildir? A) Dünya yuvarlaktır. B) 5 asal sayıdır. C) Yarın bize gelecek misin? D) Hiçbir kuş memeli değildir. E) Ankara başkenttir.
Soru 2Orta
'Bazı çiçekler kokuludur' önermesinin niteliği ve niceliği nedir?
Soru 3Orta
Sembolik mantıkta pqp \leftrightarrow q önermesinin doğruluk tablosunda hangi durumlarda 'Doğru' (D) değerini aldığını açıklayınız.
Soru 4Zor
¬(pq)p\neg (p \rightarrow q) \lor p önermesinin en sade halini sembolik mantık kurallarına göre bulunuz.
Soru 5Zor
Aristoteles mantığına göre 'Bütün insanlar akıllıdır' (A) önermesinin çelişiği olan önerme tipini ve örneğini yazınız.

Çözümleri Görmek İster misin?

Soruları fotoğrafla, AI koçun adım adım çözümü göstersin. Takıldığın yeri sorabilirsin!

Ücretsiz kullanmaya başla

Sıkça Sorulan Sorular

Önerme ve cümle arasındaki fark nedir?

Her önerme bir cümledir ancak her cümle bir önerme değildir. Bir cümlenin önerme olması için mutlaka doğru veya yanlış bir yargı bildirmesi gerekir; dilek, emir ve sorular önerme değildir.

Tikel ve tümel önerme nasıl ayırt edilir?

Önerme 'bütün', 'tüm', 'hiçbir' gibi ifadelerle tüm grubu kapsıyorsa tümel; 'bazı', 'bir kısım', 'birkaçı' gibi ifadelerle grubun bir kısmını kapsıyorsa tikeldir.

Sınavda bu konudan en çok ne soruluyor?

Özellikle klasik mantıktaki önerme türleri (A, E, I, O) ile sembolik mantıktaki doğruluk tabloları ve eşdeğerlik kuralları her yıl karşımıza çıkmaktadır.

Karmaşık bileşik önermeleri nasıl çözebilirim?

Öncelikle parantez içlerinden başlayarak ve ana eklemi tespit ederek adım adım gitmelisin. De Morgan kurallarını ezberlemek büyük avantaj sağlar.

Bir önerme hem doğru hem yanlış olabilir mi?

Hayır, mantığın temel ilkelerinden olan 'Çelişmezlik' ve 'Üçüncü Halin İmkansızlığı' gereği bir önerme aynı anda hem doğru hem yanlış olamaz ve mutlaka bu iki değerden birini almalıdır.

Doğruluk değeri nedir?

Bir önermenin gerçeklikle olan ilişkisine göre aldığı 'Doğru' (D) veya 'Yanlış' (Y) değeridir. Bu değer önermenin içeriğine göre belirlenir.

İlgili Konular

Konuyu öğrendin, şimdi pratik zamanı!

Koç'a Sor ile binlerce soru çöz, eksiklerini tespit et.

Bu sayfadaki içerikler genel bilgilendirme amaçlıdır ve MEB müfredatına uygun hazırlanmaya çalışılmıştır. Güncel müfredat değişiklikleri için ÖSYM ve MEB'in resmi kaynaklarını takip ediniz.