Hayalindeki netler. İhtiyacın olan her şey. Tek platform.

Soru çözüm, yayın seti, birebir rehberlik, canlı dersler ve daha fazlası Kunduz’da. Şimdi al, netlerini artırmaya başla.

Kunduz Eğitmen tarafından yazıldı, 12.11.20235 dakikalık okuma

Mantık Nedir? – Mantık ve Önermeler Ders Notları

Mantık Nedir? – Mantık ve Önermeler Ders Notları

Hesap Oluştur

Ücretsiz kaydol, sınırsız video içerikler ve soru çözümleri ile sınava hazırlan!

ÜCRETSİZ KAYDOL

 

Mantık Nedir?

Mantık, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir bilim dalı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir.

Önerme Nedir?

Doğruluğu veya yanlışlığı kesin hüküm bildiren ifadelere önerme denir. Önermeler kişiden kişiye değişmeyen ve kanıtlanabilen ifadelerdir. Soru, istek ve emir cümleleri önerme olamaz.

Örneğin;

“2’nin karesi 4’tür” cümlesi bir önermedir, çünkü doğruluğu kanıtlayabiliyoruz.

“Bir ay 25 gündür” cümlesi bir önermedir, çünkü yanlışlığını kanıtlayabiliyoruz.

“İyi geceler” ifadesi bir önerme değildir, çünkü doğru veya yanlış bir ifade belirtmez.

Önerme Türleri

  • Basit Önerme
  • Bileşik Önerme
  • Denk Önermeler
  • Koşullu Önerme
  • Açık Önerme

Basit Önerme

Önermelerin doğruluk değeri D ve Y harfleri, 1 ve 0 sayıları ile belirtilir. Önerme doğru ise doğruluk değeri D veya 1, yanlış ise doğruluk değeri Y veya 0 olur. Bu önerme çeşileri tek yargı belirttiği için basit önermedir.

Bileşik Önerme

İki veya daha fazla önermenin “ve”, “veya”, “ya da”, “ise”, “ancak ve ancak” gibi bağlaçlar ile bağlanarak elde edilen önermeye bileşik önerme denir.

Örneğin;

“2 çift sayıdır”

“2 asal sayıdır”

önermelerini “ve” bağlacı ile bağlayarak “2 çift ve asal sayıdır” bileşik önermesini elde edebiliriz.

Denk Önermeler

Doğruluk değerleri aynı olan iki önermeye denk önermeler denir.

İki önermenin doğruluk değeri aynı ise biz bu önermelere denk önermeler deriz.

Örneğin;

p: Bir yıl 10 aydır.

q: Tam sayılar kümesi rasyonel sayılar kümesini kapsar.

p önermesi yanlış bir önerme olduğu için doğruluk değeri 0’dır.

Her rasyonel sayı bir tam sayı değildir, bu yüzden tam sayılar kümesi rasyonel sayılar kümesini kapsamaz. q önermesi yanlış bir önermedir.

p ve q önermelerinin doğruluk değeri eşit olduğu için denk önermeler diyebiliriz.

Koşullu Önerme

p ve q önermelerinin “ise” bağlacı ⟹ ile bağlanmasıyla oluşturulan bileşik önermeye koşullu önerme denir. İse bağlacı ile kurulan koşullu önermeler p ise q diye okunur.

Açık Önerme

İçinde en az bir değişken bulunan ve değişkenlere verilen değerlere göre doğru ya da yanlış olan önermelere açık önerme denir.

Açık önermeyi doğru yapan değerler kümesine açık önermenin doğruluk kümesi denir.

Bir Önermenin Değili (Olumsuzu)

Önermenin değili verilen önermenin olumsuzunu ifade eder.

p önermesinin değili p’ şeklinde gösterilir.

Örneğin;

“p: Ankara Türkiye’nin başkentidir” önermesi verilmiş olsun. Bu önermenin değili yani olumsuzu

“p’: Ankara Türkiye’nin başkenti değildir. “ şeklinde ifade edilir.

Önerme ve Doğruluk Değeri

Doğru ya da yanlış kesin hüküm bildiren ifadelere önerme denir. Önermeler genellikle p, q, r. s…. gibi küçük harflerle gösterilir. Eğer bir önerme doğru ise önermenin doğruluk değeri 1, yanlış ise doğruluk değeri 0 dir.

Önerme Denkliği

Doğruluk değerleri aynı olan önermelere denk (eşdeğer) önermeler denir.

Doğruluk Tablosu

pqp /\ qp \/ qp => qp <=> q
111111
100100
010111
000010

“veya (\/)” Bağlacının Özellikleri

  • Tek kuvvet özelliği
  • Değişme özelliği
  • Birleşme özelliği
  • Dağılma özelliği

Tek Kuvvet Özelliği

Bir önermenin kendisini ile “veya” bağlacı kullanarak kurulan bileşik önerme önermenin kendisine eşittir.

Değişme Özelliği

Birleşme Özelliği

Dağılma Özelliği

De Morgan Kuralları

İse Bağlacı (=>)

p ile q önermesinin ise bağlacı ile bağlanarak oluşan bileşik önermeye koşullu önerme denir.

Koşullu önerme p => q şeklinde gösterilir.

p => q koşullu önermesi; p doğru q yanlış iken yanlış, diğer durumlarda ise doğrudur.

Ancak ve Ancak Bağlacı (<=>)

p ile q önermelerinin ancak ve ancak bağlacı ile bağlanarak elde edilen bileşik önermeye iki yönlü koşullu önerme denir.

p <=> q iki yönlü koşullu önermesi p ile q’nun doğruluk değeri denk iken doğru, farklı iken yanlıştır.

Her Niceleyicisi (Evrensel Niceleyici)

Önüne geldiği elamanların tamamını ifade eden niceleyiciye evrensel niceleyici denir.

Bazı Niceleyicisi

Bazı niceleyicisi bir kümenin en az bir elamanını ifade ettiği için her niceleyicisine varlıksal niceleyici denir.

İspat Yöntemleri

  • Doğrudan ispat yöntemi
  • Olmayana ergi yöntemi
  • Aksine örnek yöntemi
  • Çelişki yöntemi

Tanım, Aksiyom, Teorem ve İspat Kavramları

Bir teriminin özelliklerini tanımlı, tanımsız terimler kullanarak açıklayan ifadeye tanım denir.

İyi bir tanımda olması gereken özellikler;

Anlamı bilinen sözcükler, tanımlı ya da tanımsız terimler kullanılarak yapılır.

Anlaşılır, tutarlı ve kesin ifadeler kullanılmalıdır.

örneğin;

“1 ve kendisinden başka pozitif tam sayı böleni olmayan sayılara asal sayı nedir.”

Doğruluğu ispatlanamayan, ispata gerek duyulmaksızın doğruluğu kabul edilen önermelere aksiyom denir.

örneğin;

“İki noktadan bir doğru geçer.”

Doğruluğu ispatlanabilen önermelere teorem denir.

İspatlanmayan bir ifade matematiksel olarak doğru kabul edilmez. Matematiksek ispat önermedeki varsayımlardan yola çıkarak doğruluğu bilinen mantıksal çıkarımlar ile adım adım önermede iddia edilen sonuca ulaşma yoludur. Bunun için farklı ispat yöntemleri kullanılabilir.

Peki bu ispat yöntemleri nelerdir?

  • Doğrudan ispat yöntemi
  • Olmayana ergi yöntemi
  • Aksine örnek yöntemi
  • Çelişki yöntemi

Sınava hazırlanmanın en kolay yolu

Sınırsız video içerikler ve soru çözümleri ile sınava hazırlan

ÜCRETSİZ KAYDOL