Lgica combinatoria

Las puertas lgicas son las componentes fundamentales de los circuitos digitales. Ellas ejecutan las
funciones bsicas del lgebra de Boole a partir de cifras en cdigo binario.
Esta estructura, desarrollada por George Boole en los aos 1830s, se encuentra a la base de los
sistemas informticos actuales, los cuales opera exclusivamente con cantidades numricas (codificadas
en binario).
La lgica combinatoria es la lgica ltima y como tal puede ser un modelo simplificado del cmputo,
usado en la teora de computabilidad (el estudio de qu puede ser computado) y la teora de la prueba
(el estudio de qu se puede probar matemticamente).

La teora, a causa de su simplicidad, captura las caractersticas esenciales de la naturaleza del

cmputo. La lgica combinatoria (LC) es el fundamento del clculo lambda, al eliminar el ltimo tipo de
variable de ste: la variable lambda. En LC las expresiones lambda (usadas para permitir la abstraccin
funcional) son substituidas por un sistema limitado de combinadores, las funciones primitivas que no
contienen ninguna variable libre (ni ligada). Es fcil transformar expresiones lambda en expresiones
combinatorias, y puesto que la reduccin de un combinador es ms simple que la reduccin lambda, LC
se ha utilizado como la base para la puesta en prctica de algunos lenguajes de programacin
funcionales no-estrictos en software y hardware.
3.1- Tipos de lgica combinatoria y caractersticas
Sumario del clculo lambda
El clculo lambda se refiere a objetos llamados lambda-trminos, que son cadenas de smbolos de una de las formas
siguientes:

v.E1

(E1 E2)

donde v es un nombre de variable tomado de un conjunto infinito predefinido de nombres de variables, y E1 y E2 son
lambda-trminos. Los trminos de la forma v.E1 son llamadas abstracciones. La variable se llama el parmetro formal de
la abstraccin, y E1 es el cuerpo de la abstraccin.
El trmino v.E1 representa la funcin que, si es aplicada a un argumento, liga el parmetro formal v al argumento y
entonces computa el valor resultante de E1--- esto es, retorna E1, con cada ocurrencia de substituido por el argumento.
Los trminos de la forma (E1 E2) son llamados aplicaciones. Las aplicaciones modelan la invocacin o ejecucin de una
funcin: La funcin representada por E1 es invocada, con E2 como su argumento, y se computa el resultado. Si E1 (a veces
llamado el aplicando) es una abstraccin, el trmino puede ser reducido: E2, el argumento, se puede substituir en el cuerpo
de E1 en lugar del parmetro formal de E1, y el resultado es un nuevo trmino lambda que es equivalente al antiguo. Si un
trmino lambda no contiene ningn subtrmino de la forma (v.E1 E2) entonces no puede ser reducido, y se dice que est
en forma normal.

La expresin E[a/v] representa el resultado de tomar el trmino E y substituyendo todas las ocurrencias libres de v por el a.
Escribimos as

(v.E a) E[a/v]
por convencin, tomamos (b c d... z) como abreviatura para (... (((a b) c) d)... z). (Regla de asociacin por izquierda).
La motivacin para esta definicin de la reduccin es que captura el comportamiento esencial de todas las funciones
matemticas. Por ejemplo, considrese la funcin que computa el cuadrado de un nmero. Se puede escribir el cuadrado de
x es x*x (usando "*" para indicar la multiplicacin.) x aqu es el parmetro formal de la funcin. Para evaluar el cuadrado
para un argumento particular, digamos 3, lo insertamos en la definicin en lugar del parmetro formal:

El cuadrado de 3 es 3*3
Para evaluar la expresin que resulta 3*3, tendramos que recurrir a nuestro conocimiento de la multiplicacin y del nmero
3. Puesto que cualquier cmputo es simplemente una composicin de la evaluacin de funciones adecuadas con
argumentos primitivos adecuados, este principio simple de substitucin es suficiente para capturar el mecanismo esencial
del cmputo. Por otra parte, en el clculo lambda, nociones tales como '3' y '*' puede ser representado sin ninguna
necesidad de operadores primitivos externamente definidos o de constantes. Es posible identificar los trminos que en el
clculo lambda, cuando estn interpretados convenientemente, se comportan como el nmero 3 y el operador de la
multiplicacin.

Clculos Combinatorios
Puesto que la abstraccin es la nica manera de fabricar funciones en el clculo lambda, algo debe sustituirlo en el clculo
combinatorio. En vez de la abstraccin, el clculo combinatorio proporciona un conjunto limitado de funciones primitivas y de
las cuales las otras funciones pueden ser construidas.
La lgica minimal constructiva se obtiene al eliminar completamente la negacin de la lgica clsica. El resultado, desde el
punto de vista de la teora de la demostracin, es un sistema deductivo donde las reglas de inferencia mantienen una
dualidad introduccin/eliminacin que genera un mecanismo determinista de construccin y verificacin de pruebas. Esta
caracterstica permite que las reglas de la lgica sean invertibles y sirvan como un sistema de tcticas que ayudan al
desarrollo, tanto de teoremas matemticos como de validaciones de especificaciones de software mediante los sistemas
computacionales llamados asistentes de prueba. En esta pltica daremos un breve panorama de los fundamentos y
aplicaciones de la lgica constructiva sirviendonos del asistente de prueba.

LA LGICA DE LAS RELACIONES.

2.7.1 Funciones proposicionales binarias.
A un predicado puede ir unido ms de un sujeto o trmino, como por ejemplo:
"Platn fue alumno de Scrates"
Este tipo de predicados expresa una relacin entre los objetos o trminos. Aqu
vemos dos trminos que son Platn y Scrates; sin embargo en este caso los
trminos no ocupan el lugar del sujeto gramatical puesto que "Scrates" hace
parte del predicado gramatical.
Cuando, como en el ejemplo, la relacin se hace entre dos individuos, se le
llama binaria o ditica. Otras relaciones pueden establecerse entre tres o ms
individuos. Por ejemplo: "x est entre a y b". La proposicin "Platn fue alumno
de Scrates", la cual se simboliza Aps o pAs es el resultado de una sustitucin dentro
de la funcin proposicional:

"x fue alumno de y"

esta funcin proposicional se simboliza Axy o xAy.

Cuando se efecta la sustitucin es necesario conservar el orden en la escritura de acuerdo

a que el trmino que entra a sustituir la variable ocupe el lugar de sta. Por ejemplo, si en
lugar de escribir Aps escribimos Asp, la proposicin ser.:
"Scrates fue alumno de Platn"
Cuando se tiene una funcin proposicional en dos variables, es posible convertirla en una
proposicin sustituyendo cada una de las variables por un trmino especifico o aadiendo
un cuantificador a cada variable.
Las siguientes son las diferentes maneras de obtener una proposicin a partir de una
funcin proposicional dada.
Sea Axy: "x fue alumno de y"

Platn fue alumno de Scrates; que se denota Aps.

Todos fueron alumnos de todos; que es ( x)( y)(Axy).
Todos fueron alumnos de algunos; que es ( x)( y)(Axy).
Algunos fueron alumnos de todos; que es ( x)( y)(Axy).
Algunos fueron alumnos de algunos; que es ( x)( y)(Axy).
Juan fue alumno de todos; que es ( y)( Ajy).
Juan fue alumno de Algunos; que es ( y)(Ajy).
Todos fueron alumnos de Scrates; que es ( x)( Axs).
Algunos fueron alumnos de Scrates; que es ( x)( Axs).

2.7.2 Leyes del Clculo de Relaciones.

2.7.2.1 Negacin de expresiones con varios cuantificadores.

1. ( x)( y)(Rxy) ( x)( y)( Rxy).

2. ( x)( y)(Rxy) ( x)( y)( Rxy).

3. ( x)( y)(Rxy) ( x)( y)( Rxy).

4. ( x)( y)(Rxy) ( x)( y)( Rxy).
Para hacer la negacin de la frmula ( x)( y)( Rxy) de sigue el siguiente proceso: Sea
Sx la funcin proposicional ( y)( Rxy), luego la frmula se puede expresar
( x)( Sx) cuya negacin es ( x)( Sx), ahora, como Sx es ( y)( Rxy) se da que
Sx ( y)( Rxy) ( y)( Rxy).
Se obtiene entonces el siguiente resultado:
( x)( y)( Rxy) ( x)( y)( Rxy).

2.7.2.2 Propiedades conmutativas de los cuantificadores

1. ( x)( y)(Rxy) ( y)( x)(Rxy).

2. ( x)( y)(Rxy) ( y)( x)(Rxy).
3. ( x)( y)(Rxy) ( y)( x)(Rxy).
El siguiente ejemplo demuestra que el reciproco del tercer numeral es falso.
Se sabe: "para cada nmero natural n, existe un natural k, tal que n < k ", o sea que( n)
( k)( n < k ), es un enunciado verdadero. Sin embargo, el siguiente enunciado"existe un
nmero natural k, tal que para todo nmero natural n se cumple quen < k", o sea ( k)
( n)( n < k ), es un enunciado falso, pues no existe un nmero natural que sea mayor que
todos los nmeros naturales.

LA LGICA DIALCTICA (lgica de las diferencias y de las oposiciones) es una mediacin entre la lgica formal
pura y el anlisis dialctico de las contradicciones en el movimiento; este anlisis dialctico, mal situado, poco
cultivado, se ha oscurecido y su campo desaparece o ms bien parece desaparecer ante la lgica pura y ante la
lgica de las oposiciones. Pero en la concepcin ms amplia que aqu se presenta, el pensamiento lgico se integra
en el pensamiento dialctico como un momento del mismo.
La lgica dialctica se debe a la creacin de Hegel, aunque muchos de sus pensamientos y de sus conclusiones
fueron planteados en la Grecia Antigua por Herclito de feso y Aristteles. Lgica dialctica ubica la atencin en el
hallazgo de las fuentes de desarrollo, en la inteligencia de que este responde a la contradiccin dialcticamente
interpretada.
Se lee a Lenin1 La lgica formal...toma las definiciones formales, guindose por lo que es ms habitual o por lo que
salta a la vista ms a menudo y se limita a eso...la lgica dialctica exige que vayamos ms lejos. Para conocer de
verdad el objeto hay que abarcar y estudiar todos sus aspectos, todos sus vnculos y 'mediaciones'. Jams lo
conseguiremos por completo, pero la exigencia de la multilateralidad nos prevendr contra los errores y el
anquilosamiento. Eso en primer lugar.

Lgica formal
Se acostumbra a definir la lgica formal como aquella ciencia que estudia los razonamientos desde el punto del anlisis formal, es
decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido emprico de los
razonamientos para slo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo : Los insectos son artrpodos;
los dpteros son insectos; por tanto, los dpteros son artrpodos; al lgico slo le interesa su validez o correccin (que es formal)
expresada en la estructura vaca de contenido Todo A es B; todo C es A; por tanto, todo C es B . El que los dpteros sean o no sean
artrpodos es una cuestin emprica que interesar en cualquier caso al zologo, pero de ninguna manera al lgico. El fundador de
la lgica formal fueAristteles . Esta disciplina se fue perfeccionando con la introduccin, a lo largo del siglo XIX y XX, de todo un
potente formalismo matemtico (Jorge Boole , Gottlob Frege , Beltrn Russell , etc.). Resulta ya un lugar comn equiparar la lgica
formal a la lgica matemtica , por lo que actualmente constituyen expresiones prcticamente sinnimas. El materialismo
formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no material". La lgica formal
posee referenciales fisicalistas y es tan material como cualquier otra disciplina cientfica, ya que toda ciencia es material. Por otra
parte, no resulta aceptable la existencia de formas puras hipostasiadas exentas de contenidos materiales.

LA LGICA MATEMTICA es una parte de la lgica y la matemtica, que consiste en el estudio matemtico de la
lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen nociones
intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de
conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio
de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones:
lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. 1
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes
de la lgica que pueden ser modeladas y estudiadas matemticamente.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de
objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia las reglas de
deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las
propiedades metalgicas de los mismos.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado
dentro de un determinado sistema formal. En un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de
axiomatizar las teoras matemticas, de clasificar su capacidad expresiva, y desarrollar mtodos computacionales
tiles en sistemas formales. La teora de la demostracin y la matemtica inversason dos de los razonamientos ms
recientes de la lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas formales
que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica no es mtodo de descubrir
verdades del mundo fsico real, sino slo una fuente posible de modelos lgicos aplicables a teoras cientficas, muy
especialmente a la matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso
creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando
lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser
completamente formalizados en todos sus aspectos.

Sistemas lgicos[editar]
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formacin de smbolos interpretables construidos
a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto de teoremasdeducibles de
un conjunto de axiomas.

La semntica de los lenguajes formales, es decir, los significados atribuibles a un conjunto de signos, as
como el valor de verdad atribuible a algunas de las proposiciones. En general las expresiones de un sistema
formal interpretadas en un modelo son ciertas o falsas, por lo que un conjunto de proposiciones que admite un
modelo es siempre consistente.

Los aspectos metalgicos de los lenguajes formales, como por ejemplo la completitud semntica,
la consistencia, la compacidad o la existencia de modelos de cierto tipo, entre otros.

Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables proposicionales (que
pueden ser interpretados informalmente como enunciados que pueden ser ciertos o falsos) adems de smbolos
para diversas conectivas. Estas conectivas permiten formar expresiones complejas a partir de variables
proposicionales simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica clsica
suele hacer uso de los siguientes:
se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las posibilidades
de interpretacin semntica se obtiene la lgica intuicionista y ampliando la complejidad de las interpretaciones
semnticas se obtienen las lgicas modales.

Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las
proposiciones ms elementales son predicados atmicos formados a partir de variables interpretables
como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >, etc.), funciones
matemticas. Adems smbolos para representar variables, relaciones y funciones este tipo de lgicas
incluyen cuantificadores. Dentro de la lgica de predicados se pueden distinguir ciertos tipos:
Lgica de primer orden que usualmente es finitaria (slo se admiten proposiciones formadas
mediante un nmero finito de pasos) aunque tambin existen lgicas infinitarias.
Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.

UNA LGICA MODAL es un sistema formal que intenta capturar el comportamiento deductivo de algn grupo de
operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios. 1 Por ejemplo, en
la oracin es necesario que 2+2=4, la expresin es necesario que es un operador modal que califica
de necesaria a la verdad del juicio 2+2=4.
En un sentido ms restringido, sin embargo, se llama lgica modal al sistema formal que se ocupa de las expresiones
es necesario que y es posible que.1 Este artculo trata exclusivamente sobre este sistema formal. Otros sistemas
de lgica modal conocidos son la lgica dentica, la lgica temporal, la lgica epistmica y lalgica doxstica.

Vocabulario [editar]
La lgica modal slo agrega dos smbolos al vocabulario de la lgica proposicional: el smbolo , que representa la
expresin del lenguaje natural "es necesario que", y el smbolo , que representa la expresin "es posible que". Ambos
smbolos se prefijan a proposiciones, de modo que se lee "es necesario que p", y se lee "es posible que p". Adems,
en la lgica modal clsica, ambos smbolos son interdefinibles por medio del otro y de la negacin; as:
Esto implica que en principio, slo es necesario tomar uno de los dos smbolos como primitivo, ya que el otro
puede ser definido a partir de ste y del vocabulario de la lgica proposicional. En general, el smbolo que se
toma como primitivo es el de necesidad. Estas interdefiniciones son paralelas a las de los cuantificadores en
la lgica de primer orden:
Las razones de este paralelismo resultarn ms claras en la seccin de semntica de mundos posibles.

Gramtica

La gramtica nos indica qu secuencias de signos del vocabulario estn bien construidas. A estas secuencias se las
llama frmulas bien formadas. La gramtica de la lgica modal es igual a la de la lgica proposicional, excepto que
aade una regla para los operadores modales, la cual ya fue indicada informalmente en la seccin anterior:

Si es una frmula bien formada, entonces tambin lo es.

Algunos ejemplos de frmulas bien formadas del lenguaje sern, por lo tanto:

Reglas de inferencia[editar]
La regla de inferencia ms propia de la lgica modal se llama N (o regla
de Necesitacin), y dice que si una frmula es un teorema, entonces "es necesario
que " tambin es un teorema. En otros trminos:
Esta regla hay que sumarle, por supuesto, el modus ponens heredado de la lgica proposicional.

Axiomas[editar]
Cules deben ser los axiomas de la lgica modal es algo muy debatido. Diferentes conjuntos de
axiomas permiten demostrar diferentes teoremas, y por lo tanto los axiomas que se eligen muchas
veces dependen de los teoremas que se quieren demostrar, y de la posicin filosfica que se
defiende.
La siguiente es una lista de algunos de los axiomas ms conocidos:
Diferentes combinaciones de axiomas dan lugar a diferentes sistemas de lgica modal. El sistema K (llamado as en
honor a Saul Kripke) es el que menos axiomas utiliza: aparte de los axiomas de la lgica proposicional, el sistema K se
sirve slo del axioma K (no confundir el axioma con el sistema). Por esta misma razn, sin embargo, el
sistema K tambin es el ms dbil de los sistemas, es decir, el que menos teoremas puede demostrar. Sistemas ms
fuertes se construyen agregando axiomas a K. A continuacin hay una tabla con los nombres de los sistemas ms
conocidos y sus axiomas:
Sistema
K
T
S4
S5
B

Axiomas
K
K, T
K, T, 4
K, T, 5
K, T, B

UNA LGICA PLURIVALENTE O LGICA POLIVALENTE es un sistema lgico que rechaza el principio del tercero
excluido de las lgicas bivalentes y admite ms valores de verdad que los tradicionales verdadero y falso.1Distintas
lgicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito.

La lgica dialctica de Hegel[editar]

El acto mismo del conocimiento es la introduccin de la contradiccin. El principio del tercero excluido, "algo o es A o
no es A", es la proposicin que quiere rechazar la contradiccin y al hacerlo incurre precisamente en contradiccin: A
debe ser +A -A, con lo cual ya queda introducido el tercer trmino, A que no es ni + ni - y por lo mismo es +A y -A.
Algo es ello mismo y es otro, porque en realidad todo cambia continuamente y la misma cosa se transforma en otra
cosa. Es una lgica del movimiento, la transicin y la transformacin.