Barcan formula

专有名词

英文释义

专有名词
  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".

词形变化

the Barcan formula canonical

词源

Introduced by the logician Ruth Barcan Marcus.
0 次浏览 数据来源: Wiktionary