es una gramática. Ésta no es una observación trivial, porque, si tales «reglas» de ejemplificación no son reglas propiamente dichas, entonces no puede sostenerse que una gramática genere oraciones particulares: sólo puede decirse que «genera» (describe, especifica, analiza) tipos de oraciones. Hay más: entre la «generación» de oraciones y la deducción lógica de proposiciones no hay sino una similitud o analogía. En efecto, las oraciones se «derivan»