UNIVERSIDAD ALEJANDRO DE HUMBOLDT CURSO INTRODUCTORIO Asignatura: RAZONAMIENTO LGICO Autor: Jos Manuel Daz Fumero

GUIA No 2 Lgica de Proposiciones

Versin 1.02 JUN. 2007

CONTENIDO
GUIA No 2.............................................................................................................................1 Lgica de Proposiciones .......................................................................................................1 1.Proposiciones......................................................................................................................3 1.1. Definicin....................................................................................................................3 1.2. Proposicin atmica y molecular..............................................................................3 1.3. Forma Proposicional .................................................................................................4 1.4. Notaciones y Conectivos............................................................................................4 1.5. Operadores lgicos.....................................................................................................6 1.6. Tabla de Verdad.........................................................................................................7 1.7. Leyes de la lgica........................................................................................................9 2.Enunciado de una Proposicin y Deducciones................................................................9 2.1. Definicin de Tautologa............................................................................................9 2.2. Definicin de Contradiccin....................................................................................10 2.3. Definicin de Contingencia ....................................................................................10 2.4. Implicacin Lgica...................................................................................................10 2.5. Equivalencia lgica..................................................................................................10 2.6. Condicin Suficiente y necesaria............................................................................11 2.7. Reglas de Inferencias...............................................................................................13 2.8. Principio de Induccin Completa...........................................................................15 3. Ejercicios.....................................................................................................................16

1.Proposiciones
1.1. Definicin
Proposicin lgica: es todo enunciado con sentido, respecto del cual se disponga de un criterio que nos permita decir que es verdadero o falso Ejemplos de proposiciones: Caracas es la capital de Venezuela. Gabriel Garca Mrquez gano el premio Nbel de literatura en 1982. El hierro es un metal. Las piezas publicitarias venden productos. 3+7<2. La estructura de un viaducto es de cristal. Apague el aire acondicionado. Levntese. Haga la Asignacin

No son ejemplo de proposiciones:

Ya que no son ni verdaderos ni falsos; en todo caso se da una orden. Son proposiciones ya que para cada una de ellas se dispone de un criterio (geogrfico, histrico, qumico, publicitario, matemtico o de ingeniera) que nos permita afirmar que son verdaderas o falsas. Podemos considerar el conjunto U, de todas las proposiciones posibles del lenguaje, conjunto Universal y designarlo como: el universo del discurso. Podemos representar las proposiciones o elementos de este conjunto con letras minsculas como: p, q, r....., y las llamaremos variables o letras proposicionales.

1.2. Proposicin atmica y molecular

Proposicin atmica: es el enunciado mnimo que podemos expresar y mediante algn criterio decir que es verdad o falso. Esto lo podemos relacionar con el concepto de tomo que es definido como elemento material de los cuerpos, que se considera indivisible por su pequeez. Ejemplo de proposiciones atmicas: p: Una dcada tiene diez aos q: Hay un premio Nbel de ciencias de la computacin r: La Tierra es plana Se denominan Proposiciones moleculares o formulas, a las que se obtienen combinando proposiciones atmicas, mediante ciertas partculas, llamadas conectivas. De est forma podemos obtener proposiciones moleculares combinando las proposiciones atmicas anteriores:

4 Ejemplo: Una dcada tiene diez aos y La Tierra es plana Como las proposiciones atmicas usadas las habamos representado con las letras p y r respectivamente, la proposicin molecular vendr representada con la siguiente notacin: pyr Las proposiciones moleculares deben ser representadas con letras maysculas en carcter normal, P, Q, R, ..., a las que se les dar el nombre de letras proposicionales.

1.3. Forma Proposicional

La forma proposicional es la manera como representamos las diferentes proposiciones. Podemos hacerlo mediante el uso del lenguaje comn o utilizando la notacin de proposiciones que introdujimos en los puntos anteriores.

1.4. Notaciones y Conectivos

Como se menciono arriba, las proposiciones atmicas se van a denotar o representar con letras minsculas y las moleculares con letras maysculas. Las Conectivas de una proposicin molecular es el elemento verbal o escrito que une las proposiciones atmicas que forman dicha proposicin. Existen dos tipos de conectivas: las que unen dos proposiciones atmicas o conectivas mltiples y las negaciones o conectivas singulares. Para efectos del curso se usarn las siguientes seis conectivas: <<no>>, <<y>>, <<o>>, <<o...o>>, <<si....entonces>>, <<si y solo si>> En la siguiente tabla los conectivos ms usados en la lgica proposicional: Nombre Conjuncin Disyuncin Disyuncin Exclusiva Implicacin Equivalencia Negacin Smbolo ~ Notacin pq pq pq pq pq ~p Lectura pyq poq O p o q pero no ambos p implica q p si y solo si q No p; es falso p

5 Valor de Verdad: se usa este termino para referirse indistintamente al hecho de que una proposicin es verdadera o falsa. Decimos que una proposicin verdadera tiene el valor de verdad verdadero y una proposicin falsa tiene valor de verdad falso. Representamos los valores de verdad verdadero con la letra V y el de falso con la letra F. Ejemplos: 1.- La suma de los dos lados de un tringulo es mayor que la longitud de cualquier lado, es una proposicin a la cual se asocia el valor verdadero en Geometra. 2.- 6 es un nmero impar se le asocia el valor falso en matemticas. Los conectivos relacionan las proposiciones y nos permiten analizar el valor de verdad de una proposicin compuesta a partir de los valores de verdad de sus proposiciones componentes. A continuacin relacionaremos cada uno de los conectores nombrados con su valores de verdad. Conjuncin: <<y>> o . El valor de verdad de pq es: verdadero si las dos

proposiciones que la componen son verdaderas, y es falso si al menos una de las dos proposiciones que la componen es falsa. Ejemplo: 2 es un nmero la vaca es un animal : tiene valor de verdad V 2 es un nmero la vaca es un ave : tiene valor de verdad F 2 es impar la vaca es un animal : tiene valor de verdad F 2 es un impar la vaca es un ave : tiene valor de verdad F Disyuncin: corresponde a <<o>> o . p o q (p q) significa: la proposicin p o la q o ambas. En la proposicin: El prximo profesor ser ingeniero o matemtico, la disyuncin o tiene el significado que se indica. En efecto, se significa con dicha expresin que el prximo profesor ser ingeniero, ser matemtico o tendr ambos ttulos . El valor de verdad de pq es: verdadero (V) si al menos una de las proposiciones es, verdadera y falso, si ambas proposiciones son falsas. Ejemplo: Estudio por libros o estudio por apuntes, tendr el valor de verdad si estudio por uno o por los dos y falso si no estudio por ninguno de las dos formas.

6 Disyuncin exclusiva: corresponde a <<o....o..>> o p o q (pq) significa la

proposicin p o la q pero no ambas. En la expresin el empleado o renuncia o ser despedido, la disyuncin exclusiva tiene ese sentido , el empleado o renuncia o ser despedido pero no ambas cosas. El valor de verdad de pq es: verdadero V, si una de las proposiciones es verdadera y la otra falsa; y es falso F, si ambas proposiciones son verdaderas, o si ambas son falsas. Condicional: corresponde a <<Si.... entonces...>> Si p entonces q (pq). De las dos proposiciones p y q ligadas por el conectivo condicional, la primera recibe el nombre de antecedente o hiptesis, y la segunda consecuente o conclusin El valor de verdad de pq es: falso F, si el antecedente p es verdadera y el consecuente q es falso; y verdadero V en todos los dems casos. Resulta que pq tiene una reciproca que es qp y la contrareciproca ~ q ~ p La conectiva si y solo si p si y solo si q (pq). El valor de verdad de pq es: verdadero V, si el antecedente p y consecuente q tienen igual valor de verdad o V o F, y falso F cuando tienen valores diferentes. Negacin: <<no..>> ~ negacin de p o no p (~p). Los valores de verdad para el conectivo ~ son : la negacin de una proposicin verdadera es falsa F y la de una proposicin falsa es verdadera V.

1.5. Operadores lgicos

Si E es el conjunto de todas las proposiciones (atmicas y moleculares), p y q dos proposiciones atmicas cualesquiera y designamos con una cualquiera de las cinco conectivas mltiples estudiadas, es obvio que pq pertenece a E; por lo tanto, podemos asimilar el papel de las conectivas al de los signos de operaciones aritmticas. En este orden de ideas, las proposiciones de partida p y q son los componentes o datos de la operacin, la proposicin molecular obtenida es el resultado de aquella. Si la proposicin resultado la representamos con R, podemos escribir: pq=R leeremos (p compuesto con q igual a R) Cuando formamos la negacin de una proposicin p diremos, tambin, que hemos efectuado una operacin con aquella. Si la proposicin resultado la representamos con R, podremos escribir: ~p=R

1.6. Tabla de Verdad

Tabla de Verdad: la tabla de verdad de una conectiva mltiple es un cuadro que permite determinar mecnicamente la verdad o falsedad de una cualquiera de las proposiciones compuestas, cuando son conocidos los valores de verdad de las proposiciones componentes. A continuacin presentamos las tablas de verdad de los diferentes conectivos, con estas tablas se pueden construir las tabas de verdad de cualquier combinacin de proposiciones con los diferentes conectores. 1.- Tabla de Verdad de la conectiva conjuncin <<y>> con dos proposiciones p y q. P V V F F Q V F V F pq V F F F

2.- Tabla de verdad de la conectiva disyuncin <<o>> , con consideraciones similares a las del caso anterior nos lleva a la tabla de la verdad siguiente: P V V F F Q V F V F pq V V V F

3.- Tabla de verdad de la conectiva disyuncin exclusiva <<o...o>> , la tabla de la verdad es la siguiente: P V V Q V F pq F V

8 F F V F V F

4.- Tabla de verdad de la conectiva implica <<si...entonces>> , la tabla de la verdad es la siguiente: P V V F F q V F V F pq V F V V

5.- Tabla de verdad de la conectiva <<si y solo si>> , la tabla de la verdad es la siguiente: P V V F F q V F V F pq V F F V

6.- Tabla de verdad de la conectiva <<no>> ~ , la tabla de la verdad es la siguiente: P V F ~p F V

En resumen tenemos la siguiente tabla de la verdad para todos los conectores lgicos: p V V F F q V F V F p q V F F F p q V V V F p q F V V F p q V F V V p q V F F V ~p F F V V

1.7. Leyes de la lgica

1.- Ley de Idempotencia: a. (pp)p b. (pp)p 2.- Ley de absorcin: a. (p(pq))p b. (p (pq))p 3.- Ley asociativa: a. ((pq)r)(p(qr)) b. ((pq)r)(p(qr)) 4.- Ley conmutativa: a. pqqp b. pqqp c. pqqp 5.- Contrapositiva: pq~q~p

6.- Doble negacin: ~ ~ pp

2.Enunciado de una Proposicin y Deducciones

2.1. Definicin de Tautologa
Se dice que una proposicin compuesta es una TAUTOLOGIA o que es lgicamente verdadera, si y slo si, dicha proposicin toma valores de verdad verdadero (V) cualquiera que sean las proposiciones atmicas que la formen. Por tanto es inmediato que la tabla de verdad de una TAUTOLOGA contendr solo V en la ltima columna. Ejemplo: (pr)(pq) P V V V V F F F F q V V F F V V F F R (pr) (pq) (pr)(pq) V F V F V F V F V F V F F F F F V V V V V V F F V V V V V V V V

10

2.2. Definicin de Contradiccin

Una proposicin compuesta es una contradiccin o lgicamente falsa si dicha proposicin es falsa cualquiera que sean las proposiciones atmicas que la formen. Es inmediato que la tabla de verdad de una CONTRADICCIN contendr solo F en la ltima columna. Ejemplo: ~((pq)p)

p V V F F

q V F V F

(pq ) V F F F

(pq) p V V V V

~((pq)p) F F F F

2.3. Definicin de Contingencia

Una proposicin compuesta es una contingencia o Indeterminacin si dicha proposicin tiene valores de verdad tanto verdadero como falsos. Es inmediato que la tabla de verdad de una CONTINGENCIA contendr tanto V como F en la ltima columna.

2.4. Implicacin Lgica

Diremos que una proposicin P implica una proposicin Q, si, y slo si, la proposicin condicional PQ es una tautologa. Tanto P como Q pueden ser proposiciones atmicas o compuestas. Si P implica Q , escribiremos: P Q y leeremos P implica Q. A la proposicin anterior se le llama Teorema , P es la hiptesis y Q la tesis.

2.5. Equivalencia lgica

Si P implica Q, e inversamente, Q implica P, se dice que P y Q son equivalentes y se escribe: PQ Leeremos P equivalente a Q.

11 Para probar la equivalencia de dos proposiciones P y Q bastar construir la tabla de verdad de la proposicin PQ y comprobar que las anotaciones de la ltima columna son slo V. En la prctica basta verificar que las tablas de verdad de Q y P son iguales.

2.6. Condicin Suficiente y necesaria

Puesto que con las proposiciones P y Q pueden formarse las proposiciones compuestas: PQ, QP, ~P~Q, ~Q~P; si a estas proposiciones las llamamos directa, recproca, contraria de la directa y contrarecproca, respectivamente, y formamos sus tablas de verdad como a continuacin se indica, tendremos: P V V F F Q V F V F ~P F F V V ~Q F V F V PQ V F V V QP V V F V ~P~Q V V F V ~Q~P V F V V

Ahora bien, como las columnas 5 y 8 son iguales, los encabezamientos de estas columnas sern equivalentes es decir: PQ ~Q~P Anlogamente: Q P ~P ~Q o sea: 1.- La proposicin condicional es equivalente a su contrarecproca.

2.- La proposicin condicional recproca es equivalente a la contrara de la diecta. De las condiciones anteriores se sigue que si: PQ, QP, ~P~Q, ~Q~P; Son tautologas y por tanto, PQ, QP, ~P~Q, ~Q~P;

12 Son teoremas directo, recproco, contrario del directo y contrarecproco,

respectivamente, podemos concluir, anlogamente, que: 3.- Los teoremas directo y contrarecproco son equivalentes. 4.- Los teoremas recproco y contraro de la directa son equivalentes. Resumiendo: Los teoremas recprocos son equivalentes. Relaciones entre un teorema y sus formas derivadas. Las relaciones existentes entre un teorema P Q y sus formas derivadas puede ser esquematizado en la forma siguiente:

PQ, CONTRARIOS

RECIPROCOS

QP,

CONTRARIOS

CONTRARECIPROCO

~P~Q,

RECIPROCOS

~Q~P;

Variantes de los teoremas. Esta claro que s en matemticas decimos si P entonces Q, nos estamos refiriendo al teorema de hiptesis P y de tesis Q. Ahora bien, como existen diferentes maneras de enunciar los teoremas, es conveniente que examinemos las formas ms comunes que suelen tomar aquellos. 1.- El enunciado P nicamente si Q expresa la misma idea que si ~Q entonces ~P, esto es, que el contrario del recproco. Mas como, por otra parte, sabemos que el directo y el contrario del reciproco de un teorema son equivalentes, podemos concluir que: P nicamente si Q equivale a si P entonces Q o sea, al teorema directo. 2.- Decir que P es la condicin necesaria para Q equivale a Q nicamente si P y como en virtud del caso anterior, ste equivale a si Q entonces P, o sea, al recproco del teorema, tendremos: P es la condicin necesaria para Q equivale a si Q entonces P o sea, al teorema recproco. 3.- Que P es la condicin suficiente para Q expresa lo mismo que si P entonces Q, o sea que el directo, y, por tanto:

13 P es la condicin suficiente para Q equivale a si P entonces Q o sea, al teorema directo 4.- Finalmente, decir que: P es la condicin necesaria y suficiente para Q equivale a si P entonces Q y si Q entonces P o sea, a los teoremas directos y recprocos. Por tanto, para demostrar que P es la condicin necesaria y suficiente para Q Habr que demostrar los teoremas directos y recprocos.

2.7. Reglas de Inferencias

Si actuando segn unas reglas dadas, sobre unas frmulas tambin dadas, obtenemos una nueva formula, diremos que esta se ha inferido o deducido de aqullas. A las reglas dadas se les llama regla de inferencia, a la formula de partida premisas y a las frmulas de llegadas conclusin. Al proceso mediante el cual la conclusin se sigue de las premisas se llama prueba, deduccin o demostracin. A las inferencias que siguen las reglas establecidas se les llama correctas, e incorrectas a las que no la siguen. Regla de inferencia. Son las que de cada conjunto suficiente de premisas, P1,P2,....., nos permite deducir una conclusin C. Son varios los sistemas de reglas que resuelven este problema; uno de ellos es el que esta integrado por las reglas siguientes: 1a. Regla de separacin. Si tomamos como premisa un condicional y su antecedente, el consecuente puede ser inferido como conclusin. Si las premisas P1 y P2 las ponemos una encima de otra, debajo de ellas una lnea horizontal y debajo de esta la conclusin C, la primera regla de inferencia puede ser escrita en la forma simblica siguiente: P1: pq P2: p C: q Ejemplo: P1: Jos gana la Loterasu novia se alegra P2: Jos gana la Lotera C: su novia se alegra

14 2a. Regla de Unin. Si dos proposiciones son tomadas como premisas, su conjuncin puede ser inferida como conclusin. Procediendo como el caso anterior, la segunda regla puede ser escrita en la forma simblica siguiente: P1: p P2: q C: pq

Ejemplo: P1: Jos se grada P2: Jos le gusta el cine C: Jos se grada y a Jos le gusta el cine 3a. Regla de Insercin. Cualquier tautologas puede ser tomada como premisa para el desarrollo de cualquier inferencia. La tercera regla puede escribirse de la siguiente forma: P1: p1 P2: p2 .. Pn: pn Pn+1: Cualquier Tautologa C: La inferida de las premisas anteriores 4a. Regla de intercambio: Si dadas dos premisas, una de ellas es bicondicional y uno de sus miembros figura en la otra, podemos inferir, como conclusin, el resultado de intercambiar el miembro comn de la premisa no bicondicional, por el correspondiente de la bicondicional. Esta cuarta regla puede ser escrita de la forma simblica siguiente: P1: pq P2: qr C: pr

15

Ejemplo: P1: Hace mal tiempoJos no viaja P2: Jos no viajaAlicia se alegra C: Hace mal tiempo Alicia se alegra

2.8. Principio de Induccin Completa

Sea p(n) una proposicin referente al natural nN* (I) (II) Si p(n) es cierta para n=1 Si para n=h>1 se tiene que : p(h) ciertap(h+1) cierta.

Entonces p(n) es cierta para todo nN* Ejemplo: Demostrar por el mtodo de Induccin completa que: 1 + 2 + 3 + ..............n=(1+n)n/2 Para demostrar la frmula anterior bastar con probar que son verdaderas las proposiciones: (1) P1, P2,P3,Pn, Siendo Pn la proposicin 1 + 2 + 3 + ..............n=(1+n)n/2 Ahora bien a) P1 es verdadero puesto que: 1=(1+1)1/2 b) Si suponemos ahora que Pn es verdadera, esto es que se verifica la igualdad (2) 1 + 2 + 3 + ..............n=(1+n)n/2 Vamos a demostrar que la proposicin Pn+1 tambin tiene que ser verdadera. Sustituyendo n+1 en la relacin anterior: 1 +2 + 3 +............(n+1)=(1+(n+1))(n+1)/2

16 Como antes del termino n+1 tengo el termino n y asum que era cierto en (2) sustituyo el valor de n en la relacin anterior: 1 + 2 + 3 ........(1+n)n/2 +(n+1) = (1 + (n+1))(n+1)/2 1 + 2 + 3 .........((1+n)n + 2(n+1))/2 = (n+2)(n+1)/2 Sacando factor comn n+1 en el lado izquierdo (n+1)(n+2)/2 = (n+2)(n+1)/2 Queda demostrado que Pn+1 es cierto por tanto queda demostrado para todo Pn

3. Ejercicios
1.- Suponga que a, b y c, son nmeros reales. En los siguientes ejercicios(a al d) represente en forma simblica los enunciados dados. Usando las siguientes proposiciones. p:a<b; q:b<c; r:a<c a.- a<b y b<c b.- No es cierto (a<b y b<c) c.- Si a<b, entonces bc d.- Si (ab y b<c) entonces ac 2.- Sean p, q, r las proposiciones siguientes p: est lloviendo q: el sol est brillando r : hay nubes en el cielo Traduzca las siguientes proposiciones usando notacin lgica, usando p, q, r y conectivos lgicos. a.- El sol est brillando si y solo si no est lloviendo b.- Esta lloviendo y el sol est brillando c.- Si est lloviendo, entonces hay nubes en el cielo 3.- Formule en forma verbal (lenguaje cotidiano) las expresiones simblicas que se tienen en los ejercicios siguientes (a a la d). Usando: p: Hoy es Lunes q: Est lloviendo r: Hace calor a.- pq b.- (p(qr))(r(qp) c.- ~p(qr) d.- pq 4.- En los siguientes ejercicios evaluar cada proposicin segn los siguientes valores de verdad: p=F; q=V; r=F ; s=V a.- pq b.- p~(qr) c.- pq d.- (pq)r

17 e.- (s(p~r)((p(rq))s) 5.- Construya las tabla de verdad de las siguientes expresiones: a.- ~ (pq) b.- ~ p~q c.- (pq)((p~q)(pq)) d.- ((pq)r)(p~q) 6.- Considere la tautologa p(q(pq)). Muestre que si la primera p se sustituye por la proposicin pq, entonces la nueva proposicin no es una tautologa. 7.- Sean p y q contradicciones y r es una tautologa. Qu ser la proposicin (~p~q)r? 8.- Dada la siguiente expresin : si me gano el KINO, entonces me compro un apartamento hallar la expresin reciproca, contrario y contrareciproco. 9.- Dado el Teorema: Si un tringulo tiene dos lados iguales, entonces los ngulos opuestos a dichos lados deben ser tambin iguales.Se pide hallar sus formas derivadas ( reciproca, contrario y contrareciproco) 10.- Verifique por induccin: a.- 1 + 3 + 5 + .......+2n-1= n2 b.- 1x2 + 2x3 +3x4 + . n(n+1) =(n(n+1)(n+2))/3 c.- 12 + 22 + 32 + ........ + n2 = (n(n+1)(2n+1))/6 d.- 1 + 1 + 1 +..........+ 1______ = n___ 1.3 3.5 5.7 (2n-1)(2n+1) 2n+1 e.- 11n 6 es divisible entre 5 para n=1,2,...... f..- 3n + 7n 2. es divisible entre 8 para n=1,2,...... g.- cos x + cos 2x +........ + cos nx = (cos ((x/2)(n+1)) sen (nx/2) ) /sen (x/2)