Quais são as regras de inferência chamadas de confirmação do antecedente, negação do antecedente pela negação do consequente e transitividade da implicação?

Modus Ponens, Modus Tollens, Silogismo hipotético

Modus Ponens: se um condicional é verdadeiro e seu antecedente ocorre, conclui-se o consequente.
Modus Tollens: se um condicional é verdadeiro e o consequente é falso, conclui-se que o antecedente é falso.
Silogismo hipotético: a implicação é transitiva, de uma cadeia de condicionais conclui-se a implicação entre o primeiro e o último.

Exemplo:
Modus Ponens: Se chover, a rua ficará molhada. Está chovendo. Logo, a rua ficará molhada.
Modus Tollens: Se houver eletricidade, a lâmpada acende. A lâmpada não acende. Logo, não há eletricidade.
Silogismo hipotético: Se estudar, aprende-se. Se aprende-se, aprova-se. Logo, se estudar, aprova-se.