1 Parcial de Logica para ciencias de la Computacion