Buridan formula
(Australia, slang) Clipping of kangaroo.
(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning if possibly everything is F, then everything is possibly F.
if possibly everything is F, then everything is possibly F
plural of reelection
simple past tense of free ride
量化モーダル論理のセミナーで、彼女は「もしすべてが可能的にFであるならば、すべてのものがそれぞれ可能的にFである」という公式が可能性と量化の微妙な相互作用を明らかにすると主張した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
