Definitions from Wiktionary (Buridan formula)
▸ noun: (logic) In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".
▸ Words similar to Buridan formula
▸ Usage examples for Buridan formula
▸ Idioms related to Buridan formula
▸ Wikipedia articles (New!)
▸ Words that often appear near Buridan formula
▸ Rhymes of Buridan formula
▸ Invented words related to Buridan formula
▸ noun: (logic) In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".
Similar:
Barcan formula,
predicate calculus,
predicate logic,
disjunctive normal form,
quantifier,
formula,
Darboux's formula,
universal quantifier,
Herbrandization,
conjunctive normal form,
more...
Opposite:
▸ Words similar to Buridan formula
▸ Usage examples for Buridan formula
▸ Idioms related to Buridan formula
▸ Wikipedia articles (New!)
▸ Words that often appear near Buridan formula
▸ Rhymes of Buridan formula
▸ Invented words related to Buridan formula