Describir: Introducción al simbolismo lógico /