En lógica, cómo se puede llamar de otra manera a un razonamiento formalmente válido.