Describir: Lógica simbólica :