הסקה (דדוקציה), שיטת הוכחה בלוגיקה, במתמטיקה ובמדעים, שבה הולכים מן הכלל אל הפרט. אמיתותן של טענות נקבעת בהסתמך על טענות קודמות: אם הן אמיתיות, גם הטענה שעל הפרק אמיתית. טענות קודמות אלה יכולות להיות אקסיומות (הנחות מוסכמות שאין צורך להוכיח את אמיתותן), או טענות שכבר הוכחו (בהסקה או בדרך אחרת). ניקח לדוגמה את ההיקש המפורסם, "כל בני האדם הם בני תמותה; סוקרטס הוא בן אדם; לכן סוקרטס הוא בן תמותה": כדי להוכיח בדרך ההסקה את אמיתות המסקנה, "סוקרטס הוא בן תמותה", די אם נוכיח כי שתי הטענות הקודמות, "כל בני האדם הם בני תמותה" ו"סוקרטס הוא בן אדם", אמיתיות הן.
המתמטיקה בנויה על הוכחות דדוקטיביות, ומשפטיה מוכחים בשיטה זו. במדעים שונים גוזרים מן התיאוריות מסקנות בדרך של הסקה, וליתר ביטחון בודקים...
