最終更新日：2025/12/06

(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning if possibly everything is F, then everything is possibly F.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

Buridan formula

元となった辞書の項目

Buridan formula

固有名詞

日本語の意味

量化モーダル論理における論理式であり、具体的には「もし全ての対象がある性質Fを持つ可能性があるならば、各対象についてそれぞれFを持つ可能性がある」という意味を示す。

量化モーダル論理のセミナーで、彼女は「もしすべてが可能的にFであるならば、すべてのものがそれぞれ可能的にFである」という公式が可能性と量化の微妙な相互作用を明らかにすると主張した。

意味（1）

the Buridan formula

（ canonical ）