Meaning of Buridan formula | Babel Free
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.
This word is part of the CEFR B2 vocabulary — upper intermediate level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free