Qual regra lógica permite inferir \(A\to C\) a partir de \(A\to B\) e \(B\to C\)?

Silogismo hipotético (transitividade do condicional): de \(A\to B\) e \(B\to C\) segue \(A\to C\).

Explicação:
Quando duas implicações se encadeiam, a verdade da primeira leva à verdade da segunda, portanto a antecedente inicial implica diretamente a consequente final, formalmente de \(A\to B\) e \(B\to C\) obtemos \(A\to C\).

Exemplo:
Se está nublado, então vai chover \(N\to C\).
Se vai chover, então a partida ao ar livre será adiada \(C\to P\).
Logo, se está nublado, então a partida ao ar livre será adiada \(N\to P\).