El objetivo de este cap tulo es entender, manejar, comprender y usar el lenguaje bsico a que se utiliza en el curso.

Aunque en rigor, los tpicos de este cap o tulo, constituyen los fundamentos de la matemtica, el enfoque apunta a una comunicacin cuidadosa, precisa a o y su utilizacin en ingenier o a. Lgica Proposicional o En esta seccin los conceptos bsicos son tres: o a Proposicin, valor lgico V ( 1 ) y valor lgico F ( 0 ) o o o o o 1. Denicin: Proposicin: Una proposicin es una armacin (o juicio) la que o o o o puede ser totalmente verdadera o totalmente falsa. Por lo tanto, cada proposicin o debe tener un slo valor lgico (V F ). Hay que notar que en lugar de las exo o o presiones valor lgico V y valor lgico F podr o o amos usar las palabras verdadero o falso. Sin embargo, los conceptos de verdadero y falso slo tienen sentido cuando o aplicamos la lgica a un modelo y slo bajo ste modelo (por ejemplo, armaciones o o e que son verdaderas en la Geometr Euclideana, resultan falsas en otras geometr a as y vice-versa). Las proposiciones se identican mediante letras minsculas, por ejemplo: p, q, r, s, t, u etc.

p: cuatro es mayor que cuarenta(F) q: en todo tringulo, la suma de los ngulos interiores es 180 (V). a a Expresiones tales como: qu bonito, 3 x2 1 + 10m + y no son proposiciones, e pues no es posible asignarles un valor lgico. o 2. Proposiciones compuestas: Dadas dos o ms proposiciones, ellas se pueden a modicar, unir o combinar formando una nueva proposicin, esta recibe el nombre o de proposicin compuesta (donde hay ms de una proposicin involucrada). Para o a o unir o combinar proposiciones se denen los conectivos lgicos, donde cada coneco tivo lgico tiene asociada su respectiva tabla de valores lgicos. o o Las operaciones entre las proposiciones constituyen la base de un lgebra de a proposiciones, donde estas operaciones quedan denidas a travs de sus tablas e e de valores lgicos. As si p no es una proposicin dada, su negacin: p (tambin o , o o se anota p) que se lee: no p (ver tabla 1.1). p p V F F V TABLA 1.1
ww w.

at e

at

Ejemplos simples de proposiciones:

ic a

1.c

om

o o El signicado de esta tabla es simple: si p es una proposicin con valor lgico V ( F) entonces su negacin es una proposicin con valor lgico F ( V) o o o o o 3. Observaciones: 1) Los s mbolos , , y se denominan conectivos lgicos. o 2) Dadas dos o ms proposiciones, con sus correspondientes valores lgicos, dena o tro de un modelo, la proposicin compuesta que resulta al combinarla usando o uno de los conectivos lgicos tiene un valor lgico que se determina usando o o las tablas 1.1 y 1.2. Para ejemplicar lo dicho anteriormente, consideremos las proposiciones siguientes: p : cinco es mayor que diez q : dos ms dos son cuatro a Entonces las proposiciones p, p q, etc., son: p :cinco no es mayor que diez (en vez del ininteligible no cinco es mayor que diez) p q :cinco es mayor que diez o dos ms dos son cuatro (o ambas) a p q: cinco es mayor que diez y dos ms dos son cuatro a p q: si cinco es mayor que diez, entonces dos ms dos son cuatro. a p q: cinco es mayor que diez si y slo si dos ms dos son cuatro. o a Puesto que p es falsa y q verdadera, los valores de verdad de las nuevas proposiciones son, respectivamente: verdadera, verdadera, falsa, verdadera, falsa. 3) De la columna que dene la disyuncin es claro que sta no tiene el sentido o e usual dado en el lenguaje corriente, sino que corresponde el y/o. 4) Tal como ocurre en el lgebra de nmeros, con estas operaciones podemos a u formar proposiciones de compleja estructura, como ser (p q) r, [(p q) r] p (los parntesis tienen un objetivo obvio). e Aunque sus lecturas pueden ser complicadas, no lo son sus evaluaciones. Si a las proposiciones p, q anteriores adicionamos una tercera, r: nueve es menor que catorce, entonces [(p q) r] p es una proposicin falsa, segn lo o u obtenido en el siguiente esquema:
ww w.
.c om

at

em

[(p q) r] p F V F V
F

at ic

a1
V

5) Si en cambio, p, q, ..., r son s mbolos que no denotan proposiciones espec cas, entonces llamaremos a cualquiera expresin nita que se pueda construir o con estos s mbolos una forma proposicional . Cada forma proposicional tiene asociada una tabla de valores lgicos que puede ser evaluada paso por paso o usando las tablas 1.1 y 1.2. Dichas tablas contendrn columnas con 2n valores lgicos, donde n es el nmero de s o u mbolos que denotan proposiciones y que aparecen en la forma (Verif quelo) 6) Para el caso de las disyunciones, se tienen el siguiente resultado, que el estudiante puede vericar: si p1 , p2 , ..., pn son proposiciones dadas, entonces i) p1 p2 ... pn tiene valor lgico V si al menos una de las proposio ciones dadas tiene valor lgico V ; su valor lgico es F si todas son o o

proposiciones falsas. ii) p1 p2 ... pn tiene valor lgico V si todas las proposiciones son o verdaderas y su valor lgico es falso si al menos una de las proposiciones o es falsa. 4. EQUIVALENCIA LOGICA: En todo sistema algebraico se necesita denir una relacin que establezca bajo cules condiciones dos entes son, para los efectos de la o a teor en cuestin, esencialmente iguales. Tal es, por ejemplo, la relacin de iguala o o dad en lgebra elemental y la equivalencia en lgica proposicional, que deniremos a o a continuacin. o Sean A y B dos formas proposicionales en los s mbolos: p, q, ..., r. Diremos que A y B son equivalencias si obtienen los mismos valores lgicos (tienen la misma o tabla de valores lgicos) para cualquier sustitucin de los s o o mbolos p, q, ..., r por proposiciones; en este caso escribiremos: AB Las restantes operaciones se denen a travs de la tabla 1.2 de valores lgicos. e o En las dos primeras columnas estn tabuladas todas las combinaciones posibles de valores lgicos que se pueden formar con dos proposiciones dadas p y q, mientras o que las cinco columnas restantes denen las operaciones. p V V F F q p q p q p q p q p q V V V F V V F F V V F F V F V V V F F F F F V V
w.

Los nombres de las operaciones recin denidas y la forma de traducir a palabras e las proposiciones compuestas que resultan son las siguientes: Operacin o p q pq pVq pq pq Nombre Conjuncin o Disyuncin inclusiva o disyuncin exclusiva o implicacin o Doble implicacin o Puede leerse pyq p o q, o ambas p o q, pero no ambas p implica q (si p entonces q) p si y slo si q o

5. TAUTOLOG IAS Y CONTRADICCIONES: Dadas dos formas proposicionales equivalentes A y B, resulta de inmediato que la forma A B obtendr el a valor lgico V para cualquier sustitucin de los s o o mbolos correspondientes por proposiciones. En razn de la importancia de estas formas proposicionales, se o les ha dado un nombre: tautolog as. Es decir, una forma proposicional es una tautolog si obtiene el valor lgico V para cualquier sustitucin de sus s a o o mbolos por proposiciones. En forma natural, lo anterior nos lleva a considerar las formas proposicionales que obtienen el valor lgico F , para cualquier sustitucin de sus o o s mbolos por proposiciones. A estas formas las llamaremos contradicciones , en caso contrario, si no es tautolog ni contradiccin se le llama una contingencia. a o Es claro que todas las tautolog son equivalentes y, tambin todas las contradicas e ciones son equivalentes. Por esta razn y dada la importancia de estar formas o

ww

at

em

TABLA 1.2

at

ic

a1

.c o

mbolo para denotarlas y ese s mboproposicionales, resulta conveniente tener un s lo es . 6. LEYES FUNDAMENTALES DEL ALGEBRA DE PROPOSICIONES: Estamos, ahora, en condiciones de establecer las leyes bsicas junto con la equia valencia: (p q) (p q) que muchos textos dan como denicin de la implicacin o o lgica, , nos permitirn obtener los valores lgicos de las formas proposicionales o a o mediante manipulacin algebraica , sin utilizar tablas de valores lgicos (ver ejero o cicios resueltos 4 al 11). Leyes fundamentales Identidad : Idempotencia : Involucin : o Complemento : Conmutatividad : Asociatividad : Distributividad : Leyes de Morgan :
ww

(p V ) p, (p F ) F, (p p) p, (p) p F V, (p p) F,

(p F ) p (p V ) V (p p) p

V F (p p) V

(p q) (q p) , (p q) (q p) , (p q) (q p)

7. OBSERVACIONES Reglas de sustitucin. Distintos autores, dan este nombre a distintas reglas de o derivacin algebraica en la lgica proposicional. Mostraremos aqu dos de ellas: o o i) Sean A y B dos formas proposicionales equivalentes; entonces podemos armar que: A B, (A C) (B C) y (A C) (B C). ii) Sean A(p1 , ..., pi , ..., pn ) y B(p1 , ..., pi , ..., pn ) dos formas proposicionales equivalentes en los s mbolos p1 , ..., pi , ..., pn . Si cualquiera de los s mbolos pi , i = 1, ..., n, es sustitu do, uniformemente, por una forma proposicional C dada, entonces las nuevas formas: A(p1 , ..., C, ..., pn ) y B(p1 , ..., C, ..., pn ) son tambin equivalentes. e As por ejemplo, podemos escribir: [(p q) (r s)] [(p q) (r s)] En este caso estamos eximidos de construir tablas de valores lgicos (que teno drn 16 las) para vericar la equivalencia: basta darse cuenta que se trata a de un caso particular de una de las leyes de Morgan con p q en lugar de p, y, r s en lugar de q.

w.

(p q) (p q), (p q) (p q)

at

em

[p (q r)] [(p q) (p r)], [p (q r)] [(p q) (p r)]

at

ic

a1

[p (q r)] [(p q) r], [p (q r)] [(p q) r]

.c

om

o mos listas de las equivalencias y tautolog as Para terminar este seccin, inclu bsicas ms utilizadas, numeradas de manera que podamos referirnos a ella a a en problemas y ejercicios posteriores. 8. EQUIVALENCIAS 1. (p q) (p q) (Def. de ) 2. [p (p q)] p (Absorcin) o 3. [p (p q)] p (Absorcin) o 4. [p (p q)] (p q) 5. [p (p q)] (p q) 6. (p q) (q p) 7. (p q) [(p q) F ] 8. [(p q) r] [p (q r)] 9. [(p q) r] [(p r) q]

NOTA: Las equivalencias 6 y 7 son de gran importancia en las demostraciones de teoremas en Matemtica, como se vern ms adelante. a a a 9. TAUTOLOG IAS: 1. p p 2. p p 3. (p q) p 4. p (p q) 5. [p (p q)] q 6. (p q) [p (q r)] 7. (p q) [(p r) q] 8. [(p r) q] (p q)] 9. [p (q r)] (p q)

ww

13. [(p q) r] [(p r) (q r)]

w.

at

12. [(p q) r] [(p r) (q r)]

em

at

11. [p (q r)] [(p q) (p r)]

ic

a1

10. [p (q r)] [(p q) (p r)]

.c o

10. (p q) [(p r) (q r)]

M at

11. (p q) [(p r) (q r)] 12. [(p q) (q r)] (p r)

ww w.

em

at ic

a1

.c

om

PROBLEMAS RESUELTOS: 1. Si p es una proposicin verdadera, q una proposicin falsa y r una proposicin o o o cualquiera, determinar el valor de verdad de: a) (p q) q; b) (p q) q c) (p q) (p q) d) q r p r Solucin: o a) b) p q V F p q V F p q V F p q (p q) q F F p q ((p q) q V F p q p q (p q) (p q) F V F q r q r p r p r p r q r p r V F F F F V V F V F V V F F

c)

a) (p q) (p q) b) p (p q)

c) (p q) (q p) Solucin: o p V a) V F F p V b) V F F p V c) V F F q V F V F q V F V F q V F V F p q V F F F q p q (p q) (p q) F V V V V V F F V V V V

p q p (p q) V V F F F F F V p q p q q p (p q) (q p) V F F V V F F V F V V V F V V V V V V V

ww w.

2. Determinar cules de las siguientes formas proposicionales son tautolog a as:

at e

p q r d) V F V V F F

at ic

a1

.c

om

as Luego son tautolog las formas a) y c). 3. Considere el conectivo lgico *, denido por la tabla de valores lgicos sio o guiente: p q p*q V V F V V F V F V V F F Determinar si la forma proposicional: [(p q) q] [(p q) q] es una tautolog a. Solucin: o p q q p q (p q) q p q (p q) q V V F V V F V F F V F V F V V V F V F V F V V F V F F V (p q se lee: p incompatible con q). Como los valores lgicos de (p q) q y de (p q) q coinciden, la forma o proposicional es una tautolog a. 4. Se denen los conectivos lgicos o (p q) (p q) (p q) (p q)
ww w.

em

at ic
y

Vericar (sin el uso de tablas de verdad) que se cumple: a) p (p p) b) (p q) p q c) (p q) (p q) Solucin: o a) (p p) (p p) p (p q) (p p) pq (p q) (p q) (p q) pq [Def in. [Idempot. [Def in. [M organ [Involuc. [Def in. [Involuc.

b)

c)

at

a1

.c

del modo siguiente:

om

5. Verique que : [p (p q)] p q Solucin: o p (q q) (p p) (p q) V (p q) pq

[Distribut. [Complement. [Identid.

6. Verique que : [(p q) q] (p q) Solucin: o (p q) q q (p q) [Conmutat. q (q p) [Conmutat. qp [Ej,5(p por q, q por p) pq [Conmutat. 7. Verique que: [p (p q)] p Solucin: o p (p q) (p p) (p q) p (p q) p 8. Simplicar: p p. Solucin: o pp pp p 9. Demostrar que : Solucin: o p (p q)

[Identid. [Distribut. [Identid.

Def. Idempot.

p (p q) es una tautolog a. p (p q) (p p) q V q V [Def. [Asociat. [Complem. [Identid.

.c om

10. Demostrar que : [p (p q)] q es una tautolog a. Solucin: o [p (p q)] q [p (p q)] q [Def. [Def. [p (p q)] q [M organ, Invol. [p (p q)] q p [(p q) q] [Asociat. p (p q) [Ej,6. [Asociat. (p p) q V q [Complem. V [Identid. 11. Demostrar que: (p q) (q p). Solucin: o (p q) (p q) [Def. [Conmutat. qp [Invol. ( q) p [Def. . qp 12. Pruebe que el siguiente razonamiento es vlido. a * Todas las cartas fechadas en esta habitacin estn escritas sobre papel azul. o a * Ninguna est escrita con tinta negra, excepto aquellas escritas en tercera a persona. * No he archivado ninguna de las que puedo leer. * Ninguna de las que estn escritas en una hoja estn sin fecha. a a * Todas las que no estn eliminadas estn en tinta negra. a a * Todas las escritas por Prez empiezan con Estimado seor. e n * Todas las que estn escritas en papel azul estn archivadas. a a * Ninguna de las que estn escritas en ms de una hoja estn eliminadas. a a a
ww w.

M at

em

at

ic a1

n a * Ninguna de las que empiezan con Estimado seorestn escritas en tercera persona. ** Por lo tanto: No puedo leer ninguna de las cartas de Prez. e Solucin: o Sean: p : la carta est fechada. a q : la carta est escrita en papel azul. a r : la carta est escrita con tinta negra. a s : la carta est escrita en tercera persona. a t : la carta est archivada. a u : puedo leer la carta. v : la carta est escrita en una hoja. a w : la carta est eliminada. a x : la carta est escrita por Prez. a e y : la carta empieza con Estimado seor. n Simblicamente el razonamiento anterior se expresa: o (a) (b) (c) (d) (e) (f) (g) (h) (i) pq s r u t vp wr xy qt v w y s
ww w.

at

em

at

ic a1

.c

om