-
אינדוקציה מתמטית
כל מה שרצית לדעת על אינדוקציה מתמטית:אינדוקציה מתמטית היא שיטה לוגית המאפשרת להוכיח שתכונה מסוימת משותפת לכל המספרים הטבעיים. ההוכחה באינדוקציה מורכבת משתי טענות: ראשית, שהמספר 1 מקיים את התכונה, ושנית, שאם מספר טבעי n מקיים אותה, אז גם המספר n+1 מקיים אותה. גמישותה של שיטת האינדוקציה הפכה אותה לאחד מכלי ההוכחה החזקים ביותר בארגז…
-
הוכחה בדרך השלילה
כל מה שרצית לדעת על הוכחה בדרך השלילה:הוכחה בדרך השלילה, ידועה גם בשם הוכחה עקיפה או אלימינציה ובלטינית Reductio ad absurdum (רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם – רדוקציה לאבסורד .R.A) היא טכניקת הוכחה, במתמטיקה, לוגיקה ופילוסופיה, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה (אבסורד), ועל כן ההנחה נכונה. הסתירה מוכיחה שנקודת המוצא שלנו הייתה שגויה. יש לשים…