ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
Buridan formula
固有名詞
(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning "if possibly everything is F, then everything is possibly F".
日本語の意味
量化モーダル論理における論理式であり、具体的には「もし全ての対象がある性質Fを持つ可能性があるならば、各対象についてそれぞれFを持つ可能性がある」という意味を示す。
英語の意味
(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning "if possibly everything is F, then everything is possibly F".
関連語
Barcan formula
固有名詞
(logic) 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".
日本語の意味
量化モーダル論理における式であり、全ての対象が必然的に性質Fを持つならば、全ての対象が性質Fを持つこと自体が必然である、という命題を表す。
英語の意味
(logic) 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".
関連語
Balmer formula
固有名詞
The empirical equation used to calculate the Balmer series.
日本語の意味
バルマー系列を計算するために用いられる経験式
英語の意味
The empirical equation used to calculate the Balmer series.
関連語
Formula 1
Kekule formula
名詞
別表記
異形
Alternative form of Kekulé formula
日本語の意味
Kekulé formulaの別形
英語の意味
Alternative form of Kekulé formula
関連語
BBP formula
固有名詞
略語
別表記
Abbreviation of Bailey-Borwein-Plouffe formula.
日本語の意味
Bailey-Borwein-Plouffe formulaの略語
英語の意味
Abbreviation of Bailey-Borwein-Plouffe formula.
関連語
Trinitarian formula
infant formulae
名詞
活用形
複数形
plural of infant formula
原形:
infant formula
日本語の意味
この単語は『infant formula』の複数形です。つまり、乳児用粉ミルクや乳児用ミルクといった、乳児の栄養補助用に使用される粉ミルク類を指します。
英語の意味
plural of infant formula
loading!
Loading...
