---
tag: BA2ZWFAXH1
kind: concept
name: Vacuous quantifier
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section V
    note: adopted
    mention: wikipedia://en/76765067#DYWX
    sections: [Summary]
inventory: [S5BBJBHQ4N]
---

## Summary

A vacuous [[quantifier|0FYQMKFE77]] is one that doesn't bind any variables, such as the second quantifier in $\forall x \forall y Rxx$.