Você está na página 1de 13

INTRODUCCION AL ALGEBRA.

1- LOGICA SIMBOLICA.

Apuntes de la Ctedra.

Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Para mensajes: alberto_serritella@yahoo.com.ar Edicin Previa CECANA CECEJS CET Junn 2009. UNNOBA Universidad Nacional de Noroeste de la Pcia. de Bs. As.

LOGICA SIMBOLICA: Un resumen. Durante el desarrollo de la materia utilizaremos algunos smbolos y formas de escrituras tomadas de la lgica simblica. Comenzaremos introduciendo dichos smbolos como si se tratara de abreviaturas, luego aclararemos algo ms su significado y las formas en que sern usados. Smbolo: Se lee: No y o Implica Equivale Existe Para todo Uso p p q p q p q p q x : P( x ) x : [ P ( x ) Q ( x ) ] Denominacin: Negacin Lgica Conjuncin Disyuncin Inclusiva Implicacin Equivalencia Cuantificador Existencial Cuantificador Universal

Tenemos que comenzar recordando al menos, el significado de cada smbolo, o sea, las dos primeras columnas. La ltima columna nos suministra la denominacin acadmica del smbolo. Como quien dice su nombre elegante. Aunque no le prestemos atencin es probable que al final la terminemos recordando. Aunque no es imprescindible nos resultar de mucha ayuda llegar a entender la tercer columna de la tabla (uso). Lo intentaremos. Comenzaremos con un anlisis reducido, luego lo ampliaremos. Las letras p y q que figuran en dicha tercer columna representan afirmaciones, es decir, frases que aseguran algo. (el nombre correcto es: proposiciones) Ejemplos de posibles afirmaciones que podran representar p o q: p = la manzana es roja q = la manzana es redonda Si tal fuera el caso entonces sera: p = No la manzana es redonda = La manzana no es redonda p q = La manzana es roja la manzana es redonda = La manzana es roja y la manzana es redonda = La manzana es roja y redonda Ejercicio: a) Traducir:

pq ; pq ; pq

q = canto b) Si los significados de p y q fueran: p = camino Traducir: p ; p q ; p q ; p q ; p q

c) Hacer lo mismo si los significados de p y q fueran: p = Juan es hijo de Mara q = Juan es hermano de Pedro d) e)

p = Llueve p = Estudio

q = Hay nubes q = Apruebo

Utilizar los smbolos que hemos visto nos puede parecer una complicacin. Es cierto que en lugar de emplearlos podramos usar palabras. Pero los smbolos tienen la ventaja de poder escribir todo mucho ms sencillo, ms sinttico. Y abarcar ms cosas en su solo golpe de vista. En realidad las matemticas son una forma de decir con pocos smbolos lo que nos llevara muchas palabras. Y sabemos que cuando hay muchas palabras las ideas se suelen volver oscuras y confusas. Son necesarias un montn de aclaraciones: por ejemplo que en el lenguaje cotidiano hay muchas formas de decir lo mismo. Por tal motivo analizaremos a continuacin ms en detalle cada uno de los smbolos y sus usos.

Proposiciones:
Muchas veces en la vida cotidiana hacemos afirmaciones simples: Ejemplo: La remera de Vanesa es verde. A este tipo de afirmaciones simples las llamaremos: proposiciones. Por comodidad las simbolizaremos con una letra. p = La remera de Vanesa es verde. Otros ejemplos de proposiciones: q = Camino ( Es una abreviatura de: Yo camino )

r = Juan es el padre de Pedro s = Existen manzanas verdes t = Todo cambia u = El agua de mar tiene 3 % de sales Todas las proposiciones vistas son simples. Pero a partir de proposiciones simples se pueden elaborar otras compuestas. Comencemos con el caso ms sencillo:

Negacin Lgica:

A partir de una afirmacin simple (proposicin) se puede se puede generar una nueva proposicin realizando la afirmacin contraria. Esta nueva afirmacin (que no la consideraremos simple) la llamaremos negacin lgica: no p = no La remera de Vanesa es verde. Este " no " lo simbolizaremos con: ~ : ~ p = La remera de Vanesa no es verde. Otros ejemplos: p: la remera de Solange es verde ~ p: no la remera de Solange es verde = La remera de Solange no es verde. q: llueve ~ q : no llueve

Conjuncin:
Hay otras formas de generar proposiciones compuestas a partir de proposiciones simples: p = La remera de Vanesa es amarilla q = El pantaln de Vanesa es blanco La remera de Vanesa es amarilla y su pantaln es blanco. O sea: La remera de Vanesa es amarilla y El pantaln de Vanesa es blanco pyq Para no dejar dudas sobre este uso del y utilizaremos el smbolo: p q = La remera de Vanesa es amarilla y su pantaln es blanco. Diremos que una afirmacin compuesta de este tipo es una conjuncin lgica. p V V F F q p q V V F F V F F F Esta lnea caracteriza esta tabla

Disyuncin Inclusiva:
El smbolo: usualmente es interpretado como o. A las proposiciones compuestas formadas conectando proposiciones con un las llamaremos disyunciones inclusivas. p V V q V F p q V V

F F

V F

V F

Esta lnea caracteriza esta tabla

Disyuncin Exclusiva:
Pero hay otro significado para el o: Un chico puede decir al padre: Pap quiero ir al cine y a la cancha. Y el pap le dice: No, vos vas a ir al cine a la cancha. Es evidente que le prohibe ir a la vez al cine y a la cancha. Es decir: una alternativa excluye la otra. Cuando en el lenguaje corriente utilizamos " o " con este significado solemos acentuarlo levemente. El uso del " o " aqu descripto recibe el nombre de: disyuncin exclusiva. es usualmente interpretado como " " (exclusivo). pq p q p q p q

V V F V F V Esta es una de las lneas que caracteriza esta tabla F V V Esta es la otra lnea que caracteriza esta tabla F F F Resulta ser V cuando las proposiciones son una V y la otra F.

Implicacin:
El smbolo es usualmente interpretado como: " Implica ". A partir del hecho de que: Llueve razonando concluyohay nubes (aunque no pueda ver el cielo). Llueve implica nubes Llueve nubes La forma usual en nuestro lenguaje habitual es: Si llueve entonces hay nubes. Cuando una proposicin compuesta es formada con el smbolo recibe el nombre de implicacin. p q p q

V V F F

V F V F

V F V V

Esta lnea caracteriza esta tabla

Son admisibles los siguientes casos: Que llueva (V) y haya nubes (V): V Que no llueva (F) y haya nubes (V): V Que no llueva (F) y no haya nubes (F): V El nico caso que no puede darse es: Que llueva (V) sin nubes (F): F
Antecedente y Consecuente:

En una implicacin: p q la primer proposicin se suele decir que es el antecedente. y la segunda el consecuente. Antecedente Consecuente

Equivalencia:
El smbolo: se lo interpreta como: " equivale ". Estudiar equivale a aprobar Estudiar aprobar Una proposicin compuesta formada de esta manera recibe el nombre de equivalencia.
p q p q V V V Esta es una de las lneas que caracteriza esta tabla V F F F V F F F V Esta es la otra lnea que caracteriza esta tabla Esta tabla de la equivalencia es lo contrario de la tabla de la disyuncin exclusiva. Resulta ser V cuando las proposiciones son ambas V o ambas F.

En nuestro lenguaje usual las afirmaciones como la anterior suelen expresarse as: -Apruebo cuando y slo cuando estudio. En un lenguaje algo ms " matemtico " diremos: -Apruebo si y slo si estudio. Y en un lenguaje que suena fuertemente a cientfico: -Estudiar es una condicin necesaria y suficiente para aprobar.

Esta ltima variante nos resulta algo extraa. Como la utilizaremos a menudo aclararemos mejor su significado.

Condiciones necesarias - Condiciones suficientes:


Segn nuestros conocimientos consideramos que la existencia de nubes es una condicin necesaria para que llueva. Pero si llueve ello es suficiente para que razonando podamos concluir que hay nubes. Llueve nubes Condicin suficiente Condicin necesaria Veremos luego que una equivalencia es una puede ser vista como una doble implicacin, una implicacin de " ida y vuelta ": p q es lo mismo que: ( p q ) ( q p ) p q p q Por lo tanto como q p p es una condicin necesaria para q pero como tambin p q a la vez p es una condicin suficiente para q. Por tal razn cuando p q diremos que p es una condicin necesaria y suficiente para q. Recprocamente: q es una condicin necesaria y suficiente para p. ; o sea:

El concepto de variable en Lgica y Matemticas: El concepto de variable es el de un casillero vaco: x = As la expresin: 2 ) 5 f ( x ) = x 2 + 5 x + 3 tiene el significado f ( = + +3 La regla es que siempre que escribimos algo en un casillero debemos escribirlo tambin en todos. Si ponemos un 2 en el casillero debemos escribirlo en todos. 2 2 f ( 2 ) = 2 + 5 2 + 3 = 2 + 5 2 + 3 = 4 + 10 + 3 = 17 Si hubiera dos variables: f ( x; y ) = x 2 + y 3 3 y se nos crea el problema de diferenciar los casilleros. Podramos unir con un trazo los que deben ser llenados en forma simultnea, pero para ms de dos variables sera muy confuso. Una solucin es ponerles nombres a los casilleros. Por ejemplo a unos casilleros lo llamamos Pedro y a los otros Mara: 2 3 f ( ; Pedro Mara ) = Pedro + Mara 3 Mara En los casilleros Pedro podemos colocar un nmero y en los Mara otro. Pero tambin como nombres le podemos poner una simple letra, por ejemplo x e y, x como alias de Pedro e y como sobrenombre de Mara: 2 3 f ; =+ y x y x y 3

La regla ser que siempre que escribimos algo en un casillero debemos escribirlo tambin en todos los que tengan el mismo nombre. Tomando x = 2 ; y = 3
f 2 x ;3 y = 2 x + 3 y 3 3 y
2 3

f ( 2;3) = 2 + 3 3 3
2 3

Volviendo al primer ejemplo con una sola variable podemos tambin ponerle nombre a los casilleros como acabamos de hacer con ms variables: x = x As la variable La expresin:

es un casillero vaco que lleva " x " como nombre.

2 f ( x ) = x 2 + 5 x + 3 tiene entonces el significado: f ( ) =+5 x +3 x x

La regla seguir siendo que siempre que escribimos algo en un casillero debemos escribirlo tambin en todos los que tengan el mismo nombre. (en este caso todos tienen el mismo nombre). Si ponemos un 2 en el casillero x debemos escribirlo en todos.

f ( 2 x ) = 22 + 5 2 x + 3 = 22 + 5 2 + 3 = 4 + 1 0 + 3 = 1 7 x

Funciones Proposicionales: Debe observarse que entre los ejemplos de afirmaciones (proposiciones) vistas hubo casos como el de la manzana es roja que es una frase en la que se dice que algn objeto tiene alguna propiedad o caracterstica (El objeto manzana tiene la propiedad de ser roja). Tambin podra haber sido alguna caracterstica de una persona. (Pablo es inteligente). Pero tambin vimos como ejemplo el caso de afirmar que alguien est realizando algo (camino) o de relaciones entre objetos o personas (Juan es el hijo de Mara). Vemos entonces que las afirmaciones pueden tener distintos tipos de estructuras internas. Son afirmaciones con una estructura similar: La manzana es roja La uva es roja El durazno es rojo En general estamos afirmando de algo determinado que es rojo. O sea: x es rojo. Podra simplificar la expresin diciendo: Rojo (x) o simplemente: R (x) Pero tenemos que saber quien es el x para poder decir si la afirmacin es verdadera o falsa. Las tres afirmaciones anteriores suenan a verdaderas, pero en cambio: R(limn) = El limn es rojo Se nos antoja falso. Llamaremos funciones proposicionales a las expresiones del tipo: P(x) Q(x) En las cuales se asigna una caracterstica P (o Q ) a elementos no explicitados. Las funciones proposicionales se convierten en proposiciones cuando las variables se reemplazan por constantes . Pero no es la nica forma. Los operadores: y nos suministran otros caminos de analizar internamente las afirmaciones y convertir las funciones proposicionales en proposiciones.
x : P ( x ) = Existen objetos x que tienen la propiedad P x : Q ( x ) = Todos los objetos x tienen la propiedad Q

( )

( )

Ejemplo:
P ( x ) = x es un ser humano x : P ( x ) = existen seres humanos

Cuantificador existencial:
El smbolo: tiene el significado de: Existe y recibe el nombre de Cuantificador Existencial. Hay nubes Existen nubes Existe x : x es nube. x: N(x)

Cuantificador universal:
El smbolo tiene el significado de: para todo y recibe el nombre de cuantificador universal. Usualmente suele ser utilizado delante de proposiciones compuestas, siendo lo lo ms comn que dichas afirmaciones compuestas sea implicaciones. Es muy comn que el operador aparezca junto con el smbolo . Es que no es fcil realizar afirmaciones simples acerca de todo. Ej: " Todos los enamorados tienen mariposas en sus ojos " = Para todo x: Si x est enamorado/a entonces x tiene mariposas en sus ojos. E(x) = x est enamorado/a M(x)= x tiene mariposas en sus ojos. x:[ E (x) M (x)] E ( x ) = x est enamorado (o enamorada) M ( x ) = x tiene mariposas en los ojos. x : [ E ( x ) M ( x ) ] = x : [ x est enamorado/a x tiene mariposas en los ojos ] = = Todos los enamorados tienen mariposas en sus ojos Lo que ocurre es que en estos casos el cuantificador universal est siendo aplicado a una funcin proposicional compuesta del tipo: H ( x) = [ E ( x) M ( x) ] x : H ( x) = x : [ E( x) M ( x) ] o sea: Veremos ms adelante algunas reglas de razonamiento con cuantificadores. Un clsico: Todos los hombres son mortales. Todos los griegos son hombres. Por lo tanto: Todos los griegos son mortales. x:[ H(x) M(x)] Todos los hombres son mortales. x:[ G(x) M(x)] Todos los griegos son hombres. --------------------------- x:[G(x) M(x)] Todos los Griegos son mortales. Una variante tambin clsica: x:[ H(x) M(x)] Todos los hombres son mortales. H(s) Scrates es hombre. -------------------------M(s) Scatres es mortal.

Reglas de Inferencia: De las lneas superiores se deduce la que est debajo del trazo: _____ en cada uno de los casos.

1) MODUS PONENS: M.P.

p q p q p q

2) MODUS TOLLENS: M.T.

q p

p q

3) SILOGISMO HIPOTTICO: S.H.

q r p r p q p q

4) SILOGISMO DISYUNTIVO: S.D.

( p q) ( r s)
5) DILEMA CONSTRUCTIVO: D.C.

p r q s

6) ABSORCION: Absr: 7) SIMPLIFICACION: Simp.

p q p p q

pq p

8) CONJUNCIN: Conj.

q p q
p pq

9) ADICIN: Ad.

Reglas de Reemplazo: Las siguientes expresiones separadas por:

pueden reemplazarse mutuamente:

10) TEOREMAS de DE MORGAN: De M. p ) p q ( q a) b)


p ) p q ( q

11) CONMUTACIN: Conm. a)


p q q p

b)

p q q p

12) ASOCIACIN: Asoc. ) ( a) (


p q

p q r r

b)

(p

) r

p q ( r

13) DISTRIBUCIN: Dist. ( ) ( ) a)


p q r p q

( p ) r

b)

p q ( r

) p (

) p (

14) DOBLE NEGACIN: D. N. 15) TRANSPOSICIN: Transp. 16) DEFINICIN DE IMPLICACIN: Imp.

p p

p p q q

p p q q

17) DEFINICIN DE EQUIVALENCIA: Equiv. ( ) ( ) a)


p p q q q p

b)

p p ) q ) q ( q ( p

18) EXPORTACIN: Expor. 19) TAUTOLOGA: Taut.

(p

) p r

) (q r

p p p

Reglas de Inferencia Cuantificada: De la lnea superior de cada caso se deduce la inferior; pero se debe conservar en el contexto como fue ejemplificada cada variable. 20) EJEMPLIFICACIN UNIVERSAL: E. U.
x : P( x ) P( z )

Las variables ejemplificadas universalmente admiten ambas generalizaciones. Es posible usar una misma variable en ms de una G.U. o variables empleadas en E.E. 21) GENERALIZACIN UNIVERSAL: G. U.
P( z ) x : P( x )

Slo se puede generalizar universalmente lo ejemplificado universalmente. 22) EJEMPLIFICACIN EXISTENCIAL: E. E.


x : P ( x) P (u )

Las variables ejemplificadas existencialmente solo se pueden generalizar existencialmente No es posible utilizar una misma variable en ms de una E.E. 23) GENERALIZACIN EXISTENCIAL: G. E.
P (u ) x : P ( x)

Cualquier variable ejemplificada o cualquier constante se puede generalizar existencialmente 24) EJEMPLIFICACIN CONSTANTE: E. C. Son variantes de las ejemplificaciones E.U. y E.E. a)
x : P ( x) P (c )

En este caso es posible usar ms de una vez la misma constante.

b)

x : P ( x) P (c)

En este caso no se puede usar ms de una vez la misma constante.

Las constantes no se pueden generalizar universalmente. La aclaracin hecha de que se debe conservar en el contexto la informacin de cmo fue ejemplificada una variable significa adoptar algn tipo de convencin del tipo de usar letras del comienzo del abecedario (a, b, c, d) para las constantes, del final (x, y, z) para las variables ejemplificadas universalmente y del medio o casi del medio (u, v) para las ejemplificadas existencialmente. Otra forma, menos usada pero ms precisa, sera colocar cuantificadores como subndices a las variables provenientes de E.U. ( x, z ) o E.E. ( x, u ). Reglas de Reemplazo Cuantificado: 25) NEGACIN DE LA CUANTIFICACIN UNIVERSAL:
x : P (x ) x : (x ) P

N. U.

26) NEGACIN DE LA CUANTIFICACIN EXISTENCIAL: N. E.


x : P (x ) x : (x ) P

Alberto Serritella, 2009. aserritella@unnoba.edu.ar

Para Mensajes: alberto_serritella@yahoo.com.ar