Introduccion a la logica formal