Buridan formula en · PROPN
Etymology
Named in honour of the medieval philosopher Jean Buridan.
Meanings
- In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Buridan formula | canonical | lexicographic |