In this work are presented results of an investigation that is located in the problematic of the formation of teachers in mathematical logic. As a theoretical reference, the Anthropological Theory of Didactics is adopted. The research was developed in two groups of mathematics teacher students from a Colombian university. The practices of the teachers who guided topics related to propositional calculus and predicate calculus were analyzed, and the material proposed for the study was examined. In particular, this work reports the results of the analysis of the material proposed by the teachers; the praxeological components that were identified in the solved tasks and the tasks formulated to be solved by the students were analyzed. The main results of the research indicate that both the tasks solved in the material and the tasks proposed for their resolution, integrate praxeologies with a low degree of completeness.En este trabajo se presentan resultados de una investigación que se ubica en la problemática de la formación de profesores en lógica matemática. Como referencial teórico se adopta a la Teoría Antropológica de lo Didáctico. La investigación se desarrolló en dos grupos de estudiantes de profesorado en matemática de una universidad colombiana. Se analizaron las prácticas de los docentes que orientaron temas relativos a cálculo proposicional y cálculo de predicados, y se examinó el material propuesto para el estudio. En particular, en este trabajo se reportan resultados del análisis del material propuesto por los docentes; se analizaron los componentes praxeológicos que se identificaron en las tareas resueltas y las tareas formuladas para ser resultas por los estudiantes. Los principales resultados de la investigación indican que tanto las tareas resueltas en el material como las tareas propuestas para su resolución, integran praxeologías con bajo grado de completitud.