2. Que es lógica
es una ciencia que estudia los procesos del
pensamiento, su estructura sus formas y relaciones.
Lógica computacional
La lógica computacional es la misma lógica
matemática aplicada al contexto de las ciencias
de la computación.

3. Su uso es fundamental a varios
niveles:
 En los circuitos computacionales.
 En la programación lógica
 En el análisis y optimización (de
recursos temporales y espaciales) de
algoritmos.