MANTIK

1. Mantık Kavramı ve Önemi

Mantık, doğru düşünmenin kurallarını ve ilkelerini inceleyen bir bilim dalıdır. Matematiğin temelinde yer alan mantık, günlük hayatta kullandığımız akıl yürütme süreçlerinin formal bir şekilde ifade edilmesini sağlar. Lise düzeyinde öğretilen matematiksel mantık, önermelerin doğruluk değerlerini, önermeler arası ilişkileri ve çıkarımları inceleyerek matematiksel düşünme becerilerini geliştirmeyi amaçlar.

Mantığın Tarihçesi

Mantık biliminin temelleri Antik Yunan'da Aristoteles tarafından atılmıştır. Aristoteles'in geliştirdiği klasik mantık, 19. yüzyıla kadar büyük değişikliğe uğramadan kullanılmıştır. Modern matematiksel mantığın gelişiminde George Boole, Gottlob Frege, Bertrand Russell ve Kurt Gödel gibi matematikçi ve filozofların önemli katkıları olmuştur. Özellikle George Boole'un geliştirdiği "Boole Cebiri" bilgisayar bilimlerinin de temelini oluşturmuştur.

2. Önermeler ve Önerme Eklemleri

Önerme Nedir?

Önerme, doğru ya da yanlış olduğuna karar verilebilen cümlelerdir. Her önermenin bir doğruluk değeri vardır: ya doğrudur (D) ya da yanlıştır (Y).

Önerme olan cümlelere örnekler:

Ankara Türkiye'nin başkentidir. (Doğru)
2 + 2 = 5 (Yanlış)
Dünya düzdür. (Yanlış)

Önerme olmayan cümlelere örnekler:

Lütfen kapıyı kapatır mısın? (Soru cümlesi)
Keşke tatile gidebilsem! (Dilek cümlesi)
Güzel bir gün. (Kişiden kişiye değişebilen yargı)

Önerme Eklemleri

Basit önermeleri birleştirerek bileşik önermeler oluşturmak için önerme eklemleri kullanılır:

Değilleme (Olumsuzlama): "değil" anlamında kullanılır ve "~" veya "¬" sembolleriyle gösterilir.
Ve (Konjeksiyon): "ve" anlamında kullanılır ve "∧" sembolüyle gösterilir.
Veya (Disjeksiyon): "veya" anlamında kullanılır ve "∨" sembolüyle gösterilir.
İse (İmlikasyon): "ise" anlamında kullanılır ve "→" sembolüyle gösterilir.
Ancak ve ancak (Eşdeğerlik): "ancak ve ancak" anlamında kullanılır ve "↔" sembolüyle gösterilir.

Doğruluk Tabloları

Önerme eklemlerinin doğruluk değerlerini gösteren tablolara doğruluk tabloları denir.

Değilleme (~p)

p	~p
D	Y
Y	D

(değil p): p önermesinin değilini ifade eder.

Ve Bağlacı (p ∧ q)

p	q	p ∧ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

(p ve q): Her iki önerme de doğru olduğunda sonuç doğrudur.

Veya Bağlacı (p ∨ q)

p	q	p ∨ q
D	D	D
D	Y	D
Y	D	D
Y	Y	Y

(p veya q): En az bir önerme doğru olduğunda sonuç doğrudur.

İse Bağlacı (p → q)

p	q	p → q
D	D	D
D	Y	Y
Y	D	D
Y	Y	D

(p ise q): p doğru ve q yanlış olduğunda sonuç yanlıştır, diğer durumlarda doğrudur.

Ancak ve Ancak Bağlacı (p ↔ q)

p	q	p ↔ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	D

(p ancak ve ancak q): İki önermenin doğruluk değerleri aynı olduğunda sonuç doğrudur.

🔒

Devamını okumak için üye ol!

Ücretsiz kayıt olarak tüm konu anlatımlarına eriş.

Ücretsiz Üye Ol Giriş Yap