Qual regra de inferência permite deduzir p → r a partir das premissas p → q e q → r?

Silogismo hipotético

Explicação: A partir de duas condicionais encadeadas, p → q e q → r, infere-se a condicional que relaciona o primeiro antecedente ao último consequente, p → r.
Formalmente, a fórmula \( ((p\to q)\land(q\to r))\to(p\to r) \) é uma tautologia, logo a inferência é válida.

Exemplo:
Considere:
p: Estudar, q: Passar na prova, r: Conseguir estágio.
Premissas: p → q, q → r.
Conclusão válida: p → r, se alguém estuda, então conseguirá estágio, pela composição das condicionais.