Teorica 2 - Logica proposicional y Especificacion de Problemas