Buridan formula
English
editEtymology
editNamed in honour of the medieval philosopher Jean Buridan.
Proper noun
edit- (logic) In quantified modal logic, the formula , meaning "if possibly everything is F, then everything is possibly F".
Named in honour of the medieval philosopher Jean Buridan.