Buridan formula

From testwiki

Revision as of 05:02, 28 September 2024 by imported>WingerBot (templatize langname categories for langcode=en using {{cln}})

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

English

Etymology

Named in honour of the medieval philosopher Template:W.

Proper noun

Template:En-prop

Template:Lb In quantified modal logic, the formula $◊ \forall x F x \to \forall x ◊ F x$ , meaning "if possibly everything is F, then everything is possibly F".

Retrieved from "https://en.wiktionary.beta.math.wmflabs.org/w/index.php?title=Buridan_formula&oldid=1836"