Matematik164 views·Updated Jun 24, 2026·6 pages

Mantık Konu Anlatımı ve Özet Notlar

Büşra@ttheebusra

Add to Google sources

Mantık, matematik ve günlük yaşamda doğru düşünme becerisinin temelidir. Önermeler...

1 / 6

of 6

*Mantik

*Önermeler:
Doğru yada yanlış ... kesin hükümler bildiren ifadelere Önerme denir.

P:"Ankara, Türkiye'nin boşkentidir." doğru Önerm

Önermeler ve Temel Kavramlar

Günlük hayatta sürekli doğru ya da yanlış ifadeler kullanırız. İşte önerme tam da budur - kesin olarak doğru ya da yanlış diyebileceğimiz ifadeler.

"Ankara Türkiye'nin başkentidir" gibi ifadeler önerme olurken, "Benim boyum kısadır" gibi belirsiz ifadeler önerme değildir. Doğruluk değeri sisteminde doğru önermeler 1, yanlış önermeler 0 ile gösterilir.

İki önermenin doğruluk değerleri aynıysa bunlara denk önermeler denir ve ≡ sembolüyla gösterilir. N tane önermenin 2^n farklı doğruluk durumu vardır - bu sayede doğruluk tabloları oluştururuz.

Not: Önermeler p, q, r, s harfleriyle gösterilir ve matematiksel kesinlik sağlar.

of 6

Önerme İşlemleri ve Bağlaçlar

Önermelerin değili (olumsuz hali) p' veya ¬p ile gösterilir. Bir önermenin değilinin değili yine kendisine eşittir.

"Ve" bağlacı (∧) çarpma gibi çalışır - her iki önerme de doğru olmalı ki sonuç doğru olsun. "Veya" bağlacı (∨) ise toplama gibidir - en az bir önerme doğruysa sonuç doğrudur.

Bileşik önermelerin sonucu her zaman doğru olanlara "totoloji", her zaman yanlış olanlara "çelişki" denir. Bu kavramlar matematiksel ispatlarda çok önemlidir.

Taktik: "Veya" bağlacını toplamaya, "ve" bağlacını çarpmaya benzetirsen hatırlaması kolay olur!

of 6

Mantık Bağlaçlarının Özellikleri

Mantık bağlaçları matematik işlemlerine çok benzer özellikler gösterir. Birleşme özelliği sayesinde parantez yerlerini değiştirebilir, değişme özelliği ile sıralamayı değiştirebilirsin.

Dağılma özelliği en karmaşık olanıdır ama süper kullanışlı: p∨(q∧r) = (p∨q)∧(p∨r) gibi. Bu özellik karmaşık ifadeleri sadeleştirmekte altın değerinde.

De Morgan kuralları ise gerçek bir yaşam kurtarıcısı: (p∨q)' = p'∧q' ve (p∧q)' = p'∨q'. Yani değil işlemi bağlaçları tersine çevirir.

İpucu: Bu özellikleri ezberlemek yerine mantığını anla - günlük hayattaki "ve/veya" kullanımına benzettir.

of 6

Koşullu Önermeler ve İleri Düzey Bağlaçlar

"Ya da" bağlacı (⊕) normal "veya"dan farklıdır - aynı anda ikisi de doğruysa sonuç yanlış olur. Günlük hayattaki "ya bu ya da şu" mantığıyla çalışır.

"İse" bağlacı (→) en karmaşık olanlardan biridir. p→q ifadesi sadece p doğru q yanlışken yanlış olur, diğer durumlarda hep doğrudur. Bu bağlaç p'∨q ile denktir.

Bir önermenin tersi, karşıtı ve karşıt tersi vardır. Önemli olan şu: bir önerme ile karşıt tersi her zaman birbirine denktir.

Dikkat: Koşullu önermelerde sadece "doğru öncülden yanlış sonuç" durumu yanlıştır!

of 6

İki Yönlü Koşul ve Niceleyiciler

"Ancak ve ancak" bağlacı (↔) iki önerme aynı doğruluk değerine sahipse doğru, farklıysa yanlıştır. Bu bağlaç (p→q)∧(q→p) ile tanımlanır.

Niceleyiciler matematiksel ifadelerde önemli rol oynar. ∀ (her) sembolü tüm elemanlar için geçerli olan durumları, ∃ (bazı) sembolü ise en az bir eleman için geçerli olan durumları belirtir.

"∀x∈Z, x²≥0" ifadesi "her tam sayının karesi sıfırdan büyük eşittir" anlamına gelir ve doğrudur. Bu tür ifadelerin doğruluk değerini belirlemek kritiktir.

Unutma: Niceleyiciler matematiksel kesinlik sağlar ve ispatlarda vazgeçilmezdir.

of 6

Aksiyom, Teorem ve Problem Çözme

Aksiyom ispata gerek olmayan, doğruluğu açık olan temel önermelerdir. "İki farklı noktadan yalnız bir doğru geçer" gibi geometrinin temel taşlarıdır.

Teorem ise doğruluğu ispatlanması gereken önermelerdir. "İki çift sayının çarpımı daima çifttir" gibi ifadeler teorem örneğidir.

Karmaşık mantık problemlerini çözerken dağılma özelliklerini ve De Morgan kurallarını kullan. Örneğin (p∨r)∨(r∧q) gibi ifadeleri sadeleştirmek için önce ortak faktörleri bul.

Strateji: Problem çözümünde önce ifadeyi en basit hale getir, sonra doğruluk tablosuyla kontrol et!

We thought you’d never ask...

What is the Knowunity AI companion?

Our AI companion is specifically built for the needs of students. Based on the millions of content pieces we have on the platform we can provide truly meaningful and relevant answers to students. But its not only about answers, the companion is even more about guiding students through their daily learning challenges, with personalised study plans, quizzes or content pieces in the chat and 100% personalisation based on the students skills and developments.

Where can I download the Knowunity app?

You can download the app in the Google Play Store and in the Apple App Store.

Is Knowunity really free of charge?

That's right! Enjoy free access to study content, connect with fellow students, and get instant help – all at your fingertips.

Can't find what you're looking for? Explore other subjects.

Students love us — and so will you.

4.6/5App Store

4.7/5Google Play

The app is very easy to use and well designed. I have found everything I was looking for so far and have been able to learn a lot from the presentations! I will definitely use the app for a class assignment! And of course it also helps a lot as an inspiration.

Stefan SiOS user

This app is really great. There are so many study notes and help [...]. My problem subject is French, for example, and the app has so many options for help. Thanks to this app, I have improved my French. I would recommend it to anyone.

Samantha KlichAndroid user

Wow, I am really amazed. I just tried the app because I've seen it advertised many times and was absolutely stunned. This app is THE HELP you want for school and above all, it offers so many things, such as workouts and fact sheets, which have been VERY helpful to me personally.

AnnaiOS user

Matematik164 views·Updated Jun 24, 2026·6 pages

Mantık Konu Anlatımı ve Özet Notlar

Büşra@ttheebusra

Add to Google sources

Mantık, matematik ve günlük yaşamda doğru düşünme becerisinin temelidir. Önermeler ve mantık bağlaçları öğrenerek, karmaşık ifadeleri basit hale getirebilir ve problemleri sistematik olarak çözebilirsin.

of 6

Önermeler ve Temel Kavramlar

Günlük hayatta sürekli doğru ya da yanlış ifadeler kullanırız. İşte önerme tam da budur - kesin olarak doğru ya da yanlış diyebileceğimiz ifadeler.

Not: Önermeler p, q, r, s harfleriyle gösterilir ve matematiksel kesinlik sağlar.

of 6

Önerme İşlemleri ve Bağlaçlar

Önermelerin değili (olumsuz hali) p' veya ¬p ile gösterilir. Bir önermenin değilinin değili yine kendisine eşittir.

Bileşik önermelerin sonucu her zaman doğru olanlara "totoloji", her zaman yanlış olanlara "çelişki" denir. Bu kavramlar matematiksel ispatlarda çok önemlidir.

Taktik: "Veya" bağlacını toplamaya, "ve" bağlacını çarpmaya benzetirsen hatırlaması kolay olur!

of 6

Mantık Bağlaçlarının Özellikleri

Dağılma özelliği en karmaşık olanıdır ama süper kullanışlı: p∨(q∧r) = (p∨q)∧(p∨r) gibi. Bu özellik karmaşık ifadeleri sadeleştirmekte altın değerinde.

De Morgan kuralları ise gerçek bir yaşam kurtarıcısı: (p∨q)' = p'∧q' ve (p∧q)' = p'∨q'. Yani değil işlemi bağlaçları tersine çevirir.

İpucu: Bu özellikleri ezberlemek yerine mantığını anla - günlük hayattaki "ve/veya" kullanımına benzettir.

of 6

Koşullu Önermeler ve İleri Düzey Bağlaçlar

"Ya da" bağlacı (⊕) normal "veya"dan farklıdır - aynı anda ikisi de doğruysa sonuç yanlış olur. Günlük hayattaki "ya bu ya da şu" mantığıyla çalışır.

"İse" bağlacı (→) en karmaşık olanlardan biridir. p→q ifadesi sadece p doğru q yanlışken yanlış olur, diğer durumlarda hep doğrudur. Bu bağlaç p'∨q ile denktir.

Bir önermenin tersi, karşıtı ve karşıt tersi vardır. Önemli olan şu: bir önerme ile karşıt tersi her zaman birbirine denktir.

Dikkat: Koşullu önermelerde sadece "doğru öncülden yanlış sonuç" durumu yanlıştır!

of 6

İki Yönlü Koşul ve Niceleyiciler

"Ancak ve ancak" bağlacı (↔) iki önerme aynı doğruluk değerine sahipse doğru, farklıysa yanlıştır. Bu bağlaç (p→q)∧(q→p) ile tanımlanır.

"∀x∈Z, x²≥0" ifadesi "her tam sayının karesi sıfırdan büyük eşittir" anlamına gelir ve doğrudur. Bu tür ifadelerin doğruluk değerini belirlemek kritiktir.

Unutma: Niceleyiciler matematiksel kesinlik sağlar ve ispatlarda vazgeçilmezdir.

of 6

Aksiyom, Teorem ve Problem Çözme

Aksiyom ispata gerek olmayan, doğruluğu açık olan temel önermelerdir. "İki farklı noktadan yalnız bir doğru geçer" gibi geometrinin temel taşlarıdır.

Teorem ise doğruluğu ispatlanması gereken önermelerdir. "İki çift sayının çarpımı daima çifttir" gibi ifadeler teorem örneğidir.

Karmaşık mantık problemlerini çözerken dağılma özelliklerini ve De Morgan kurallarını kullan. Örneğin (p∨r)∨(r∧q) gibi ifadeleri sadeleştirmek için önce ortak faktörleri bul.

Strateji: Problem çözümünde önce ifadeyi en basit hale getir, sonra doğruluk tablosuyla kontrol et!