A continuación se presenta teminos sobe la lógica computacional, lógica de predicados y a lógica proposicional.

2. LOGICA
COMPUTACIONAL
Es una disciplina que
estudia la aplicación
de la lógica clásica
formal para la
representación
computacional de
argumentos, las
técnicas de deducción
automática y asistida
por computadora

3. Sus fundamentos son
relacionados con validez y
completes de sistemas de
proposiciones; y las aplicaciones
de esas técnicas a las
diferentes áreas de las ciencias
computacionales en todas las
etapas de desarrollo de
software, es decir, en la
especificación, diseño,
construcción y verificación
formal de programas.
La computación lógica es el único
paradigma que resuelve los
problemas de diseño de hardware
y software que son demasiado
complejos para ser resueltos con
reglas y heurísticas simples. Se ha
llegado a un punto en el que el
hardware no puede sobrevivir sin
un buen software y viceversa.

4. La computación lógica es el único
paradigma que resuelve los problemas
de diseño de hardware y software que
son demasiado complejos para ser
resueltos con reglas y heurísticas
simples. Se ha llegado a un punto en
el que el hardware no puede
sobrevivir sin un buen software y
viceversa.

5. LOGICA
PROPOSICIONAL
La Lógica proposicional es la
más antigua y simple de las
formas de lógica. Utilizando
una representación primitiva
del lenguaje, permite
representar y manipular
aserciones sobre el mundo
que nos rodea. También
recibe el nombre de Cálculo
Proposicional.

6. La lógica proposicional permite el razonamiento, a través de un
mecanismo que primero evalúa sentencias simples y luego sentencias
complejas, formadas mediante el uso de conectivos proposicionales,
por ejemplo Y (AND), O (OR). Este mecanismo determina la
veracidad de una sentencia compleja, analizando los valores de
veracidad asignados a las sentencias simples que la conforman.

8. LOGICA DE
PREDICADOS
Un predicado es una proposición
en la que se afirma o se niega
algo de uno o varios objetos que
son los términos del predicado.
La lógica de primer orden,
también llamada lógica de
predicados o cálculo de
predicados, es un sistema formal
diseñado para estudiar la
inferencia en los lenguajes de
primer orden. Los lenguajes de
primer orden son, a su vez,
lenguajes formales con
cuantificadores que alcanzan sólo
a variables de individuo, y con
predicados y funciones cuyos
argumentos son sólo constantes
o variables de individuo.