Dá tu definición de lógica computacional

Al igual que la lógica matemática la lógica computacional utiliza como unidad básica la proposición y las reglas de inferencia en la argumentación discursiva se basa en reglas las cuales siguen un patrón lógico en el cual no existen ambigüedades y todo esta debidamente planteado, desarrollado, limitado de manera en la cual se expresa todo claramente.

La lógica no entra en definir qué es verdad y qué es falsedad material. Esos conceptos, al tener contenido semántico, son competencia del razonamiento aplicado a la experiencia. Pero la ciencia para elaborar sus razonamientos necesita la lógica.

Los razonamientos formales, o inferencias válidas, son indispensables para todas las ciencias.

En la lógica computacional ocupamos las bases de la lógica pero en un contexto en el cual todo esta aplicado 100% en los sistemas, la lógica esta aplicada desde las placas de los circuitos integrantes de la computadora hasta en las acciones de los programas que ejecutamos día a día.

Andrés Manuel Cabrera Alarcón
N.L. 3
5° U

"Nosotros aparecemos en un Puff!"
Microd@ncing