Buridan formula

Meaning

Proper Noun

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

Origin

Named in honour of the medieval philosopher Jean Buridan.

Modern English dictionary

Explore and search massive catalog of over 900,000 word meanings.

Word of the Day

Get a curated memorable word every day.

Challenge yourself

Level up your vocabulary by setting personal goals.

And much more

Try out Vedaist now.