Describir: Lógica Simbólica /