Список правил вывода

• Введение/устранение последствий, двойное условие, конъюнкция, дизъюнкция и другие правила вывода относятся к математическим формулам. 
• Набор правил вывода может быть использован для вывода любого верного вывода, если он является полным. 
• Надежный и полный набор правил не обязательно должен включать все правила из списка, поскольку многие из них являются избыточными и могут быть подтверждены другими правилами. 
• Правила списания позволяют делать выводы из подпроизводства, основанного на временном предположении. 
• В статье представлены частные случаи универсального обобщения и экзистенциального исключения, встречающиеся в субструктурных логиках. 
• Каждый логический оператор может быть использован в утверждении о переменных и операциях, демонстрируя основное правило вывода. 
• Примеры использования правил вывода включают использование таблицы истинности для проверки возможности получения других выводов.