1. Bir çıkarımın sonucunun öncüllerden salt çıkarım kuralları yardımıyla sonlu sayıda adımla çıkarılması işlemi, Türetim genellikle yalınç çıkarımlar zinciri sayılabilir.
2. Bu işlemi dile getiren çizelge. || Anl. tümdengelim, Krş.. dolaysız türetim, dolaylı türetim, koşullu türetim, kanıtlanım.
TDK Mantık Terimleri Sözlüğü