Mantık Konu Anlatımı

1Mantık Nedir ve Neden Önemlidir?

Matematiksel mantık, doğru düşünme kurallarının ve ispat yöntemlerinin temelini oluşturur. Günlük hayattaki cümlelerin aksine, matematikte her ifadenin kesin bir doğru veya yanlış değeri olması gerekir. Mantık, sadece bir sınav konusu değil; aynı zamanda bilgisayar programcılığından felsefeye kadar pek çok alanın altyapısını kuran evrensel bir dildir.

Önerme Tanımı

Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Soru, emir, istek veya ünlem cümleleri kesin bir hüküm bildirmediği için önerme kabul edilmez.

Temel Gösterimler

p, q, r, s

Önermeleri temsil eden harfler

1

Doğru (True) değer

0

Yanlış (False) değer

\equiv

Denklik sembolü

2Önermelerin Doğruluk Değerleri

Bir önermenin iki durumu vardır: Ya doğrudur ya da yanlıştır. Eğer farklı önermelerden bahsediyorsak, bu önermelerin birbirine göre kaç farklı durumu olacağını bilmemiz gerekir. İşte bu noktada $2^n$ kuralı devreye girer.

Doğruluk Durumu Sayısı

2^n

n tane farklı önermenin birbirine göre

2^n

tane doğruluk durumu vardır.

3 farklı önermenin birbirine göre kaç farklı doğruluk durumu vardır?

Önerme sayısı n = 3 olarak verilmiş.

Kuralımız gereği

2^n

formülünü uygularız.

2^3 = 2 \times 2 \times 2 = 8

olur.

8

3Bileşik Önermeler ve Bağlaçlar

İki veya daha fazla önermeyi 've', 'veya', 'ise', 'ancak ve ancak' gibi bağlaçlarla birleştirerek elde ettiğimiz yeni önermelere bileşik önerme diyoruz. Bu bağlaçların her birinin kendine has bir 'karakteri' vardır.

Bağlaç	Sembol	Kısa Mantık
Ve	\wedge	Her ikisi de 1 ise sonuç 1, aksi halde 0.
Veya	\vee	En az biri 1 ise sonuç 1, sadece 0-0 durumunda 0.
Ya da	\underline{\vee}	Sadece biri 1 ise sonuç 1, aynı değerlerde 0.
İse	\Rightarrow	Sadece 1 ise 0 durumunda (100 kuralı) 0, diğerlerinde 1.
Ancak ve Ancak	\Leftrightarrow	Değerler aynıysa 1, farklıysa 0.

p \vee p' \equiv 1, \quad p \wedge p' \equiv 0

Bir önermenin kendisi ile değilinin veya'sı her zaman doğru, ve'si her zaman yanlıştır.

4De Morgan Kuralları ve Dağılma Özelliği

Bileşik önermeleri sadeleştirmek için bazı temel kuralları bilmemiz gerekir. Özellikle parantez dışındaki değil (') işaretini içeri dağıtırken De Morgan kurallarını kullanırız.

De Morgan Kuralları

(p \wedge q)' \equiv p' \vee q' \quad \text{ve} \quad (p \vee q)' \equiv p' \wedge q'

Değil içeri girdiğinde hem önermelerin değili alınır hem de bağlaç tersine döner (ve ise veya, veya ise ve olur).

(p \vee q')' \wedge p

ifadesinin en sade hali nedir?

Önce parantez dışındaki değili içeri dağıtalım:

p' \wedge (q')' \equiv p' \wedge q

.

Şimdi ifade şu hale geldi:

(p' \wedge q) \wedge p

.

Birleşme özelliğini kullanarak p'leri yan yana getirelim:

(p' \wedge p) \wedge q

.

p' \wedge p \equiv 0

olduğunu biliyoruz.

0 \wedge q

ifadesinde ve bağlacı olduğu için bir tane 0 sonucu 0 yapar.

0

5Koşullu Önerme (İse) ve Karşıt-Ters

Matematiksel ispatlarda en çok kullanılan bağlaç 'ise' (\Rightarrow) bağlacıdır. Bu bağlaçla kurulan $p \Rightarrow q$ önermesinde p hipotez, q ise hükümdür.

İse Bağlacının Veya'ya Dönüşümü

En kritik kural:

p \Rightarrow q \equiv p' \vee q

şeklindedir. Sorularda 'ise'yi çözemediğinde hemen bu dönüşümü yapmalısın.

İsim	Yapı
Önerme	$p \Rightarrow q$
Karşıtı	$q \Rightarrow p$
Tersi	$p' \Rightarrow q'$
Karşıt Tersi	$q' \Rightarrow p'$

Altın Kural

Bir koşullu önerme, her zaman kendi karşıt tersine denktir:

p \Rightarrow q \equiv q' \Rightarrow p'

.

6Her (\forall) ve Bazı (\exists) Niceleyicileri

Önermelerin başına gelerek niceliğini belirten sembollere niceleyici denir. Bunlar evrensel ve varlıksal niceleyiciler olarak ikiye ayrılır.

Niceleyiciler

\forall

Her (Evrensel): Ele alınan kümedeki tüm elemanlar için sağlanmalı.

\exists

Bazı (Varlıksal): En az bir tane eleman için sağlanması yeterli.

Niceleyicilerin Değili

\forall

sembolünün değili

\exists

,

\exists

sembolünün değili ise

\forall

sembolüdür. Ayrıca içerdeki hükmün de değili alınır.

7Sınavda Mantık: Taktikler ve Soru Tipleri

TYT'de mantık soruları genellikle 'hangisi kesinlikle doğrudur' veya sözel bir ifadeyi sembolik mantığa dökme üzerinedir. AYT kısmında ise bazen kümelerle veya fonksiyonlarla birleştirilmiş daha kompleks sorular gelebilir.

Uzman Taktikleri

1. Bileşik önerme sonucu 0 verilmişse ve bağlaç 'veya' ise, tüm bileşenlerin 0 olması gerektiğini unutma. 2. 'İse' bağlacında sonuç 0 ise, sol taraf 1, sağ taraf 0'dır (100 kuralı). 3. Totoloji (her zaman 1) ve Çelişki (her zaman 0) kavramlarını karıştırma.

p ve q birer önerme olmak üzere;

(p \wedge q) \Rightarrow r \equiv 0

olduğuna göre p, q ve r değerlerini bulunuz.

İse bağlacının sonucu 0 ise, sol taraf 1, sağ taraf 0 olmalıdır.

Bu durumda

p \wedge q \equiv 1

ve

r \equiv 0

olur.

Ve bağlacının sonucunun 1 olması için her iki önermenin de 1 olması gerekir.

Sonuç:

p=1, q=1, r=0

.

p=1, q=1, r=0

8Önemli Noktalar

Mutlaka Bilmen Gerekenler

Önerme, kesin doğru veya yanlış hüküm bildiren ifadedir.
n tane önermenin $2^n$ tane doğruluk durumu vardır.
De Morgan kuralları parantez dışındaki değili içeri dağıtmaya yarar.
$p \Rightarrow q$ ifadesi $p' \vee q$ ifadesine denktir.
Bir önerme her zaman kendi karşıt tersine ($q' \Rightarrow p'$) denktir.
$\forall$ (Her) niceleyicisinin değili $\exists$ (Bazı) niceleyicisidir.
Ancak ve ancak (\Leftrightarrow) bağlacı, iki önerme aynı değere sahipse 1 olur.

Sık Yapılan Hatalar

Soru veya ünlem cümlelerini önerme sanmak.
De Morgan kuralını uygularken aradaki bağlacı (ve/veya) tersine çevirmeyi unutmak.
İse bağlacının tersini alırken karşıt tersiyle karıştırmak.
Niceleyicilerin değilini alırken sadece sembolü değiştirip hükmün (eşitsizliğin) değilini almamak.
$p \vee 1 \equiv 1$ olduğu halde bunu p olarak düşünmek.

9Pratik Sorular

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

Soru 1Kolay

p \equiv 1

ve

q \equiv 0

olduğuna göre

[(p \vee q)' \wedge p] \vee q

ifadesinin doğruluk değeri nedir?

Soru 2Orta

(p \Rightarrow q) \wedge (q' \vee r) \equiv 1

olduğuna göre p, q ve r önermelerinin doğruluk değerlerini bulunuz.

Soru 3Orta

\forall x \in \mathbb{R}, x^2 + 1 > 0

önermesinin değilini (olumsuzunu) sembolik mantık diliyle yazınız.

Soru 4Zor

(p' \wedge q) \Rightarrow (r \vee s') \equiv 0

olduğuna göre

(p \Leftrightarrow s) \vee (q \Rightarrow r')

ifadesinin doğruluk değeri nedir?

Soru 5Kolay

5 farklı önermenin birbirine göre kaç farklı doğruluk durumu vardır?

Çö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

Mantık konusundan TYT'de kaç soru çıkar?

TYT Matematik testinde son yıllarda düzenli olarak her yıl 1 adet mantık sorusu sorulmaktadır.

İse bağlacını veya bağlacına nasıl çeviririm?

Birinci önermenin değilini alıp aradaki işareti veya yaparak ikinciyi aynen bırakırsın. Yani $p \Rightarrow q \equiv p' \vee q$ .

Karşıt tersi ne demektir?

Bir koşullu önermede hem önermelerin yerlerini değiştirmek hem de her ikisinin değilini almaktır. Bir önerme her zaman karşıt tersine denktir.

Totoloji ve çelişki arasındaki fark nedir?

Bir bileşik önerme her durumda 1 sonucunu veriyorsa totoloji, her durumda 0 sonucunu veriyorsa çelişkidir.

Mantık çalışırken en çok neye dikkat etmeliyim?

Bağlaçların doğruluk tablolarını ezberlemek yerine mantığını anlamaya çalışın ve De Morgan kurallarını çok iyi kavrayın.

Kümelerle mantık arasında bir bağ var mı?

Evet, mantıktaki 've' bağlacı kümelerdeki kesişim işlemine, 'veya' bağlacı ise birleşim işlemine karşılık gelir.

İlgili Konular

Kümeler

Mantık bağlaçlarının küme işlemleriyle olan doğrudan ilişkisini keşfedin.

Fonksiyonlar

Mantıksal ifadelerin tanım ve değer kümeleri üzerindeki uygulamalarını öğrenin.

Olasılık

Doğruluk durumlarının sayısını hesaplarken kullanılan sayma prensiplerini inceleyin.

İçindekiler