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

单词	principal formula
释义	principal formula Logic In proof theory, the principal formula in an inference is the formula in the conclusion introduced as a result of the application of an inference rule. In the inference $\frac{Γ \Rightarrow Δ, φ}{Γ \Rightarrow Δ, φ \lor ψ}$ the formula $φ \lor ψ$ in the lower sequent is the principal formula of the inference.
随便看	churn churn flow Churyumov–Gerasimenko, Comet 67P/ Chu Shih-chieh (1300) Chu, Steven Chu Teh chyle chylomicron chyme chymosin chymotrypsin chymotrypsinogen Chytridiomycota Chézy formula ch’eng Ch’in dynasty Ch’ing dynasty CI Ciano, Count Galeazzo (1903–44) Cibola Flight Experiment Satellite cicada CICERO Cicero, Marcus Tullius (106–43) CICS CID

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