strong induction
استقرا قوی
inductive logic
منطق استقرایی
weak induction
استقرا ضعیف
منطق عمومی
general logic
mathematical induction
استقرای ریاضی