Describir: Lógica simbólica