inductive logic
type: Concept
broader: general logic
preferred label: منطق استقرایی @fa
related: weak induction
related: strong induction
related: mathematical induction

general logic
type: Concept
narrower: inductive logic
preferred label: منطق عمومی @fa

weak induction
type: Concept
preferred label: استقرا ضعیف @fa
related: inductive logic

strong induction
type: Concept
preferred label: استقرا قوی @fa
related: inductive logic

mathematical induction
type: Concept
preferred label: استقرای ریاضی @fa
related: inductive logic