Estimados, publicamos en la sección de Teórico de Semántica de PROP el archivo "Lista de Equivalencias" que tiene una lista exhaustiva de las equivalencias para PROP que pueden usar en el curso para simplificar fórmulas o hacer pruebas semánticas por equivalentes.
Saludos,
Juan Diego