← Back to search

Meaning of Buridan formula | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Buridan's ass Buridan's bridge Buridan's donkey Buried buried treasure buried valley