UNIVERSIDAD ABIERTA PARA ADULTOS. UAPA.

ASIGNATURA: Logica Computacional

TEMA: La lógica computacional

FACILITADOR: Geury Guzman

PARTICIPANTE: Henry Junior Ortiz Torres

MATRICULA: 2021-02106

FECHA: 29-4-2021
Hacer un resumen o ensayo corto acerca de la importancia de Lógica
Computacional y sus orígenes.

Es la misma lógica matemática aplicada al contexto de las ciencias de la

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

La lógica se extiende al corazón de la informática a medida que surge como

una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem
seguido del trabajo de Kurt Gödel sobre teoremas incompletos. La noción de
la computadora de uso general que surgió de este trabajo fue de gran
importancia para los diseñadores de la maquinaria informática en la década de
1940.

Origen:

En los años 50 y 60, investigaciones predijeron que, cuando el conocimiento

humano se pudiera expresar usando la lógica con notaciones matemáticas,
sería posible crear una máquina capaz de razonar o una inteligencia artificial.
Esto fue más difícil de lo esperado a causa de la complejidad del razonamiento
humano. En la lógica de programación, un programa consiste en una colección
de axiomas y reglas. Los sistemas de programación lógicos (como Prolog)
calculan las consecuencias de los axiomas y las reglas organizadas para
responder a una consulta.
Hoy en día, la lógica es extensamente aplicada en los campos de inteligencia
artificial y de ciencias de computación, y estos campos proporcionan una rica
fuente de problemas en la lógica formal e informal. La teoría de la
argumentación es un buen ejemplo de cómo la lógica está siendo aplicada a la
inteligencia artificial. El sistema de clasificación computacional ACM, en
particular, considera:

Sección F.3 en Lógicas y significados de programas y F.4 en Lógica

matemática y lenguajes formales como parte de la teoría de la ciencia de
computación: este trabajo cubre la semántica formal de los lenguajes de
programación tan bien como el trabajo de métodos formales como la lógica de
Hoare.

Lógica booleana como fundamento en el hardware de la computadora,

particularmente la sección del sistema B.2 en la estructura aritmética y lógica,
relacionado con operadores AND, NOT y OR.

Muchos formalismos lógicos fundamentales son esenciales para la sección I.2

sobre inteligencia artificial, por ejemplo la lógica modal y la lógica por
defecto en los formalismos y métodos de representación del conocimiento, las
cláusulas de Horn en la programación lógica y la lógica de descripción.

Además, las computadoras se pueden usar como herramientas para los lógicos.
Por ejemplo, en lógica simbólica y lógica matemática, las pruebas de los seres
humanos pueden ser asistidas por computadoras. Usando la prueba
automatizada del teorema, las máquinas pueden encontrar y comprobar
pruebas, así como trabajar con las pruebas demasiado largas para escribir a
mano.

La lógica en las Ciencias Computacionales del siglo XX

A comienzos de siglo pasado, Hilbert (1920) consideraba a la lógica como

una teoría axiomatizada. Según este enfoque, es posible demostrar teoremas
por medio de los métodos matemáticos tradicionales, sin embargo, no existían
algoritmos que soportaran la construcción de tales deducciones. El primer
avance significativo en este sentido se debe a Gentzen (1934), con el
desarrollo de la técnica natural de deducción y el cálculo sucesivo, con los que
creó un kit de herramientas sintácticas especiales para probar teoremas
automáticamente. Por otro lado, Herbrand (1968) aportó la probabilidad de
insatisfacción sobre los universos de Herbrand mediante un modelo teórico e
hizo posible la re-escritura del problema de decisión de primer orden, como
una fórmula proposicional que permitía expandirlo sobre dichos universos,
con lo que el problema de demostrar un teorema se redujo a la revisión de las
fórmulas a través de un kit de herramientas de lógica proposicional.

En los años 50, cuando los computadores fueron accesibles, Davis y Putnam
(1960) utilizaron los resultados de Herbrand y elaboraron el primer algoritmo
de computador para demostrar el teorema. Newell y Simon (1956)
desarrollaron el General Problem Solver y Newell, Shaw y Simon (1959)
diseñaron el sistema Logic Theorist, con los que impactaron la Inteligencia
Artificial contemporánea. El primero utiliza el algoritmo del British Museum,
un método de búsqueda horizontal a ciegas de bajo rendimiento, con base en
los axiomas y reglas de inferencia dadas por Russell y Whitehead (1997).
La lógica en la formación en ciencias computacionales

Inicialmente se formaba en lógica pero sólo vista como una técnica

descriptiva. Para los 60 sus aplicaciones suponían el conocimiento de amplias
áreas de la misma, lo que implicaba que en los planes de estudio de los cursos
avanzados se debían incluir los temas básicos de la lógica matemática. Desde
entonces, la lógica se convirtió en una herramienta para otros campos de la
informática, como la Inteligencia Artificial, la teoría de bases de datos
relacionales y el análisis y síntesis de programas. Desde finales de esta década
las bases de la lógica comenzaron a hacer parte de la formación en los
primeros años de CS, y las lecturas eran obligatorias debido a que estos
campos del conocimiento comenzaron a jugar un papel importante en las
aplicaciones; posteriormente se desplazaron a años superiores.

Importancia de la lógica computacional

En el área de la ingeniería, existe un conjunto de procesos de vital

importancia, en los cuales la lógica computacional brinda la capacidad de
razonamiento necesario para resolver cualquier problema mediante los
siguientes pasos: diseñar, desarrollar y sostenimiento del software.

La lógica computacional cubre todos los tipos de aplicaciones de la lógica en

la informática, sin embargo, esta se centra en la definición: Algoritmo =
Lógica + Control.
Los algoritmos tratan la descripción de un problema y la estrategia para llevar
a cabo las computaciones utilizadas en su descripción. La lógica
computacional se dedica a concentrarse en la descripción de un problema y no
invertir ningún tiempo en el mecanismo de computación necesario.
Finalmente, la lógica computacional incluye el diseño de máquinas reales y
abstractas para los lenguajes de programación declarativos y para la
construcción de sistemas de deducción y probadores automáticos de teoremas.
Puesto que la búsqueda es el mecanismo fundamental en Lógica
Computacional, el desarrollo de estrategias de control y de heurística es un
tema prioritario. 

Es por ello que la importancia de la lógica computacional  es de gran

magnitud y gracias a la misma, desde tiempos antiguos, podemos dar solución
a gran cantidad de problemas.  

Proposición Compuesta:

Son aquellas proposiciones que tienen más de un enunciado unido por un

conector lógico.

Una proposición o enunciado es una oración, frase o expresión matemática

que puede ser falsa o verdadera, pero no ambas a la vez. La proposición es un
elemento fundamental de la lógica matemática.
A continuación se presenta una lista de proposiciones válidas y no válidas, y
se explica por qué algunos enunciados no son proposiciones. Cada
proposición se indica por medio de una letra minúscula, y luego de los dos
puntos se expresa la proposición propiamente dicha.
Ejemplo:

1.  Gabriel García Márquez fue un gran escritor y bailarín.

2.  Las células son procariotas o eucariotas.
3.  Si Pedro es inteligente entonces se graduara con mérito.
4.   María se graduara con merito si y solo si estudia muchos.

Operador and (y)

Se utiliza para conectar dos proposiciones que se deben, cumplir para que se
pueda obtener un resultado verdadero. Su símbolo es  ^
Operador or (o)
Con este operador se obtiene un resultado verdadero cuando alguna de las
proposiciones es verdadera. Se indica por medio de los siguientes símbolos:
{v, +, u}.

operador not 

El operador lógico not tiene como función negar la proposición. Esto significa
que si a alguna proposición verdadera se le aplica el operador not. obtendrá su
complemento o negación. Este operador se indica por me de los siguientes
símbolos: {‘, -}.
La tabla de verdad relacionada con el operador not es la siguiente
Operador or exclusivo (xor)
Además de los operadores básicos (and, or y not) existe el operador xor, cuyo
funcionamiento es semejante al de or con la diferencia de que su resultado es
verdadero solamente si una de las proposiciones es cierta, ya que cuando
ambas son verdad el resultado es falso. Este operador se indica por medio del
símbolo (©) y su tabla de verdad es la siguiente

Proposición condicional (->)

Tna proposición condicional es aquella que está formada por dos proporciones
simples (o compuestas) p y q, y que se indica de la siguiente nanera:
p —> q
I=to se lee “si p entonces q”.
Proposición bicondicional (<->)
Sean p y q dos proposiciones, entonces se puede indicar la proposi
bicondicional de la siguiente forma:
P <->q

Esto se lee como “p si sólo si q” en donde la proposición que representa el

enunciado (p q) es verdadera si p es verdadera si y sólo si q también lo es. O
bien la proposición es verdadera si p es falsa y si sólo si q también lo es.

Tablas de verdad
Por medio de una tabla de verdad es posible mostrar los resultados obtenidos
al aplicar cada uno de los operadores lógicos, así como el resultado de la
proposición para todos y cada uno de los valores que pueden tener las
diferentes proposiciones simples que integran una proposición compuesta.
Con la tabla de verdad se puede observar con claridad el comportamiento
particular y generalizado de una proposición y, con base en ello, determinar
sus propiedades y características.
Una tabla de verdad está formada por filas y columnas, y el número de nías
depende del número de proposiciones diferentes que conforman una
proposición compuesta. Asimismo, el número de columnas depende del
número de proposiciones que integran la proposición y del número de
aperadores lógicos contenidos en la misma.

En general se tiene la siguiente expresión:

Número de filas = 2n
donde n es el número de proposiciones diferentes que integran una
proposición compuesta