Describir: Lógica simbólica /