Другие правила вывода — это правило отделения и правило подстановки.
Первое из них закрепляется следующей формулой:
[(Р-»?)ЛР] -+q.
Пример: «Если х — положительное число, то 2хтоже положительное число; х — положительное число.» Если оба этих высказывания истинны, то истинно и высказывание (вывод), что «2дс— положительное число».
Второе правило (подстановки) разрешает заменять в сложном высказывании одни составляющие его высказывания другими, если при этом форма (структура) сложного высказывания останется без изменений. Так, например, из высказывания «если х— положительное число, то 2х — положительное число», следует, что «если 2х не положительное число, то х тоже не положительное число».
Структура этого вывода такова: