---
tag: EDRV3N0SA3
kind: concept
name: Induction on well-formed formulas
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section I
    note: adopted
    mention: wikipedia://en/76765067#174Q
    sections: [Summary]
inventory: [NWZWXN5J0J]
---

## Summary

A method used in formal logic and mathematics to prove properties of all well-formed formulas by showing they hold for basic formulas and are preserved under the operations that generate new formulas.