Este documento presenta varios conceptos de lógica y conjuntos. En la sección de proposiciones, identifica cuales enunciados son proposiciones y cuales no, dependiendo de si se les puede asignar un valor de verdad. Luego introduce operadores lógicos y presenta ejercicios para traducir enunciados al lenguaje formal. Finalmente, explica proposiciones simples y compuestas, dando ejemplos de cómo traducirlas.