Describir: Introduccion a la lógica simbólica /