English Explanatory Dictionary

Buridan formula

English dictionary entry

Meanings

name
  1. In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".

Word forms

Buridan formula the Buridan formula

Etymology

Named in honour of the medieval philosopher Jean Buridan.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on B Russian dictionary Dahl dictionary