LÓGICA E INFERENCIA LÓGICA

LÓGICA

La lógica en ciencias computacionales proporciona herramientas para deliberar si

un problema puede o no ser resuelto en una maquina, para transformar enunciados
lógicos en lenguaje común a lenguaje de computadora, para probar que un
programa es correcto o si es eficiente. Las computadoras están diseñadas a partir
de dispositivos lógicos y son programadas basándonos en la lógica.

La lógica es el estudio de los principios del razonamiento válido y la inferencia, como

también de la consistencia, solidez y completitud. Por ejemplo, en la mayoría de los
sistemas en la lógica, la ley de Peirce, (((P→Q) →P) →P) es un teorema. En lógica
clásica, puede ser fácilmente verificado con una tabla de verdad. El estudio de las
demostraciones matemáticas es particularmente importante en lógica y tiene
aplicaciones en la demostración automática de teoremas y verificación formal de
software.

Las fórmulas lógicas son estructuras discretas, como lo son las demostraciones, las
cuales forman árboles finitos, o más generalmente, estructuras de grafos acíclicos
(en cada paso de inferencia combinando una o más ramas de premisas para dar
una sola conclusión). Las tablas de verdad de fórmulas lógicas usualmente forman
un conjunto finito, generalmente restringido a dos valores: verdadero y falso, pero
la lógica puede tener valores continuos, por ejemplo en la lógica difusa. Los
conceptos como árboles de demostraciones o derivaciones infinitas también han
sido estudiados, por ejemplo en la lógica proposicional infinitaria.

CLASES DE LOGICA

 Lógica Natural: Es aquella que radica en la naturaleza de la inteligencia

humana por el hecho de ser los hombres animales racionales, que podemos
pensar.
 Lógica Científica: Se encarga del estudio de la razón humana, sus leyes y
principios, y contribuye a perfeccionar la lógica natural.
  Lógica Material: Es la que estudia las condiciones para que el pensamiento
de adecue a la realidad que significa que sea verdadero. También llamada
lógica mayor o lógica Magda.
 Lógica Formal: Se ocupa del estudio de las condiciones para que el
pensamiento sea correcto. También conocida como lógica parva o lógica
menor.
 Lógica De Alto Umbral-Htl: “Hay ocasiones en que los circuitos digitales
deben operar en un ambiente que produce señales de ruido muy altas. Para
la operación de tales medios hay disponibles una compuerta del tipo DTL que
posee un alto umbral de inmunidad al ruido. Este tipo de compuerta se
conoce como compuerta lógica de alto umbral (HTL).
 Lógica De Control: busca seguir reglas que se aplican directamente al
lenguaje, buscando tener un significado.
 La Lógica General Y La Lógica Simbólica En Particular: Es el estudio
sistemático del proceso de razonamiento preciso.

INFERENCIA LÓGICA
Cuando se usa una regla de inferencia para pasar de un conjunto de proposiciones
a otra proposición se demuestra que la última proposición es consecuencia lógica
de las otras. Esto se puede expresar de muchas maneras. Se puede decir que se
ha derivado la conclusión de las premisas, que la conclusión se infiere de o es
implicada por las premisas, que la conclusión se deduce de las premisas, y otras.

Todas estas palabras o expresiones significan lo mismo. Dadas ciertas

proposiciones, si una regla de inferencia nos permite pasar a otra proposición,
entonces esta proposición es una conclusión lógica de las proposiciones dadas.

Se demostró una conclusión a partir de un conjunto de premisas. Por ejemplo, de

R—» S y R se demostró S.

Se podría esquematizar la demostración de manera clara poniendo

 RS P
  R P
 S PP

Cada línea en la demostración está numerada. Después de las proposiciones

simbolizadas se indican como se obtiene cada proposición. Se han indicado con P
las premisas dadas.

Las líneas que son premisas se representan por P en la regla de premisas. Se parte
de ellas y se deduce la línea (S), lo que se indica en la línea por la abreviatura PP,
escrita después de la proposición.