Mantık bağlaçları, niteleyiciler, Pisagor, Öklid, Tales ispatı Ders Notu

🧠 Mantık Bağlaçları ve Niteleyiciler

Matematiksel mantık, önermelerin doğruluk değerleri ve bu önermelerin birbirine bağlanmasıyla ilgilenir. Bir önerme ya doğru (1) ya da yanlış (0) değerini alır.

Mantık Bağlaçları

• Ve (\(\land\)) Bağlacı: Her iki önerme de doğru iken sonuç doğrudur. Diğer tüm durumlarda yanlıştır.
• Veya (\(\lor\)) Bağlacı: Her iki önerme de yanlış iken sonuç yanlıştır. En az birinin doğru olması sonucu doğru yapar.
• Ya da (\(\veebar\)) Bağlacı: Önermeler birbirinden farklı olduğunda sonuç doğru, aynı olduğunda yanlıştır.
• İse (\(\Rightarrow\)) Bağlacı: Sadece birinci önerme doğru, ikincisi yanlış olduğunda sonuç yanlıştır.
• Ancak ve ancak (\(\Leftrightarrow\)) Bağlacı: Önermelerin doğruluk değerleri aynı ise sonuç doğru, farklı ise yanlıştır.

Niteleyiciler

Açık önermelerde kullanılan iki temel niteleyici vardır:

• Her (\(\forall\)): "Bütün", "tümü" anlamındadır.
• Bazı (\(\exists\)): "En az bir" anlamındadır.

Örnek: \(p: \forall x \in \mathbb{N}, x+3 > 0\) önermesinin değili nedir?
Çözüm: Her niteleyicisinin değili bazı, büyüktür ifadesinin değili ise küçüktür veya eşittir olur. Sonuç: \(\exists x \in \mathbb{N}, x+3 \leq 0\).

📐 Dik Üçgende Bağıntılar

Pisagor Teoremi

Bir dik üçgende dik kenarların uzunluklarının kareleri toplamı, hipotenüsün uzunluğunun karesine eşittir. Bir ABC üçgeninde A açısı \(90^\circ\) ise, dik kenarlar b ve c, hipotenüs a olmak üzere:

\[ a^2 = b^2 + c^2 \]

Öklid Teoremleri

Dik üçgende hipotenüse ait yüksekliğin çizilmesiyle oluşan bağıntılardır. Dik kenar uzunluğu b, hipotenüs a, b kenarına ait dik izdüşüm p olsun:

• Yükseklik bağıntısı: \(h^2 = p \times k\) (Burada h yükseklik, p ve k hipotenüsün parçalarıdır.)
• Dik kenar bağıntısı: \(b^2 = p \times a\)

Örnek: Bir dik üçgende dik kenarlardan biri 6 cm, diğeri 8 cm ise hipotenüs kaç cm'dir?
Çözüm: Pisagor bağıntısını uygulayalım: \(x^2 = 6^2 + 8^2\). Buradan \(x^2 = 36 + 64 = 100\). \(x = 10\) cm bulunur.

📏 Tales Teoremi

Tales teoremi, paralel doğruların kesenler üzerinde orantılı parçalar ayırdığını ifade eder. Bir üçgenin bir kenarına paralel bir doğru çizildiğinde, oluşan küçük üçgen büyük üçgen ile benzerdir.

Bir ABC üçgeninde BC kenarına paralel bir DE doğrusu çizilirse (D, AB üzerinde; E, AC üzerinde):

\[ \frac{AD}{AB} = \frac{AE}{AC} = \frac{DE}{BC} \]

Bu oranlar, kenarlar arasındaki benzerlik ilişkisini kurmamızı sağlar. Günlük yaşamda gölge boyu hesaplamalarında veya uzaklık ölçümlerinde bu orantıdan sıkça faydalanılır.

Örnek: Bir ABC üçgeninde DE paralel BC olsun. AD = 2 cm, DB = 3 cm ve DE = 4 cm ise BC kaç cm'dir?
Çözüm: Tales bağıntısına göre \(\frac{AD}{AD+DB} = \frac{DE}{BC}\) yazılır. Yani \(\frac{2}{2+3} = \frac{4}{BC}\) olur. Buradan \(\frac{2}{5} = \frac{4}{BC}\) ise \(2 \times BC = 20\) ve \(BC = 10\) cm olarak bulunur.