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

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

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

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

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