deduction theorem

Теорема о дедукции

Источник: Полный англо-русский словарь на Gufo.me