Describir: Lógica simbólica para informáticos