El silogismo hipotético se puede escribir formalmente como: