Пайымдау: Нұсқалар арасындағы айырмашылық

[[Формал логика]]да пайымдаудың үш түрі жиі талқыланады: дедукция, индукция және абдукция. Олардың негізгі формалары ретінде [[алғышарт]], [[қорытынды]] және логикалық [[ойқорту]], [[импликация]], [[логикалық ереже]] қатарлыларды атауға болады.

 

 

# [[Индуктивті пайымдау]] ережені анықтауды қолдауға тырысады. Көптеген мысалдар арқылы алғышарттан шығатын қорытындыларға сай оның ереже екенін болжауға болады. Мысал: "Жаңбыр жауған кезде шөп бірнеше рет су болды, сондықтан: жаңбыр жауғанда шөп әрқашан су болады". Пайымдаудың бұл түрі әдетте [[эмпирикалық дәлелдер]]ді [[жалпыластыру]]мен (generalization) байланысты болады. Бұл пайымдау нанымды болған күнде де, бәрібір бұл дәлелдер дедуктивті түрде жарамды емес: ''[[индукция мәселесі]]н'' қараңыз.