Está en la página 1de 14

ISSN 1988-6047 DEP.

LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009


C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 1

LGICA PROPOSICIONAL
AUTORA
SILVIA BORREGO DEL PINO
TEMTICA
MATEMTICAS. LGICA
ETAPA
UNIVERSITARIA

Resumen
La lgica forma parte de la filosofa, en la que se distinguen dos dimensiones, la dimensin terica y la
prctica, la lgica pertenece a la dimensin prctica, que se ocupa del conocimiento de la realidad.
La lgica es la ciencia que estudia los principios y mtodos para distinguir un razonamiento correcto de
otro incorrecto.
La lgica investiga la relacin de consecuencia que se da entre una serie de premisas y la conclusin
de un argumento correcto. Se dice que un argumento es correcto (vlido) si su conclusin se sigue o es
consecuencia de sus premisas; de otra forma es incorrecto.
La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias
lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad.
Palabras clave
Lgica proposicional
Proposiciones
Conectores
Tablas de verdad
1. INTRODUCCIN
Para resolver multitud de problemas en la vida diaria y para sacar conclusiones o realizar
demostraciones en la cientfica, aplicamos continuamente el razonamiento lgico.
El primer estudio sistemtico del razonamiento lgico se encuentra en Aristteles. En el Organon,
Aristteles trata las reglas del razonamiento silogstico. La lgica aristotlica enuncia las frmulas
lgicas con palabras del lenguaje ordinario. Ms tarde, se abstrajo del lenguaje ordinario,
caracterizndose por unas reglas sintcticas diferenciadas y unas funciones semnticas especiales.







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 2
Posteriormente, se impuso el uso de un lenguaje artificial en el que los signos y palabras estaban
regidos por una sintaxis exacta y tenan semntica estrechamente delimitada y definida tambin
exactamente.
Durante la Edad Media, los escolsticos trabajaron con este tipo de lgica, que sera posteriormente
simplificada por matemticos como Anauld, Leibnitz o Euler.
Ya en el siglo XIX, Boole y De Morgan hicieron aportaciones decisivas relacionadas con esta disciplina.
George Boole cre un sistema de lgica matemtica en su obra The Mathematical Analisis of Logic.
Boole aproxim la lgica en una nueva direccin reducindola a un lgebra simple, incorporando la
lgica en las matemticas. Agudiz la analoga entre los smbolos algebraicos y aquellos que
representan formas lgicas. Su lgebra consiste en un mtodo para resolver problemas de lgica que
recurre solamente a los valores binarios 1 y 0 y a tres operadores: AND (y), OR (o) y NOT (no).
Tras la importante obra de Boole, Peano, Cantor y Hilbert hicieron diversas aportaciones que motivaron
el inters por la lgica matemtica de Russel y Whitehead, que entre 1910 y 1913 publicaron los
Principia Mathematica, formalizando de este modo refinadas tcnicas de la lgica matemtica
contempornea. En su obra, intentaron trasladar las matemticas al rea de la filosofa lgica y dotarlas
de un marco cientfico preciso. Russel y Whitehead muestran que la lgica tradicional, que se apoya en
el Organon de Aristteles, no es ms que un simple fragmento de todo un conjunto y que, definiendo los
nmeros en trminos de clases (nocin eminentemente lgica), resulta posible deducir las matemticas
de la lgica formal de tal manera que entre las dos no hay solucin de continuidad, sino todo un
sistema.
Por ltimo, hay que destacar las aportaciones de Kart Gdel a esta disciplina, demostrando la
consistencia de la hiptesis del continuo de Cantor y enunciando el teorema que establece la existencia
de enunciados y teoremas indecidibles en cualquier sistema lgico.
El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras
que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica
tanto a nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje
formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por
una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos).
La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias
lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad.
2. LGEBRA DE BOOLE DE LAS PROPOSICIONES
2.1. Definiciones y operaciones
Comencemos en primer lugar definiendo los siguientes conceptos:
Trmino es cada parte constitutiva de una expresin, enunciado o discurso. Podemos clasificarlos en
categoremticos, que son aquellos que tienen significado propio e independiente, y en







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 3
sincategoremticos, que son aquellos que no tienen significado propio y se utilizan para modificar o
enlazar trminos categoremticos.
Proposicin lgica es toda agrupacin de trminos de la que se pueda afirmar si su contenido es cierto
o falso. Podemos clasificarlas en atmicas, que son aquellas que no se pueden descomponer en partes
que sean a su vez proposiciones, y carecen del trmino no, y moleculares, si estn formadas por
proposiciones atmicas enlazadas o modificadas por determinados trminos sincategoremticos.
Las proposiciones atmicas se pueden sustituir por smbolos que suelen ser letras minsculas
comenzando por la p; p, q, r, s Dichos smbolos reciben el nombre de variables proposicionales.
Conectores proposicionales son trminos sincategoremticos que se usan para modificar o enlazar
proposiciones. Los ms utilizados son:
Negacin: representa la partcula lingstica no o cualquier otra partcula que incluya la idea de
negacin. Este conector cambia el valor de la verdad de la proposicin que conecta.
Conjuncin: Representa la partcula lingstica y o cualquier otra que indique la idea de unin, como
tambin, igualmente, pero. Este conector da lugar a una proposicin verdadera si las proposiciones
que enlaza son verdaderas y falsa en los restantes casos.
Disyuncin no exclusiva: Equivale a y/o, o sea, que incluye la verdad de los dos enunciados de la
disyuncin o bien slo la de uno de los dos. Al componer dos proposiciones da lugar a una proposicin
falsa si ambas son falsas, y verdadera en los restantes casos.
Disyuncin exclusiva: Expresa la idea que la verdad de un miembro es incompatible con la verdad del
otro: o uno o el otro, pero no los dos. Al componer dos proposiciones da lugar a una proposicin falsa si
ambas tienen igual valoracin y a una proposicin verdadera en caso contrario. Se le llama tambin
adicin booleana.
Condicional: Representa las partculas lingsticas si entonces... o cualquiera otros que indiquen la
idea de condicin, como cuando entonces..., entonces o una simple "coma". La partcula entonces o
equivalente separa el antecedente del consecuente. Al componer dos proposiciones, llamadas
antecedente y consecuente, da lugar a una proposicin falsa si el antecedente es verdadero y el
consecuente es falso, y a una proposicin verdadera en los restantes casos.
Bicondicional: Representa las partculas lingsticas si y slo si o cualquier otra que indique doble
condicin, como equivale, cuando y slo cuando, nicamente. Se trata de una condicin necesaria y
suficiente. Al componer dos proposiciones da lugar a una proposicin verdadera si ambas tienen la
misma valoracin y falsa en los restantes casos.
El conector negacin se llama gondico y los dems didicos.
Los conectores proposicionales tambin se pueden sustituir por smbolos, que reciben el nombre de
signos conectivos o constantes lgicas. As,







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 4
Negacin:
Conjuncin: .
Disyuncin no exclusiva: v
Disyuncin exclusiva: _
Condicional:
Bicondicional:
La simbolizacin de las proposiciones moleculares se obtiene simbolizando las proposiciones atmicas
que la forman y los conectores que las enlazan o modifican. As, la formalizacin de "Si llueve, entonces
la tierra se moja", con p simbolizando "Llueve" y q, "La tierra se moja", ser p q.
Se llama frmula lgica a la expresin simblica que sustituye a una proposicin molecular. Se suelen
utilizar para ellas las letras maysculas como P, Q, R
Operaciones lgicas son transformaciones o enlaces de proposiciones con conectores. Los casos que
se pueden presentar son:
-Composicin de una proposicin atmica con el conector gondico no: p
- Composicin de dos proposiciones atmicas con los conectores didicos: p . q, p v q, p _ q, p q,
p q.
-Composicin de proposiciones con ms de un conector, como por ejemplo: (p q) v p.
Llamamos proposicin contradictoria o contradiccin a una proposicin compuesta que es falsa en
todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples componentes. La
proposicin contradictoria es siempre verdadera por su forma lgica.
Llamamos proposicin tautolgica o tautologa a una proposicin compuesta que es verdadera en todos
los casos, cualquiera que sea el valor de verdad de sus proposiciones simples componentes. La
proposicin tautolgica es siempre verdadera por su forma lgica. La representamos por
T
.
Implicacin lgica es una proposicin condicional tautolgica. Se expresa con el smbolo , que se lee
implica.
Algunas de las tautologas ms utilizadas e interesantes son:
T1 (p . p) - Principio de no contradiccin
T2 p v p - Principio del tercio excluso (tercero excluido)
T3 p p - Identidad
T4 (p . q) p - Eliminacin del conjuntor
T5 (p . q) q - Eliminacin del conjuntor
T6 p (p v q) - Introduccin del disyuntor







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 5
T7 q (p v q) - Introduccin del disyuntor
T8 [(p q) . p] q - Ley del modus ponens (o eliminacin del implicador)
T9 [(p q) . q] p - Contrarrecproco o modus tollens
T10 ( p) p - Eliminacin de la negacin
Una proposicin indeterminada o contingente es una proposicin compuesta que es verdadera en
algunos casos y falsa en otros, dependiendo del valor de verdad de sus proposiciones simples
componentes.
Dos frmulas lgicas P y Q y sus respectivas proposiciones son lgicamente equivalentes si y slo si la
bicondicional P Q es tautolgica.
2.2. lgebra de Boole de las proposiciones
Si F es el conjunto de todas las proposiciones se verifican las siguientes propiedades:
1. Idempotente: p v p = p p . p = p
2. Asociativa: (p v q) v r = p v (q v r) (p . q) . r = p . (q . r)
3. Conmutativa: p v q = q v p p . q = q . p
4. Simplificativa: (p v q) . p = p (p . q) v p = p
5. Complementario: p v p = T p . p = K
6. Distributiva: (p v q) . r = (p . r) v (q . r) (p . q) v r = (p v r) . (q v r)
de donde (F, v, .) es un lgebra de Boole, llamada lgebra de Boole de las proposiciones.
Por supuesto, al ser un lgebra de Boole, se verifican tambin:
7. Elementos absorbentes: p v T = T p . K = K
8. Elementos neutros: p v K = p p . T = T
9. Leyes de De Morgan: (p v q) = p . q (p . q) = p v q
10. De involucin: ( p) = p
3. TABLAS DE VERDAD. PROPIEDADES DE LAS OPERACIONES LGICAS
La tabla de valores de verdad, tambin conocida como tabla de verdad, es una herramienta
desarrollada por Charles Peirce en los aos 1880, siendo sin embargo ms popular el formato que
Ludwig Wittgenstein desarroll en su Tractatus logico-philosophicus, publicado en 1918 por Bertrand
Russell.







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 6
Se emplean en lgica para determinar los posibles valores de verdad de una expresin o proposicin
molecular. O si un esquema de inferencia, como argumento, es formalmente vlido mostrando que,
efectivamente, es una tautologa.
Se suele simbolizar por V o por 1 si la proposicin es verdadera y por F o por 0 si es falsa.
Considerando dos proposiciones A y B, cada una como un todo (sea como proposicin atmica o
molecular) y asimismo cada una con sus dos posibles valores de verdad V (Verdadero) y F (Falso), y
considerando su relacin "$" como variable de cualquier relacin sintctica posible que defina un
conector, podran suceder los casos siguientes:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
A B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F

Las dos primeras columnas de la tabla nos muestran los cuatro casos de combinacin posibles segn el
valor de verdad de A y de B. Tenemos por tanto 4 lneas, y 16 columnas que representan todos los
posibles valores que pueden darse segn se defina un conector cualquiera.
Para cada conector definido con anterioridad tenemos una tabla de verdad. As tenemos:
Negacin ()
A A
V F
F V
Conjuncin (.)
A B A . B
V V V







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 7
V F F
F V F
F F F
Disyuncin (v)
A B A v B
V V V
V F V
F V V
F F F

Disyuncin exclusiva (_)
A B A _ B
V V F
V F V
F V V
F F F

Condicional ()
A B A B







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 8
V V V
V F F
F V V
F F V
Bicondicional (, si y slo si)
A B A B
V V V
V F F
F V F
F F V

Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como
el anlisis de la misma en funcin de las proposiciones que la integran, encontrndonos con los
siguientes casos, definidos anteriormente:
Verdad Indeterminada
Sea el caso: A . (B v C).
Su tabla de verdad se construye de la siguiente manera:
Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de
las proposiciones A, B, C.
Una columna en la que se establecen los valores de B v C segn la definicin del disyuntor.
Una columna en la que se establecen los valores de la conjuncin de la columna en la que estn los
valores de A con valores de la columna B v C, aplicando la definicin del conjuntor a los valores, que
representarn los valores de la proposicin completa A . (B v C).
A B C B v C A . (BvC)







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 9
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

Donde podemos comprobar cundo y por qu la proposicin A . (B v C) es V y cundo es F
Contradiccin
Sea el caso: [(A . B) . (A v B)] . C
Aplicamos la definicin de conjuntor a los valores de A y B. Despus aplicamos la definicin de
disyuntor a los valores de A y B. Aplicamos en la columna siguiente el negador a los valores de la
columna anterior. Aplicamos el conjuntor a los valores de la columna (A . B) con los de la columna ( A
v B). Por ltimo aplicamos el conjuntor a los valores de la columna de C con la columna ltima cuyo
resultado nos da los valores de [(A . B) .( A v B)]/\C
A B C A . B A v B (A v B) (A . B) . (A v B) [(A . B) . (A v B)] . C
V V V V V F F F
V V F V V F F F
V F V F V F F F
V F F F V F F F
F V V F V F F F
F V F F V F F F
F F V F F V F F







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 10
F F F F F V F F
Tautologas
Sea el caso: [(AB).(BC)] (AC)
Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad:
A B C AB BC (AB) . (BC) (AC) [(AB) . (BC)] (AC)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

Por otro lado, a partir de los conectores negacin y disyuncin no exclusiva podemos definir:
- Conector conjuncin: p . q = (p v q)
- Conector condicional: p q = p v q
- Conector disyuncin exclusiva: p _ q = [(pvq) v (p v q)]
- Conector bicondicional: p q = [ ( p v q) v ( q v p)]
4. APLICACIONES AL RAZONAMIENTO MATEMTICO
4.1. Formalizaciones de la teora matemtica
En Matemticas hay tres procesos fundamentales: construir objetos matemticos (modelos
abstractos de objetos fsicos ms o menos complicados o visibles), formar relaciones entre objetos
(aserciones que pueden enunciarse relativas a esos objetos) y demostrar que algunas de estas







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 11
relaciones son verdaderas (sucesin de silogismos por los que a partir de un pequeo nmero de
axiomas puede deducirse de manera lgica una relacin dada).
Una teora matemtica es un conjunto de proposiciones que se siguen segn un esquema de
deduccin lgica a partir de unas afirmaciones que admitimos sin demostracin.
En primer lugar han de introducirse unos conceptos primitivos no susceptibles de definicin. J unto a
ellos se establecen unos postulados o axiomas, proposiciones primeras, que se aceptan sin
demostracin y que enuncian propiedades de los conceptos primeros. En una misma disciplina
pueden darse diversos sistemas de axiomas equivalentes, debido a la arbitrariedad de eleccin, por
lo que no tiene sentido preguntarse si una proposicin puede o no demostrarse si no se especifica el
sistema de axiomas de la teora a la que se refiere. Un sistema de axiomas ha de ser compatible
(sin encerrar contradiccin) e independiente (ninguno de los axiomas, ni una parte de ellos, puede
ser deducido de los dems).
Podemos definir demostracin, prueba, razonamiento o deduccin como el proceso o paso lgico
por el cual de las premisas se llega a la conclusin. La demostracin se dice vlida cuando las
premisas y la conclusin son verdaderas. En caso contrario se dice que es una falacia.
Trminos primitivos son los que se introducen con slo enunciarse, es decir, sin definicin. Trminos
definidos son los que se introducen dando sus propiedades caractersticas.
Un axioma o postulado es una proposicin cuya veracidad se establece por convenio.
Un teorema es una proposicin en la que la conclusin o tesis (T) resulta como consecuencia lgica
de las premisas o hiptesis (H). El paso de H a T es la demostracin.
En Matemticas se dan tres tipos fundamentales de demostraciones:
Demostraciones directas. Son las ms frecuentes. Consisten en razonamientos por los cuales se
puede pasar de la hiptesis a la tesis mediante la consideracin de definiciones, axiomas y
proposiciones anteriormente establecidas, combinadas segn las reglas de inferencia de los
silogismos. Los teoremas que as se demuestran se llaman directos. Si la demostracin es vlida se
dice que son ciertos y que: H es condicin suficiente para que se cumpla T.
T es condicin necesaria para que se cumpla H.
Tambin se escribe H T.
Un teorema se dice recproco de otro dado si sus hiptesis H
1
y tesis T
1
coinciden con las tesis T e
hiptesis H del dado, es decir, H
1
=T y T
1
=H. Si la demostracin del teorema recproco es vlida se
dice que es cierto y que:
H es condicin necesaria para que se cumpla T.
T es condicin suficiente para que se cumpla H.
Es decir, T H.







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 12
La certeza de un teorema no implica la de su recproco, pero en caso de ser ciertos los dos se
puede poner que:
H (o T) es condicin necesaria y suficiente de T (o H), es decir: H T (o T H).
Un teorema se dice contrario de otro dado si tiene por hiptesis (H
2
) y tesis (T
2
) la negacin de las
hiptesis del dado. O sea, H
2
=H, T
2
= T.
Un teorema se dice contrarrecproco de otro dado si tiene por hiptesis (H
3
) y tesis (T
3
) la negacin
de las tesis e hiptesis del primero. O sea, H
3
= T, T
3
=H.
Los teoremas contrario y recproco son mutuamente contrarrecprocos.
Si construimos las respectivas tablas de verdad observaremos que:
(p q) ( q p)
(q p) ( p q)
Es decir, podemos concluir que los teoremas contrarrecprocos son equivalentes, es decir, son
ciertos o falsos simultneamente.
Demostraciones indirectas o por reduccin al absurdo. Se fundan precisamente en la
equivalencia de dos teoremas contrarrecprocos y en las reglas de inferencia. Si se trata de
demostrar un teorema de la forma H T, se parte de suponer H y T, y se trata de llegar a una
contradiccin, es decir una proposicin de la forma (A . A). Esto permite inferir ( T) y de ah el
teorema.
Demostracin por recurrencia o induccin completa. Se fundan en el siguiente principio lgico,
llamado de induccin completa o de recurrencia que consiste en:
a) Comprobar que una ley es cierta para un primer valor de n.
b) Demostrar que si es cierta para un valor cualquiera de n, lo es tambin para el siguiente, n +1.
4.2. Cuantificadores y funciones proposicionales
Una funcin proposicional de una variable es una expresin p(x) que se convierte en una
proposicin cuando se sustituye x por un valor particular arbitrario, elemento del espacio
considerado.
La operacin E.
El conjunto de valores de x para los que p(x) es una proposicin verdadera se designa por el
smbolo E
x
p(x) o por {x|p(x)}.
Por definicin de operacin E, la condicin necesaria y suficiente para que el elemento pertenezca al
conjunto E
x
p(x) es que p(x) sea verdadera, o sea:
a, ae E
x
p(x) p(a)







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 13
Propiedades
1. E
x
[p(x) . q(x)] = E
x
p(x) E
x
q(x)
2. E
x
[p(x) v q(x)] = E
x
p(x) E
x
q(x)
3. E
x
[p(x) . q(x)] =E
x
p(x) E
x
q(x)
4. E
x
(p(x)) =(E
x
p(x))
Consideremos ahora las dos operaciones siguientes entre funciones proposicionales: (-x)p(x), que
se lee existe algn x que satisface p(x), y (x)p(x), que se lee todo x satisface p(x). Estas
operaciones transforman las funciones proposicionales en proposiciones. Los smbolos de estas
operaciones se llaman cuantificadores existencial y universal, respectivamente.
Propiedades
1. [(-x)p(x) v (-x)q(x)] (-x) [p(x) v q(x)]
2. (-x) [p(x) . q(x)] [(-x)p(x) . (-x)q(x)]
3. [(x)p(x) . (x)q(x)] (x) [p(x) . q(x)]
4. [(x)p(x) v (x)q(x)] (x) [p(x) v q(x)]
5. (x)p(x) (-x)p(x)
6. [(x)p(x)] (-x)( p(x))
7. [(-x)p(x)] (x)( p(x))
Una funcin proposicional de dos variables sobre los espacios X e Y es lo mismo que una funcin
proposicional de una variable sobre el producto cartesiano XxY.
Sea p(x,y) una funcin proposicional de dos variables. Entonces -y p(x,y) y y p(x,y) sern
funciones de una sola variable, en este caso la x.
Propiedades
1. (-x)(-y)p(x,y) (-y)(-x)p(x,y)
2. (x)(y)p(x,y) (y)(x)p(x,y)
3. (-x)( y)p(x,y) (y)(-x)p(x,y)
En el caso particular de coincidir los espacios X e Y, resulta:
4. (x,y)p(x,y) (x)p(x,x) (-x)p(x,x) (-x,y)p(x,y)
Los anteriores razonamientos pueden generalizarse al caso en que haya ms de dos variables,
hablndose anlogamente de funciones proposicionales de n variables definidas sobre uno o varios
espacios.







ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009
C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 14
5. CONCLUSIN
Cuando se formulan sistemas o modelos matemticos se pretende realizar una representacin
abstracta de determinados fenmenos reales. El desarrollo formal matemtico comienza por la
identificacin de determinados conceptos con los fenmenos o situaciones particulares que se
pretenden estudiar. Partiendo de esos conceptos o nociones iniciales, se enuncian un sistema de
axiomas relacionados con ellos. Dichos axiomas son enunciados admitidos como ciertos y que no
pueden demostrarse dentro del sistema. A partir del sistema de axiomas pueden deducirse
diferentes teoremas, consecuencias lgicas del sistema de axiomas.
La lgica matemtica eleva a grado de mximo la abstraccin matemtica. De este modo, estudia
los sistemas lgicos y proposicionales sin tener en cuenta su posible representacin de fenmenos
de naturaleza real.
Es interesante reflejar que la ltima Revolucin Lgica incorpora la fusin entre matemticas y
computacin. Las computadoras tienden a explorar datos inteligentemente, transfiriendo informacin
de las bases de datos a las bases de conocimiento interconectadas a travs de la Red a escala
infinitesimal.
La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que nace del
rigor formal de la Matemtica griega, emerge renovadamente de etapas de persecucin tan oscuras
como la Edad Media y otros intentos ms recientes hasta el intercambio constante y continuo de
datos en la moderna era de estructura de redes que Internet proporciona a modo neuronal a la
Humanidad.
6. BIBLIOGRAFA
Burgos, A. (1983). Iniciacin a la lgica matemtica. Madrid: Selecciones cientficas.
Ferrater Mora, J . (1975). Lgica matemtica. Mxico: Fondo de cultura econmica.
Garrido, M. (1998). Lgica simblica. Madrid: Tecnos.
Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison- Wesley.
Lipschutz, S. (1985). Teora de conjuntos y temas afines. Mxico: Mc. Graw Hill. Serie de
Compendios Schaum
Autora
Nombre y Apellidos: SILVIA BORREGO DEL PINO
Centro, localidad, provincia: I.E.S. NGEL DE SAAVEDRA. CRDOBA. CRDOBA
E-mail: DEPIS79@HOTMAIL.COM