---
tag: 7A333SMPW8
kind: concept
name: Sensible formula
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#SYJX
    sections: [Summary]
inventory: [FS87HTCCBV]
---

## Summary

A formula with no vacuous quantifiers.