411 REFERENCE · Wiktionary
Buridan formula
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named in honour of the medieval philosopher Jean Buridan.
Proper noun
1
en logic In quantified modal logic, the formula , meaning "if possibly everything is F, then everything is possibly F".
en eponyms