推导规则英文解释翻译、推导规则的近义词、反义词、例句
英语翻译：
【计】 derivation rule
分词翻译：
推的英语翻译：
bunt; choose; deduce; hustle; infer; jostle; push; put off; shift; shove
trundle
【机】 buck; push
导的英语翻译：
guide; lead; teach; transmit
【医】 guidance; guide
规则的英语翻译：
regulation; rule; formulae; order; rope
【计】 rule
【化】 regulation; rule
【医】 regulation; rule
【经】 propriety; regulations; rule
网络扩展解释
推导规则
推导规则 (tuīdǎo guīzé) 是数理逻辑中的基本概念，也是数学和计算机科学领域的重要内容。
拼音
推导规则 - tuī dǎo guī zé
英语解释翻译
推导规则 - deduction rules
英文读音
deduction rules - /dɪˈdʌkʃən rulz/
英文的用法
在数理逻辑中，推导规则是指通过逻辑运算和演绎推理，根据一组已知命题推导出新的命题的规则。
英文例句
Example: The modus ponens is one of the most commonly used deduction rules in formal logic.
例句：盖尔-西德尔定理是形式逻辑中最常用的推导规则之一。
英文近义词
Synonyms: inference rules, deduction principles
近义词：推理规则，演绎原理
英文反义词
Antonyms: induction rules
反义词：归纳规则
英文单词常用度
根据英文语料库分析，deduction rules 在学术文献和科技领域中频繁使用，属于常用词汇。