Glosario

Enunciados de lógica


Si se restringe el lenguaje de primer orden (o lenguaje de predicados) eliminando los cuantificadores y se toma como ultima unidad de análisis enunciados (fórmulas cerradas) atómicos, se obtiene el lenguaje de enunciados.

En el lenguaje de enunciados los únicos símbolos lógicos son las conectivas.

La lógica que descansa exclusivamente en las conectivas recibe el nombre de Lógica de enunciados.

Tipos: Matemáticas Lógica Ciencia

Listado de términos



Total de términos: 47

Fuentes

  • Glosario de enunciados de lógica. Ana Carrillo.

Enlace permanente: Enunciados de lógica - Fecha de creación: 2014-02-07 09:23:53