Source Word
Buridan formula
Proper noun
Japanese Meaning
量化モーダル論理における論理式であり、具体的には「もし全ての対象がある性質Fを持つ可能性があるならば、各対象についてそれぞれFを持つ可能性がある」という意味を示す。
（ canonical ）
（ canonical ）
DiQt
Free
★★★★★★★★★★
