【導出】

どう･しゅつdō·shutsu0

N., mit suru trans. V.

1 Ableitung f f; Herleitung f f. dōnyū 導入
2 Logik Resolution f f.

Ableitungen
	導出する～する \| ableiten; herleiten.
Zusammensetzungen

	導出原理導出原理 \| Logik Resolutionsprinzip n n.
	導出論理導出論理 \| Logik Resolution f f (Verfahren zum Nachweis der Unerfüllbarkeit einer Formel)

logisches Schließen

Herleitung (einer mathematischen Formel)

Ableitungen
	導出する～する \| ableiten; herleiten.
Zusammensetzungen

	導出原理導出原理 \| Logik Resolutionsprinzip n n.
	導出論理導出論理 \| Logik Resolution f f (Verfahren zum Nachweis der Unerfüllbarkeit einer Formel)