Parcial de Logica para ciencias de la Computacion