Methodology to represent functions in logic BL⊃. - Mauricio Osorio 001; Daniela Hernández-Grijalva; Alejandro Hernández-Tello (LANMR, 2019)