Un esquema de inferencia es la expresión formal de una...