Simbolización o Formalización de proposiciones