Правило введения импликации. Правило приведения к абсурду. Правила контрапозиции и расширенной контрапозиции. Правила объединения и разъединения посылок. Правила отрицания конъюнкции и дизъюнкции.