Академический Документы
Профессиональный Документы
Культура Документы
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
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.
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.
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.
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.
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
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
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
10
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
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.
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;
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.
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
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)