Barcan formula

短语

词形变化

the Barcan formula

释义与例句

name
  1. 1.

    In quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F".

    数学 哲学

词源

Introduced by the logician Ruth Barcan Marcus.

来源：wiktionary