Значение слова "DEDUCTION THEOREM" найдено в 5 источниках

DEDUCTION THEOREM

найдено в "Philosophy dictionary"
deduction theorem: translation

The theorem provable about some logical systems, that if a conclusion C can be proved from a set of premises A1…An, then there is a proof of An→ C from A1…An–1.


найдено в "Англо-русском техническом словаре"
теорема о дедукции


найдено в "Англо-русском научно-техническом словаре"
матем. теорема о дедукции
T: 50