Правило вывода - это логическое правило или набор правил, которые определяют, как из набора предложений можно вывести новые истинные утверждения или применить определенные логические операции для получения новых выводов. С помощью правил вывода можно проводить логические рассуждения и строить логические доказательства.