tümevarım
-
N doğal sayılar kümesi üzerinde tanımlı bir p önermesini doğru kılan sayıların kümesine M denilmek üzere; 1 ε M ve n ε M => n+1 ε M koşulları gerçeklendiğinde, p önermesinin her doğal sayı için doğru olduğunu belirleyen tanıtlama yöntemi.
İngilizce induction; inductive inferenceFransızca induction, f; inférence inductive, fAlmanca Induktion, f
- Somut örneklerin soyutlamasından yola çıkarak genel önermelere varmayı amaçlayan akıl yürütme yöntemi.