deduce; derive; infer logically
Tone colorsmāmámǎmàma
Meanings
1 sense · 4 examplesverb
to deduce; to derive (a conclusion from given premises using logic or mathematics)
formalCommonly used in mathematics, formal logic, and scientific reasoning. Distinguished from 推倒 (tuī dǎo, to push over) by context and written form.
Wǒ我
men们
xū需
yào要
tuī推
dǎo导
zhè这
gè个
gōng公
shì式
de的
zhèng正
què确
xìng性
。
We need to derive the validity of this formula.
Cóng从
zhè这
gè个
qián前
tí提
chū出
fā发
，
wǒ我
men们
kě可
yǐ以
tuī推
dǎo导
chū出
zhèng正
què确
de的
jié结
lùn论
。
Starting from this premise, we can deduce the correct conclusion.
Show 2 more examplesShow fewer examples
Shù数
xué学
jiā家
huā花
le了
shí十
nián年
shí时
jiān间
tuī推
dǎo导
zhè这
gè个
dìng定
lǐ理
。
The mathematician spent ten years deriving this theorem.
Luó逻
jí辑
tuī推
dǎo导
bì必
xū须
zūn遵
xún循
yán严
gé格
de的
tuī推
lǐ理
guī规
zé则
。
Logical deduction must follow strict rules of inference.