koşullu türetim anlamı İng. conditional derivation Alm.konditionale Ableitung Fr. dérivation conditonnelle
(...) (…) biçimindeki bir çıkarımda sonucun öncüllerden çıktığını göstermek üzere, (…) öncüller kümesinden (…) artbileşenini türetme işlemi.