lógica simbólica

Definición: Se denomina así al empleo, en computación, de expresiones lógicas con significado preestablecido de manera de evitar ambiguedades típicas de los lenguajes naturales.

• procesamiento de datos

• computación

• inferencia

• buscar en las clases 11 a 13 las series de diapositivas referidas a sistemas lógicos