•
« Antropólogos como Francis Galton (1822-1911) y Earnest A. Hooton (1887-1954) crearon el campo de la eugenesia como un intento de formalizar el estudio científico social de la "aptitud" y la "superioridad" entre los miembros de la Europa del siglo XIX. »
•
« Con el tiempo, la relación entre los señores feudales y los reyes se formalizó en un sistema de protección mutua (o incluso en un chanchullo de protección). »(formalizó es conjugación de formalizar)
•
« Los holandeses inventaron tanto el intercambio de divisas formalizado como el mercado de valores, lo que condujo a enormes fortunas para los comerciantes de allí. »(formalizado es participio de formalizar)
•
« El interrogatorio de la inteligencia de los EE.UU. se formalizó por primera vez, al menos a nivel de los principales comandos de campo, en la Guerra Hispano-Americana de principios del siglo XX. »(formalizó es conjugación de formalizar)
•
« Es obvio que la noción de implicación formalizada en la lógica clásica no se traduce cómodamente al lenguaje natural mediante el "si... entonces...", debido a una serie de problemas llamados las paradojas de la implicación material. »(formalizada es participio de formalizar)
•
« Aproximadamente en el 650 a.C., a los lidios se les ocurrió la idea de usar trozos de oro y plata que tuvieran un peso estándar. Pronto formalizaron el sistema estampando marcas en los terrones para crear las primeras monedas verdaderas (aunque crudas), llamadas estatores. »(formalizaron es conjugación de formalizar)
•
« Así, el estado zarista instituyó la servidumbre en 1649 de forma generalizada, formalizando lo que ya era una institución muy extendida. Esto hizo que los campesinos fueran legalmente poco mejores que los esclavos, obligados a trabajar la tierra y a servir al estado en la guerra cuando eran reclutados. »(formalizando es gerundio de formalizar)
•
« La lógica modal no es una verdad condicional, y por eso se ha propuesto a menudo como una lógica no clásica. Sin embargo, la lógica modal se formaliza normalmente con el principio del medio excluido, y su semántica relacional es bivalente, por lo que esta inclusión es discutible. Por otra parte, la lógica modal puede utilizarse para codificar lógicas no clásicas, como la lógica intuicionista. »(formaliza es conjugación de formalizar)
* ACLARACIÓN: si bien la IA es muy buena con sus resultados, deberás leer con atención las oraciones generadas porque puede equivocarse.
