Subjects

Knowunity AI

Open the App

Subjects

MatematikMatematik179 views·Updated Jun 23, 2026·9 pages

Mantık Konusu ve Temel Kavramlar

user profile picture
İbrahim Emre Atar@ataribrahim

Matematikte mantık, önermelerin doğruluk değerlerini analiz eden ve ispat teknikleriyle...

1
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

İspat Teknikleri ve Temel Kavramlar

Matematikte her şeyin bir temelinin olması gerekir, değil mi? İşte bu yüzden ispat teknikleri var! Matematik dünyasında üç temel kavramımız vardır.

Tanım, bir kavramın özelliklerini eksiksiz açıklar. Aksiyom ise doğruluğunu ispatlamaya gerek olmayan, zaten doğru kabul edilen önermelerdir. Teorem ise doğruluğunu ispatlamamız gereken önermelerdir.

Bir teoremde "verilen bilgi" kısmına hipotez, "ispatlanacak kısım"a ise hüküm denir. İspat yöntemleri ise tümevarım, tümdengelim, doğrudan ispat ve dolaylı ispat şeklinde ayrılır.

💡 İpucu: Sınavlarda en çok karşılaştığın dolaylı ispat yöntemleri: olmayana ergi, çelişki ve aksine örnek verme teknikleridir.

2
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Elektrik Devreleri ve Mantık Bağlaçları

Elektrik devreleriyle mantık arasında çok ilginç bir bağ var! Bu konuyu anladığında hem fizik hem matematik sorularını çözebilirsin.

Seri bağlama, anahtarların tek kol üzerinde bağlanmasıdır ve "p∧q" (VE bağlacı) ile ifade edilir. Paralel bağlama ise anahtarların farklı kollar üzerinde bağlanmasıdır ve "p∨q" (VEYA bağlacı) ile gösterilir.

Elektrik devrelerinde kapalı anahtar=1, açık anahtar=0 ile gösterilir. Karmaşık devrelerde önce seri bağlantıları (∧), sonra paralel bağlantıları (∨) yazarsın.

💡 İpucu: Devreyi soldan sağa okuyarak, seri bağlantıları ∧, paralel bağlantıları ∨ ile yazman yeterli!

3
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Doğruluk Tablosu ve Önermelerin Değili

Doğruluk tablosu, önermelerin tüm olası durumlarını gösteren süper pratik bir tablodur! n tane önermenin 2ⁿ tane farklı durumu vardır.

Bir önermenin değili (olumsuzu), o önermenin hükmünün tam tersidir. p önermesinin değili p' ile gösterilir. p=1 ise p'=0, p=0 ise p'=1 olur.

Eşitliklerin değilinde dikkat et: (=)'⇒(≠), (<)'⇒(≥), (>)'⇒(≤) şeklinde değişir. Çok önemli bir kural: bir önermenin değilinin değili kendisine eşittir, yani (p')'=p.

💡 İpucu: Sınavda doğruluk tablosu soruları çıktığında, sistematik olarak tüm durumları tek tek kontrol et!

4
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

YA DA ve ANCAK ve ANCAK Bağlaçları

"YA DA" (∨) bağlacı, sadece her iki önerme de yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur! Bu bağlacın değişme ve birleşme özelliği vardır.

Özel durumlar: p∨p'=1 (her zaman doğru), p∨1=1, p∨0=p, p∨p=p şeklindedir. Bu formüller sınavlarda çok işine yarayacak.

"ANCAK ve ANCAK" (↔) bağlacı ise her iki önerme aynı doğruluk değerine sahipse doğru, aksi durumda yanlıştır. Sadece değişme özelliği vardır, birleşme özelliği yoktur.

💡 İpucu: (p∨q)'=p'∧q' formülü çok önemli - De Morgan kurallarıyla birlikte ezberle!

5
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Açık Önermeler ve Niceleyiciler

Açık önerme, içinde değişken bulunan ve bu değişkenin değerine göre doğruluk değeri değişen önermelerdir. Denklemler ve eşitsizlikler birer açık önermedir!

Niceleyiciler çok pratik sembollerdir: ∀ (her) elemanların tamamını, ∃ (bazı) ise en az bir elemanı belirtir. "∃x∈Z, x>4" şeklinde yazabilirsin.

Açık önermelerin değilinde niceleyiciler değişir: "∃x, pxx" önermesinin değili "∀x, p'xx" olur. Tam tersi de geçerlidir. Bu kural sınavlarda sıklıkla çıkar.

💡 İpucu: Niceleyici değili sorularında önce niceleyiciyi değiştir (∃⟷∀), sonra önermeyi değile çevir!

6
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

VE Bağlacı ve Özellikleri

"VE" (∧) bağlacı, her iki önerme de doğru olduğunda doğru, diğer tüm durumlarda yanlıştır. En katı bağlaçtır diyebiliriz!

Bu bağlacın süper önemli özellikleri var: değişme özelliği pq=qpp∧q=q∧p, birleşme özelliği ve tek kuvvet özelliği pp=pp∧p=p. Ayrıca p∧1=p, p∧0=0, p∧p'=0 formüllerini ezberle.

Karmaşık örneklerde adım adım çöz. Örneğin (q∨r')∧p=1 ise, sadece 1∧1=1 verdiği için p=1, q=1, r=0 olmak zorunda.

💡 İpucu: VE bağlacı sorularında "hepsi doğru olmalı" mantığıyla düşün - tek yanlış bile sonucu yanlış yapar!

7
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

VEYA Bağlacı ve De Morgan Kuralları

"VEYA" (∨) bağlacının özellikleri VE bağlacına çok benzer: değişme, birleşme ve tek kuvvet özellikleri vardır. Ek olarak dağılma özelliği de mevcuttur.

Temel formüller: p∨p'=1, p∨1=1, p∨0=p şeklindedir. Bu formüller sayesinde karmaşık ifadeleri basitleştirebilirsin.

De Morgan Kuralları mantığın altın kurallarıdır: (p∨q)'=p'∧q' ve (p∧q)'=p'∨q'. Bu kurallar bağlaçları birbirine dönüştürür ve sınavlarda sürekli kullanılır.

💡 İpucu: De Morgan kurallarını "parantez açarken bağlaç değişir, her önerme değile çevrilir" şeklinde hatırla!

8
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

İSE Bağlacı ve Karşıt İfadeler

"İSE" (→) bağlacı en ilginç bağlaçtır! Sadece hipotez doğru, hüküm yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.

Çok önemli eşitlik: p→q ≡ p'∨q. Bu formülle İSE bağlacını VEYA bağlacına çevirebilirsin. Temel formüller: p→p=1, p→1=1, p→0=p', 0→p=1.

p→q ifadesinin karşıtı q→p, tersi p'→q', karşıt tersi q'→p' şeklindedir. Bu kavramlar geometri teoremlerinde çok önemlidir.

💡 İpucu: "Yanlış hipotezden her şey çıkar" kuralını hatırla - hipotez yanlışsa İSE bağlacı her zaman doğrudur!

9
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Temel Önerme Kavramları

Önerme, doğru ya da yanlış bir hüküm bildiren ifadelerdir. Soru cümleleri, ünlem cümleleri önerme değildir - sadece kesin yargı bildiren cümleler önermedir.

Doğruluk değeri 1 (doğru) veya 0 (yanlış) ile gösterilir. "Bir hafta 6 gündür" yanlış (0), "Tavuk bir hayvandır" doğru (1) şeklinde değerlendirilir.

Denk önermeler aynı doğruluk değerine sahip önermelerdir ve p≡q ile gösterilir. Denk olmayan önermeler ise p≢q şeklinde yazılır.

💡 İpucu: Önerme olup olmadığını anlamak için "Bu ifadeye kesin olarak doğru veya yanlış diyebilir miyim?" sorusunu sor!

We thought you’d never ask...

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.

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

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

Most popular content in Matematik

9

Most popular content

9

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

MatematikMatematik179 views·Updated Jun 23, 2026·9 pages

Mantık Konusu ve Temel Kavramlar

user profile picture
İbrahim Emre Atar@ataribrahim

Matematikte mantık, önermelerin doğruluk değerlerini analiz eden ve ispat teknikleriyle teoremler kanıtlayan temel bir alandır. Bu konuda önermeleri bağlayan mantıksal bağlaçları, ispat yöntemlerini ve açık önermeleri öğreneceksin.

1
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

İspat Teknikleri ve Temel Kavramlar

Matematikte her şeyin bir temelinin olması gerekir, değil mi? İşte bu yüzden ispat teknikleri var! Matematik dünyasında üç temel kavramımız vardır.

Tanım, bir kavramın özelliklerini eksiksiz açıklar. Aksiyom ise doğruluğunu ispatlamaya gerek olmayan, zaten doğru kabul edilen önermelerdir. Teorem ise doğruluğunu ispatlamamız gereken önermelerdir.

Bir teoremde "verilen bilgi" kısmına hipotez, "ispatlanacak kısım"a ise hüküm denir. İspat yöntemleri ise tümevarım, tümdengelim, doğrudan ispat ve dolaylı ispat şeklinde ayrılır.

💡 İpucu: Sınavlarda en çok karşılaştığın dolaylı ispat yöntemleri: olmayana ergi, çelişki ve aksine örnek verme teknikleridir.

2
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

Elektrik Devreleri ve Mantık Bağlaçları

Elektrik devreleriyle mantık arasında çok ilginç bir bağ var! Bu konuyu anladığında hem fizik hem matematik sorularını çözebilirsin.

Seri bağlama, anahtarların tek kol üzerinde bağlanmasıdır ve "p∧q" (VE bağlacı) ile ifade edilir. Paralel bağlama ise anahtarların farklı kollar üzerinde bağlanmasıdır ve "p∨q" (VEYA bağlacı) ile gösterilir.

Elektrik devrelerinde kapalı anahtar=1, açık anahtar=0 ile gösterilir. Karmaşık devrelerde önce seri bağlantıları (∧), sonra paralel bağlantıları (∨) yazarsın.

💡 İpucu: Devreyi soldan sağa okuyarak, seri bağlantıları ∧, paralel bağlantıları ∨ ile yazman yeterli!

3
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

Doğruluk Tablosu ve Önermelerin Değili

Doğruluk tablosu, önermelerin tüm olası durumlarını gösteren süper pratik bir tablodur! n tane önermenin 2ⁿ tane farklı durumu vardır.

Bir önermenin değili (olumsuzu), o önermenin hükmünün tam tersidir. p önermesinin değili p' ile gösterilir. p=1 ise p'=0, p=0 ise p'=1 olur.

Eşitliklerin değilinde dikkat et: (=)'⇒(≠), (<)'⇒(≥), (>)'⇒(≤) şeklinde değişir. Çok önemli bir kural: bir önermenin değilinin değili kendisine eşittir, yani (p')'=p.

💡 İpucu: Sınavda doğruluk tablosu soruları çıktığında, sistematik olarak tüm durumları tek tek kontrol et!

4
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

YA DA ve ANCAK ve ANCAK Bağlaçları

"YA DA" (∨) bağlacı, sadece her iki önerme de yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur! Bu bağlacın değişme ve birleşme özelliği vardır.

Özel durumlar: p∨p'=1 (her zaman doğru), p∨1=1, p∨0=p, p∨p=p şeklindedir. Bu formüller sınavlarda çok işine yarayacak.

"ANCAK ve ANCAK" (↔) bağlacı ise her iki önerme aynı doğruluk değerine sahipse doğru, aksi durumda yanlıştır. Sadece değişme özelliği vardır, birleşme özelliği yoktur.

💡 İpucu: (p∨q)'=p'∧q' formülü çok önemli - De Morgan kurallarıyla birlikte ezberle!

5
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

Açık Önermeler ve Niceleyiciler

Açık önerme, içinde değişken bulunan ve bu değişkenin değerine göre doğruluk değeri değişen önermelerdir. Denklemler ve eşitsizlikler birer açık önermedir!

Niceleyiciler çok pratik sembollerdir: ∀ (her) elemanların tamamını, ∃ (bazı) ise en az bir elemanı belirtir. "∃x∈Z, x>4" şeklinde yazabilirsin.

Açık önermelerin değilinde niceleyiciler değişir: "∃x, pxx" önermesinin değili "∀x, p'xx" olur. Tam tersi de geçerlidir. Bu kural sınavlarda sıklıkla çıkar.

💡 İpucu: Niceleyici değili sorularında önce niceleyiciyi değiştir (∃⟷∀), sonra önermeyi değile çevir!

6
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

VE Bağlacı ve Özellikleri

"VE" (∧) bağlacı, her iki önerme de doğru olduğunda doğru, diğer tüm durumlarda yanlıştır. En katı bağlaçtır diyebiliriz!

Bu bağlacın süper önemli özellikleri var: değişme özelliği pq=qpp∧q=q∧p, birleşme özelliği ve tek kuvvet özelliği pp=pp∧p=p. Ayrıca p∧1=p, p∧0=0, p∧p'=0 formüllerini ezberle.

Karmaşık örneklerde adım adım çöz. Örneğin (q∨r')∧p=1 ise, sadece 1∧1=1 verdiği için p=1, q=1, r=0 olmak zorunda.

💡 İpucu: VE bağlacı sorularında "hepsi doğru olmalı" mantığıyla düşün - tek yanlış bile sonucu yanlış yapar!

7
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

VEYA Bağlacı ve De Morgan Kuralları

"VEYA" (∨) bağlacının özellikleri VE bağlacına çok benzer: değişme, birleşme ve tek kuvvet özellikleri vardır. Ek olarak dağılma özelliği de mevcuttur.

Temel formüller: p∨p'=1, p∨1=1, p∨0=p şeklindedir. Bu formüller sayesinde karmaşık ifadeleri basitleştirebilirsin.

De Morgan Kuralları mantığın altın kurallarıdır: (p∨q)'=p'∧q' ve (p∧q)'=p'∨q'. Bu kurallar bağlaçları birbirine dönüştürür ve sınavlarda sürekli kullanılır.

💡 İpucu: De Morgan kurallarını "parantez açarken bağlaç değişir, her önerme değile çevrilir" şeklinde hatırla!

8
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

İSE Bağlacı ve Karşıt İfadeler

"İSE" (→) bağlacı en ilginç bağlaçtır! Sadece hipotez doğru, hüküm yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.

Çok önemli eşitlik: p→q ≡ p'∨q. Bu formülle İSE bağlacını VEYA bağlacına çevirebilirsin. Temel formüller: p→p=1, p→1=1, p→0=p', 0→p=1.

p→q ifadesinin karşıtı q→p, tersi p'→q', karşıt tersi q'→p' şeklindedir. Bu kavramlar geometri teoremlerinde çok önemlidir.

💡 İpucu: "Yanlış hipotezden her şey çıkar" kuralını hatırla - hipotez yanlışsa İSE bağlacı her zaman doğrudur!

9
of 9
İSPAT TEKNİKLERİ
Tanım: Bir kavramın niteliklerini eksiksiz olarak belirtmeye
denir.
Aksiyom: Doğruluğu ispatsız olarak kabul edilen önerme-

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

Temel Önerme Kavramları

Önerme, doğru ya da yanlış bir hüküm bildiren ifadelerdir. Soru cümleleri, ünlem cümleleri önerme değildir - sadece kesin yargı bildiren cümleler önermedir.

Doğruluk değeri 1 (doğru) veya 0 (yanlış) ile gösterilir. "Bir hafta 6 gündür" yanlış (0), "Tavuk bir hayvandır" doğru (1) şeklinde değerlendirilir.

Denk önermeler aynı doğruluk değerine sahip önermelerdir ve p≡q ile gösterilir. Denk olmayan önermeler ise p≢q şeklinde yazılır.

💡 İpucu: Önerme olup olmadığını anlamak için "Bu ifadeye kesin olarak doğru veya yanlış diyebilir miyim?" sorusunu sor!

We thought you’d never ask...

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.

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

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

Most popular content in Matematik

9

Most popular content

9

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