Lógica Simbólica1