El documento presenta 6 problemas de lógica proposicional para resolver. Los problemas incluyen analizar afirmaciones mediante árboles sintácticos, insertar paréntesis para eliminar ambigüedades, identificar proposiciones atómicas y reemplazarlas por símbolos, hallar valores de verdad de expresiones dadas ciertas condiciones de verdad, y construir tablas de verdad para fórmulas lógicas.