Describir: Introduccion al simbolismo logico