¿Es tautológico el silogismo hipotético?