Buridan formula

English

Etymology

Named in honour of the medieval philosopher Jean Buridan.

Proper noun

the Buridan formula

(logic) In quantified modal logic, the formula $\Diamond \forall xFx\rightarrow \forall x\Diamond Fx$ , meaning "if possibly everything is F, then everything is possibly F".

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.