La lógica que opera utilizando un lenguaje simbólico artificial y haciendo abstracción de los contenidos.
La lógica que opera utilizando un lenguaje simbólico artificial y haciendo abstracción de los contenidos.