“rule necessitation”的概念、定义、翻译、参考文献-科学参考

单词	rule necessitation
释义	rule necessitation Logic In modal logics with a necessity operator $□$ , the inference $\frac{⊢ φ}{⊢ □ φ}$ In other words, the statement that from the theoremhood of $φ$ one may infer the theoremhood of $□ φ$ . That rule necessitation is admissible in a deductive system $L$ is one requirement for $L$ ’s being normal.
随便看	Lorentz, Hendrick Antoon (1853–1928) Lorentz, Hendrik Antoon Lorentz, Hendrik Antoon (1853–1928) Lorentz transformation Lorentz transformations Lorentz–Dirac equation Lorentz–Fitzgerald contraction Lorentz–Lorenz equation Lorenz attractor Lorenz curve Lorenz, Edward Norton Lorenz, Konrad Zacharias Lorenzo the Magnificent Loria, Gus (1960– ) loris Lorraine, House of LOS Los Angeles abrasion test Loschmidt, Johann Josef Loschmidt’s constant losing stream loss lossage loss angle loss factor

科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。