TYT Matematik · Kümeler ve Mantık

Mantık

~8 dk okumaZorluk: Orta6 çözümlü soruTYT'de ~2 soru/yıl · Sınavda orta ağırlık

Mantık, önermelerin doğruluk değerleriyle uğraşır ve bunları bağlaçlarla birleştirmenin kurallarını verir. TYT'de bu konu doğrudan doğruluk tablosu, De Morgan kuralları ve niceleyici olumsuzlaması üzerinden sorulur. Burada her bağlacı tablosuyla birlikte net biçimde kuruyoruz.

1. Önerme Nedir?

Önerme, doğru ( $1$ ) ya da yanlış ( $0$ ) olduğu kesin olarak söylenebilen yargıdır. Bir cümlenin önerme olması için aynı anda hem doğru hem yanlış olamaması gerekir.

" $3$ asal sayıdır" $\to$ doğru bir önermedir ( $1$ ).
" $4$ tek sayıdır" $\to$ yanlış bir önermedir ( $0$ ).

Buna karşılık soru, ünlem, emir ve kişisel görüş cümleleri önerme değildir; çünkü bir doğruluk değeri taşımazlar:

Cümle	Önerme mi?	Neden?
"Pencereyi aç."	Hayır	Emir cümlesi, doğru/yanlış denemez
"Hava ne güzel!"	Hayır	Ünlem, doğruluk değeri yok
"Matematik en güzel derstir."	Hayır	Kişisel görüş
" $2 + 3 = 5$ "	Evet	Doğru ( $1$ )

Önermeler $p, q, r$ gibi harflerle gösterilir.

2. Bağlaçlar ve Doğruluk Tabloları

Değil (olumsuzlama) — $\neg p$

$\neg p$ , $p$ 'nin doğruluk değerini tersine çevirir.

$p$	$\neg p$
$1$	$0$
$0$	$1$

Ve — $p \land q$

$p \land q$ yalnızca ikisi de doğruyken doğrudur.

$p$	$q$	$p \land q$
$1$	$1$	$1$
$1$	$0$	$0$
$0$	$1$	$0$
$0$	$0$	$0$

Veya — $p \lor q$

$p \lor q$ en az biri doğruysa doğrudur. Bu, mantıktaki kapsayan-veyadır: ikisi birden doğru olduğunda da sonuç doğrudur.

$p$	$q$	$p \lor q$
$1$	$1$	$1$
$1$	$0$	$1$
$0$	$1$	$1$
$0$	$0$	$0$

İse (koşullu) — $p \Rightarrow q$

$p \Rightarrow q$ yalnızca $p$ doğru, $q$ yanlış olduğunda yanlıştır; diğer tüm durumlarda doğrudur.

$p$	$q$	$p \Rightarrow q$
$1$	$1$	$1$
$1$	$0$	$0$
$0$	$1$	$1$
$0$	$0$	$1$

Önemli eşdeğerlik: $p \Rightarrow q \equiv \neg p \lor q$ .

Ancak ve ancak (çift koşullu) — $p \Leftrightarrow q$

$p \Leftrightarrow q$ , $p$ ile $q$ aynı doğruluk değerinde olduğunda doğrudur.

$p$	$q$	$p \Leftrightarrow q$
$1$	$1$	$1$
$1$	$0$	$0$
$0$	$1$	$0$
$0$	$0$	$1$

3. Totoloji, Çelişki ve De Morgan Kuralları

Totoloji, içindeki önermelerin doğruluk değeri ne olursa olsun her zaman doğru ( $1$ ) olan bileşik önermedir. Örnek: $p \lor \neg p$ daima doğrudur.

Çelişki, her durumda her zaman yanlış ( $0$ ) olan bileşik önermedir. Örnek: $p \land \neg p$ daima yanlıştır.

De Morgan kuralları, bir bağlacın olumsuzunu öteki bağlaca çevirir:

$\neg (p \land q) \equiv \neg p \lor \neg q$

$\neg (p \lor q) \equiv \neg p \land \neg q$

Yani "ve"nin değili "veya"ya, "veya"nın değili "ve"ye döner; her parça da ayrıca olumsuzlanır.

4. Niceleyiciler

Niceleyiciler, bir önermenin "ne kadar" için geçerli olduğunu belirtir:

Her ( $\forall$ ): "Her $x$ için ...". İstisnasız tümü.
Bazı / en az bir ( $\exists$ ): "Bazı $x$ için ..." ya da "En az bir $x$ vardır ki ...".

Niceleyicili önermelerin olumsuzunda niceleyici yer değiştirir ve içerideki yargı olumsuzlanır:

$\neg (\forall x : p (x)) \equiv \exists x : \neg p (x)$

$\neg (\exists x : p (x)) \equiv \forall x : \neg p (x)$

Sözel karşılığı: "Her ... dır" önermesinin değili "Bazı ... değildir" olur.

Örnek

Soru

" $p$ : $3$ asaldır" ve " $q$ : $4$ tektir" önermeleri veriliyor. $p \land q$ , $p \lor q$ ve $p \Rightarrow q$ bileşik önermelerinin doğruluk değerlerini bulunuz.

Önce tek tek değerleri belirleyelim: $p = 1$ (doğru), $q = 0$ (yanlış).

$p \land q$ : "ve" için ikisi de doğru olmalı. $1 \land 0 = 0$ $\to$ yanlış.
$p \lor q$ : "veya" için en az biri doğru yeter. $1 \lor 0 = 1$ $\to$ doğru.
$p \Rightarrow q$ : yalnız $p = 1, q = 0$ iken yanlıştır. $1 \Rightarrow 0 = 0$ $\to$ yanlış.

Sonuç:

p \land q = 0

p \lor q = 1

p \Rightarrow q = 0

Örnek

Soru

$p \land q$ bileşik önermesinin doğruluk tablosunu kurunuz ve sonucun kaç satırda doğru olduğunu söyleyiniz.

İki önerme olduğu için $2^{2} = 4$ satır vardır:

$p$	$q$	$p \land q$
$1$	$1$	$1$
$1$	$0$	$0$
$0$	$1$	$0$
$0$	$0$	$0$

Yalnızca ilk satırda ( $p = 1, q = 1$ , yani ikisi de doğruyken) sonuç doğrudur.

Sonuç: "Ve" yalnız

1

satırda (ikisi de doğruyken) doğrudur.

Örnek

Soru

$p \Rightarrow q$ koşullu önermesinin doğruluk tablosunu kurunuz. Hangi satırda yanlıştır?

Koşullu önerme yalnızca öncül doğru, sonuç yanlışken bozulur; öncül yanlışsa önerme her durumda doğrudur.

Dört satırı yazalım:

$p$	$q$	$p \Rightarrow q$
$1$	$1$	$1$
$1$	$0$	$0$
$0$	$1$	$1$
$0$	$0$	$1$

Sonuç yalnızca $p = 1, q = 0$ satırında $0$ (yanlış) olur. Diğer üç satırda doğrudur.

Sonuç: Yalnız

p = 1, q = 0

satırında yanlıştır.

Örnek

Soru

$\neg (p \land q)$ ifadesini De Morgan kuralıyla bağlaç değiştirerek yazınız.

De Morgan: "ve"nin değili, parçaların değilinin "veya"sına eşittir.

$\neg (p \land q) \equiv \neg p \lor \neg q$

Sonuç:

\neg (p \land q) \equiv \neg p \lor \neg q

Örnek

Soru

"Her öğrenci geldi." önermesinin olumsuzunu (değilini) yazınız.

Niceleyici olumsuzlamasında $\forall$ ile $\exists$ yer değiştirir; "geldi" yargısı "gelmedi"ye döner.

Önerme $\forall x : x$ geldi biçimindedir. Olumsuzu:

$\neg (\forall x : geldi) \equiv \exists x : \neg (geldi)$

Yani "Her öğrenci geldi"nin değili "Hiçbiri gelmedi" değil, "Bazı öğrenciler gelmedi" olur. (En az bir öğrencinin gelmemesi yeterlidir.)

Sonuç: "Bazı öğrenciler gelmedi."

Örnek

Soru

Aşağıdaki cümlelerden hangileri önermedir?

I. "Pencereyi aç."

II. " $7$ asal sayıdır."

III. " $x + 1 = 3$ "

I. Emir cümlesidir, doğru/yanlış denemez $\to$ önerme değildir.
II. $7$ gerçekten asaldır, kesin doğru ( $1$ ) $\to$ önermedir.
III. $x$ belirsiz olduğundan doğruluk değeri sabit değildir (açık önerme); $x$ verilmeden $\to$ önerme değildir.

Sonuç: Yalnız II önermedir.

Çözümlü Sorular

Örnek

Soru

$p = 1$ , $q = 0$ , $r = 1$ veriliyor. $(p \land \neg q) \lor r$ bileşik önermesinin doğruluk değerini bulunuz.

Önce parçaları hesaplayalım: $\neg q = \neg0 = 1$ .
$p \land \neg q = 1 \land 1 = 1$ .
Son adımda "veya" uygulayalım: $(1) \lor r = 1 \lor 1 = 1$ .

Sonuç:

(p \land \neg q) \lor r = 1

(doğru).

Örnek

Soru

$p \Leftrightarrow q$ çift koşullu önermesi $0$ (yanlış) ise, $p$ ile $q$ arasında nasıl bir ilişki vardır?

$p \Leftrightarrow q$ yalnızca $p$ ile $q$ aynı doğruluk değerindeyken doğrudur.
Sonuç $0$ (yanlış) olduğuna göre $p$ ile $q$ aynı değerde değildir.
Yani biri doğruyken öteki yanlıştır: $(p = 1, q = 0)$ ya da $(p = 0, q = 1)$ durumları geçerlidir.

Sonuç:

p

ile

q

farklı doğruluk değerlerine sahiptir (biri

1

, öteki

0

Örnek

Soru

$p \Rightarrow q$ önermesini $\neg p \lor q$ eşdeğerliğiyle, $p = 0$ , $q = 0$ için hesaplayıp sonucu doğrulayınız.

Eşdeğerlik: $p \Rightarrow q \equiv \neg p \lor q$ .
$\neg p = \neg0 = 1$ olur.
$\neg p \lor q = 1 \lor 0 = 1$ .
Tabloyla karşılaştıralım: $p = 0, q = 0$ satırında $p \Rightarrow q = 1$ idi; eşdeğerlik doğrulandı.

Sonuç:

p \Rightarrow q = 1

(doğru); eşdeğerlik tutar.

Örnek

Soru

$\neg (p \lor \neg q)$ ifadesini De Morgan kuralıyla sadeleştiriniz.

De Morgan: "veya"nın değili, parçaların değilinin "ve"sidir: $\neg (a \lor b) \equiv \neg a \land \neg b$ .
Burada $a = p$ , $b = \neg q$ alalım: $\neg (p \lor \neg q) \equiv \neg p \land \neg (\neg q)$ .
Çifte olumsuzlama: $\neg (\neg q) = q$ .
Böylece ifade $\neg p \land q$ olur.

Sonuç:

\neg (p \lor \neg q) \equiv \neg p \land q

Örnek

Soru

$p \lor \neg p$ ve $p \land \neg p$ bileşik önermeleri için: hangisi totoloji, hangisi çelişkidir?

$p \lor \neg p$ : $p = 1$ iken $1 \lor 0 = 1$ ; $p = 0$ iken $0 \lor 1 = 1$ . Her durumda $1$ .
Demek ki $p \lor \neg p$ daima doğrudur $\to$ totoloji.
$p \land \neg p$ : $p = 1$ iken $1 \land 0 = 0$ ; $p = 0$ iken $0 \land 1 = 0$ . Her durumda $0$ .
Demek ki $p \land \neg p$ daima yanlıştır $\to$ çelişki.

Sonuç:

p \lor \neg p

totoloji,

p \land \neg p

çelişkidir.

Örnek

Soru

"Bazı sayılar çifttir." önermesinin olumsuzunu (değilini) yazınız.

Niceleyici olumsuzlamasında $\exists$ ile $\forall$ yer değiştirir; içerideki yargı da olumsuzlanır.

Önerme $\exists x : x$ çifttir biçimindedir.
Olumsuzlama kuralı: $\neg (\exists x : p (x)) \equiv \forall x : \neg p (x)$ .
Buna göre "Bazı sayılar çifttir"in değili: her sayı için "çift değildir".
Sözel karşılığı: "Hiçbir sayı çift değildir" (yani "Her sayı tektir/çift değildir").

Sonuç: "Hiçbir sayı çift değildir."

Örnek

Soru

$\neg p \Rightarrow q$ koşullu önermesinin doğruluk tablosunu kurunuz ve sonucun kaç satırda doğru olduğunu söyleyiniz.

Önce her satır için $\neg p$ değerini bulalım, sonra $\neg p \Rightarrow q$ koşullusunu uygulayalım (yalnız öncül $1$ , sonuç $0$ iken yanlış).

$p$	$q$	$\neg p$	$\neg p \Rightarrow q$
$1$	$1$	$0$	$1$
$1$	$0$	$0$	$1$
$0$	$1$	$1$	$1$
$0$	$0$	$1$	$0$

Yalnızca son satırda ( $p = 0, q = 0$ ) öncül $\neg p = 1$ ve sonuç $q = 0$ olduğundan önerme yanlıştır.
Diğer üç satırda sonuç doğrudur.

Sonuç:

3

satırda doğru,

1

satırda (

p = 0, q = 0

) yanlıştır.

Sınav Tarzı Sorular

Aşağıdaki sorular, ÖSYM'nin TYT Temel Matematik'te sorduğu çok kavramlı, dolaylı (5 şıklı) soru tarzına örnek olarak özgün biçimde hazırlanmıştır.

Çözümlü Sorular

Her soruyu önce kendin dene; takıldığında Çözüme Bak.

Sınavda Tuzaklar

ÖSYM bu konuda çeldiricileri tam şu hatalar üzerine kurar — sorulara başlamadan bir kez oku:

Bileşik önermenin doğruluk değerini hesaplama: Öncülü yanlış olan koşulluyu da yanlış saymak (0 ⇒ 0'ı yanlış sanmak) koşullunun değerini öncülün değerine eşitleyen ters sonuç
Koşullu önermenin yanlışlığından geri çıkarım: Önermelerin doğruluk değerlerini serbest sanıp şıklardan deneme yapmak tek çözümü görmeyip birden çok şıkkı 'olabilir' diye elemekte zorlanmak
Koşullu önermenin değili: (p ⇒ q)' ≡ p ∧ q': (p ⇒ q)' ifadesini p' ∧ q sanmak öncül–hüküm rolleri ters; p'yi sağlamayıp q'yu sağlayanlar taranır
De Morgan: bileşik önermenin değili: Değillemeyi parantezin yalnız ilk bileşenine uygulamak p' ∨ q hesabı — ikinci yasak hiç kurulmaz, çözüm tekleşmez
Önermeler sayı özelliği olunca (değeri kilitle, sayıyı tara): 'Bileşik yanlıştır' bilgisini 'p de q da yanlıştır' diye okumak hiçbir koşulu sağlamayan sayıların toplamı — tümleyen listenin cevabı
İç içe koşullu önerme (parantez yeri): Parantezi göz ardı edip soldan sağa okumak p ⇒ (q ⇒ r) ile (p ⇒ q) ⇒ r'yi aynı sanmak; tek çözüm yerine üç dizilim (ya da tersi)

Soru 1Orta

p \Rightarrow q

koşullu önermesi ile **aynı doğruluk değerine** sahip olmayan hangisidir?

$p \Rightarrow q \equiv \neg p \lor q$ (B ve C eşdeğerdir).
Karşıtı $\neg q \Rightarrow \neg p$ (A) ve olumsuzlanmış biçim $\neg (p \land \neg q)$ (D) de eşdeğerdir.
$q \Rightarrow p$ karşılığıdır; $p = 1$ , $q = 0$ iken $p \Rightarrow q$ yanlış, $q \Rightarrow p$ doğrudur — eşdeğer değildir.

Sonuç:

q \Rightarrow p

Soru 2Kolay

\neg (p \lor q)

önermesine mantıksal olarak **denk** olan hangisidir?

De Morgan: $\neg (p \lor q) \equiv \neg p \land \neg q$ .

Sonuç:

\neg p \land \neg q

Soru 3Kolay

p

q

önermeleri için

p = 1

q = 0

iken aşağıdakilerden hangisinin doğruluk değeri **

1

**'dir?

$p = 1$ , $q = 0$ satırında $p \Rightarrow q$ , $p \land q$ , $p \Leftrightarrow q$ yanlıştır ( $0$ ).
$\neg p = 0$ olduğundan $\neg p \land \neg q = 0$ .
$\neg p \Rightarrow q$ : öncül $0$ olduğundan koşullu önerme **doğrudur** ( $1$ ).

Sonuç:

\neg p \Rightarrow q

Soru 4Orta

Bir kafenin kampanya kuralı şudur: "Müşteri, **kahve** alırsa **tatlı** alır." Aşağıdaki müşterilerden hangisi **kuralı bozmuş** (kuralı yanlış çıkaran tek durum) olur?

p

: kahve aldı,

q

: tatlı aldı olmak üzere kural

p \Rightarrow q

'dur.

Kural $p \Rightarrow q$ ; yalnız öncül doğru, sonuç yanlışken ( $p = 1, q = 0$ ) bozulur.
Bu da "kahve aldı, tatlı almadı" durumudur.
Kahve almayan müşteri için kural her hâlde sağlanır (öncül yanlış).

Sonuç: Kahve aldı, tatlı almadı

Soru 5Orta

Bir öğretmen "Sınıftaki **her** öğrenci ödevini yaptı." dedi. Veli toplantısında bu cümlenin **yanlış** olduğu anlaşıldı. Buna göre **kesinlikle** doğru olan ifade hangisidir?

Önerme $\forall x : x$ ödev yaptı biçiminde, ve bu **yanlış**.
Olumsuzu: $\neg (\forall x : p (x)) \equiv \exists x : \neg p (x)$ .
Sözel karşılığı: "En az bir öğrenci ödevini yapmadı." ("Hiçbiri yapmadı" çeldiricisi yanlıştır; bir öğrencinin yapmaması yeter.)

Sonuç: En az bir öğrenci ödevini yapmadı

Soru 6Zor

p \land q

bileşik önermesi **yanlış** (

0

p \lor q

bileşik önermesi **doğru** (

1

) olduğuna göre

p \Leftrightarrow q

önermesinin doğruluk değeri nedir?

$p \land q = 0$ : ikisi birden doğru değil.
$p \lor q = 1$ : en az biri doğru.
Bu iki koşul yalnız $p$ ile $q$ farklı değerdeyken ( $1, 0$ ya da $0, 1$ ) birlikte sağlanır.
Farklı değerde olduklarından $p \Leftrightarrow q = 0$ (daima yanlış).

Sonuç: Daima

0

0/6 soru cevaplandı

Sık Yapılan Hatalar

$p \Rightarrow q$ 'yu yanlış okumak: Bu önerme yalnız $p = 1, q = 0$ iken yanlıştır. Öncül yanlışsa ( $p = 0$ ) sonuç her zaman doğrudur. Bu satırları karıştırmak en çok puan kaybettiren hatadır.
"Veya"yı dışlayan-veya sanmak: Mantıktaki "veya" kapsayandır; ikisi de doğruyken ( $1 \lor 1$ ) sonuç yine $1$ 'dir. "İkisinden tam biri" anlamı yoktur.
Niceleyici olumsuzlamasında değişimi atlamak: "Her ... dır"ın değili "Her ... değildir" değildir. $\forall \leftrightarrow \exists$ yer değiştirir; doğrusu "Bazı ... değildir"dir.
De Morgan'da bağlacı değiştirmemek: $\neg (p \land q)$ , $\neg p \land \neg q$ değildir; "ve" mutlaka "veya"ya döner.

Sınav İpucu

Bileşik önerme sorularında tereddüt edersen doğruluk tablosu kur: $2$ önerme için $4$ , $3$ önerme için $8$ satır yeter ve hata payını sıfırlar. Hız için $p \Rightarrow q \equiv \neg p \lor q$ eşdeğerliğini ezberle; koşullu önermeleri "veya"ya çevirip işlemi kısaltır. De Morgan ile birlikte bu eşdeğerlik, karmaşık olumsuzlamaları saniyeler içinde sadeleştirir.

1. Önerme Nedir?

2. Bağlaçlar ve Doğruluk Tabloları

Değil (olumsuzlama) — ¬p

Ve — p∧q

Veya — p∨q

İse (koşullu) — p⇒q

Ancak ve ancak (çift koşullu) — p⇔q

3. Totoloji, Çelişki ve De Morgan Kuralları

4. Niceleyiciler

Çözümlü Sorular

Sınav Tarzı Sorular

Çözümlü Sorular

Sık Yapılan Hatalar

Sınav İpucu

Kümeler ve Mantık — diğer konular

Değil (olumsuzlama) — $\neg p$

Ve — $p \land q$

Veya — $p \lor q$

İse (koşullu) — $p \Rightarrow q$

Ancak ve ancak (çift koşullu) — $p \Leftrightarrow q$