Last Updated：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
.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Buridan formula
Edit Histories（0）
Source Word
Buridan formula
Proper noun
Japanese Meaning
量化モーダル論理における論理式であり、具体的には「もし全ての対象がある性質Fを持つ可能性があるならば、各対象についてそれぞれFを持つ可能性がある」という意味を示す。
（ canonical ）
