Дедукції теорема

в логіці – спосіб обґрунтування істинності умовних висловлювань («якщо А, то Б»), правил виведення логічного висновку із гіпотез