Matematikteki En Yaygın Kanıtlama Örnekleri
Matematikte ve mantıkta bir iddianın doğruluğunu göstermek, sadece "bakın bu birkaç örnekte çalışıyor" demekten çok daha fazlasıdır. Kanıtlar, evrensel doğruları inşa ettiğimiz sarsılmaz tuğlalardır. İşte en yaygın ve güçlü kanıtlama yöntemleri, arkalarındaki mantık ve örnekleri: 1. Doğrudan Kanıt (Direct Proof) En yalın ve doğrusal yöntemdir. Doğru olduğunu bildiğimiz aksiyomlar, tanımlar veya daha önce kanıtlanmış teoremlerden yola çıkarak, mantık zinciriyle adım adım hedefteki sonuca (p --> q) ulaşırız. • İddia: Eğer n bir çift tamsayı ise, n^2 de bir çift tamsayıdır. • Kanıt: 2. Olmayana Ergi / Çelişki İle Kanıt (Proof by Contradiction) Matematikteki en zarif "ters psikoloji" yöntemidir. Bir iddianın doğru olduğunu kanıtlamak için, iddianın yanlış olduğunu varsayarız. Eğer bu varsayım bizi mantıksal bir imkansızlığa (çelişkiye) götürürse, ilk varsayımımızın hatalı olduğunu, yani iddianın aslında doğru olması gerektiğini anlarız. • İddia: Kök 2 ...