El documento presenta información sobre tablas de verdad y cuantificadores lógicos. En las tablas de verdad, se determina el valor de verdad de diferentes proposiciones lógicas. En cuantoificadores lógicos, se explica que son palabras que convierten proposiciones abiertas en cerradas, y que existen dos tipos: universal y existencial. Luego, se piden ejercicios de cuantificación y simbolización de proposiciones.