演绎定理
_
deduction theorem
теорема дедукции; теорема о дедукции
deduction theorem
пословный:
演绎 | 定理 | ||
1) дедукция, делать (логический) вывод, заключать, высказывать догадку
2) петь (исполнять, режиссировать) исходя из своего собственного понимания (замысла); изображать по-своему; переосмысление, интерпретация (напр. философской идеи)
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|