Académique Documents
Professionnel Documents
Culture Documents
Logica Proposicional
Introduccion
La l ogica actual, se ocupa fundamentalmente del discurso (o razonamiento) cuyos enunciados (o prtopuestas) son, o bien verdaderos o bien falsos (discurso apof antico). Es as como la l ogica constituye una herramienta muy necesaria al momento de analizar si un discurso es o no verdadero, o bien extraer el real contenido del discurso en cuanto a que se propone en el. Por ejemplo: LA BODA. Cuando Mar a pregunt o a Mario si quer a casarse con ella, este contest o: No estar a mintiendo si te dijera que no puedo no decirte que es imposible negarte que si creo que es verdadero que no deja de ser falso que no vayamos a casarnos. Mar a se mare o. Puede ayudarla dici endola si Mario quiere o no quiere casarse? Vemos en el caso anterior que el discurso est a construido en base a una serie de armaciones y negaciones que en conjunto establecen si Mario quiere o no casarse con Mar a. La log ca proposicional nos permite analizar y obtener el valor de verdaddel discurso.
Observaci on: En general, se puede decir, que la l ogica es la ciencia de los principios de inferencia o razonamientos formalmente v alidos. La l ogica se ocupa de la validez de los razonamientos y no de la verdad o falsedad de los enunciados que los componen. Lo espec co de un razonamiento o inferencia consiste en derivar una conclusi on a partir de unas premisas siguiendo una regla de inferencia dada. De esta conclusi on se dice que es formalmente v alida, es decir, que si sus premisas son verdaderas entonces la conclusi on tambi en es verdadera.
1.2.
Calculo Proposicional
Denici on 1.1. Se entiende por proposici on (o enunciado) el contenido transmitido en un discurso apof antica. Es decir una proposici on se distingue por ser o bien verdadero o bien falso.
En todo razonamiento, es posible diferenciar la forma del contenido. As , por ejemplo: Si llueve, entonces no ir e al teatro. Si pago las deudas, entonces no tendr e problemas. Son dos enunciados de contenidos diferentes. Su forma, sin embargo, es la misma. Su estructura se representa as : Si........., entonces.......... Se puede llenar el espacio vac o con letras may usculas, que representar an el contenido de los enunciados (proposiciones) quedando la expresi on: Si P entonces 1 Q
Observaci on: A la l ogica le interesa u nicamente la forma de los razonamientos. A esto se le denomina l ogica formal o ciencia de las formas o esquemas v alidos de razonamientos. La l ogica ha de hacerse con un lenguaje en el cual la forma aparezca aislada, y en el que la estructura del razonamiento se muestre sola.
Denici on 1.2. (Simbolizaci on de proposiciones): cada proposici on tiene una forma l ogica a la cual se le da un nombre. Se distinguen dos tipos de proposiciones: simples (formulas) y complejas (compuestas). Una proposici on se denomina simple cuando en ella no interviene ninguna conectiva l ogica o t ermino de enlace (y, o, no, si...entonces..., si y s olo si). Si se juntan una o varias proposiciones simples con un conectivo l ogico (o t ermino de enlace), se forma una proposici on compleja.
Ejemplos: 1. Hoy es Mi ercoles 2. Hay clases de Algebra Son, ambas, proposiciones simples (o formulas). Con ellas podemos construir proposiciones compuestas tales como: 1. Hoy es Mi ercoles 2. Hoy es Mi ercoles 3. Si 4. Hoy y o hay clases de Algebra hay clases de Algebra entonces hay clases de Algebra
Observaci on: La forma de las proposiciones compuestas depende del conectivo l ogico utilizado, y no del contenido de las proposiciones simples. Es decir, si en una proposici on compuesta se sustituyen las proposiciones simples por otras proposiciones simples cualesquiera, la forma de la proposici on compuesta se conserva.
hoy es Mi ercoles no
es Mi ercoles.
Observaci on: Para representar las proposiciones se utilizan letras latinas tales como P , Q, R, etc.
Denici on 1.3. * Cuando una proposici on compuesta utiliza el t ermino de enlace y es una conjunci on. * Si el enlace se hace mediante la conectiva o es una disyunci on. * Si se usa el t ermino no es una negaci on. * Cuando la conectiva es si ...entonces... es una proposici on condicional, la primera proposici on se denomina antecedente y la segunda consecuente. * si utiliza si y s olo si se tiene un bicondicional.
En proposiciones que tienen m as de un t ermino de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos signicados. En l ogica la agrupaci on se indica por medio de par entesis. Ejemplo: O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo se refugiaron en las monta nas. Este texto se simboliza de la siguiente forma: P : Los soldados encontraron cerrado el paso. 3
Denici on 1.4. Cuando no hay lugar a ambiguedades, pueden omitirse los parentesis y se adopta una convenci on con respecto a la dominancia relativa de los diversos conectivos, La convenci on indica que y dominan a y
Esto es: Si los soldados encontraron cerrado el paso o temieron un ataque enemigo, se refugiaron en las monta nas.
Con esta convenci on, no est a claro lo que signica por ejemplo: P QR o P QR Aqu , es necesario usar par entesis para aclarar, en el primer caso, si se trata de: (P Q) R o bien de P (Q R) Y en el segundo caso, si se trata de : (P Q) R Ejemplos: simbolizar completamente las proposiciones, utilizando los s mbolos correspondientes a cada conectivo l ogico. Indicar las proposiciones simples sustituidas por cada letra may uscula. 1. En el hemisferio sur, julio no es un mes de verano. 2. Si dos pulsaciones se atraviesan, contin uan conservando la forma original. 3. O Jaime no es puntual o Tomas llega tarde. 4. Ni Antonio ni Ana estudian en la universidad. 5. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero. 6. Si este cuadro es negro entonces aquel cuadro es rojo y su rey est a sobre el cuadro rojo. 7. Patinaremos s y s olo si el hielo no es demasiado delgado. o bien de P (Q R)
1.3.
Tablas de Verdad
Estas tablas pueden construirse haciendo una interpretaci on de los signos l ogicos, , y , y , como: no, o, y, si. . . entonces, s y s olo si, respectivamente. 4
Denici on 1.5. Negaci on: El valor de verdad de la negaci on P es el contrario de la proposici on negada P , su tabla de verdad es: P V F P F V
Denici on 1.6. Disyunci on: La disyunci on P Q considera dos proposiciones componentes (P y Q) y solamente es falsa si, simultaneamente, son falsas sus dos componentes. Su tabla de verdad es: P V V F F Q V F V F P Q V V V F
Observaci on: Para que la disyunci on P Q sea verdadera, basta que una de sus componentes sea verdadera.
Denici on 1.7. Conjunci on: La conjunci on P Q considera dos proposiciones componentes (P y Q) y solamente es verdadera si, simultaneamente, son ambas verdaderas. Su tabla de verdad es: P V V F F Q V F V F P Q V F F F
Observaci on: Para que la conjunci on P Q sea falsa, basta que una de sus dos componentes sea falsa.
Denici on 1.9. Bicondicional: La bicondicional P Q considera dos proposiciones componentes (P y Q) y solamente es verdadera si ambas tienen el mismo valor de verdad. Su tabla de verdad es: P V V F F Q V F V F P Q V F F V
Observaci on: Para que la bicondicional P Q sea falsa, basta que una de las propocisiones componentes lo sea.
Denici on 1.10. Tautolog a: corresponde a una proposici on compleja que es cierta para cualquier valor de verdad de cada una de sus componentes.
Observaci on: Puede incluir muchas proposiciones simples y/o complejas y cualquiera sea el valor de verdad de las propocisiones simples que la componen, ella resulta verdadera.
Denici on 1.11. Contradicci on: corresponde a una proposici on compleja que es una falsa cualesquiera sea el valor de verdad de cada una de sus componentes.
Observaci on: Puede incluir muchas proposiciones simples y/o complejas y cualquiera sea el valor de verdad de las propocisiones simples que la componen, ella resulta falsa. Se entiende como la negaci on de una tautolog a.
Denici on 1.13. Equivalencia: dos proposiciones son l ogicamente equivalentes si al conectarlas mediante la bicondicional, la proposici on resultante es una tautolog a. Si esto ocurre escribimos P Q o bien P Q. Esto es, sus tablas de verdad son id enticas. (Implicancia l ogica, equivalencia l ogica.)
Como el condicional es una tautolog a, queda demostrada la proposici on. nicamente que P es 5. Sean P , Q, R y S proposiciones. Si se sabe u verdadero, Qu e puede armarse del valor de verdad de cada una de las proposiciones siguientes a) b) c) d) P Q RP S P RP e) f) g) h) P Q R (S P ) RP P P S i) S P j) P Q R k ) Q P R Q
6. Qu e puede concluirse de cada una de las proposiciones anteriores, si P es falsa, Q es verdadera y R es verdadera? 7. Sean P , Q y R proposiciones simples, si R P Q P es falsa y e puede armarse de R y de Q?. tambien P es falsa; Qu 8. Sean P , Q y R proposiciones simples, si R P Q P es falsa; Qu e puede armarse de P , Q y R?. 9. Sean P , Q y R proposiciones simples. Determinar cuales de las siguientes proposiciones son tautolog as: a) P Q P R b ) (P Q) ( Q P ) c) P P Q d ) (P Q) (P Q) e ) P (Q P ) f ) P ((P Q) R)
b. [(P Q) R] [P (Q R)] Asociatividad. b. [P (Q R)] [(P Q) (P R)] Distributividad. Leyes de Morgan. Contra Reciproca.
b. (P Q) ( P Q)
b. (P Q) (P Q) (Q P ) b. (P Q) [(P Q) ( P Q)
Negaciones.
9. a. (P Q) [(P Q) (Q P ) c. (P Q) ( P Q)
Ejemplo 1. Sean P y Q, dos proposiciones. Utilizando las leyes del algebra de proposiciones, simplicar la siguiente formula [ (P Q) Q] Q [ (P Q) Q] Q [ ( (P Q)) Q] Q [(P Q)) Q] Q [ (P Q) ( Q)] Q [( P Q) Q] Q Q [( P Q) Q] (Q ( P Q)) (Q Q) (Q ( P Q)) Q (Q ( Q P )) Q ((Q Q) P )) Q por 9C. por 1. por 6b. por 6a y 1. por 3b. por 5b. por 2b. por 3b. por 4b.
Ejemplo 2. Sea el conectivo l ogico denido por: p q (p q ) Demuestre la equivalencia l ogica p (p q ) p q . Desarrollo: P V V F F Q V F V F P Q V F V V (P Q) F V F F P Q F V F F P (P Q) V F F F P Q V F F F P (P Q) P Q V V V V
Como el bicondicional es una tautolog a, entonces la equivalencia l ogica queda demostrada. Otra forma: Usando algebra de proposiciones
p (p q ) (p (p q )) (p (p q )) (p ( p q )) (p (p q )) ( p (p q )) (( p p) ( p q )) (V ( p q )) ( p q ) pq
, usando la denici on , usando la denici on , condicional , De Morgan , condicional , distributividad , p complemento de p , identidad , de Morgan
1.5.
Razonamiento Logico
Denici on 1.14. Argumento L ogico: Un argumento l ogico ( o argumento) es una condicional de la forma: (P1 P1 Pk ) Q donde las proposiciones P1 , P2 , , Pk son llamadas premisas y originan como consecuencia otra proposici on Q, llamada conclusi on. a) Un argumento l ogico se denomina Argumento Valido si dicha condicional es una tautolog a. b) Un argumento l ogico se denomina Falacia si dicha condicional es falsa (contradicci on).
Nota: un argumento no se modica si una o varias de las premisas se reemplazan por otras premisas equivalentes.
10
1.6.
Metodos de Demostracion
Te oricamente, todos los teoremas de la l ogica proposicional se pueden demostrar utilizando solamente los axiomas y las reglas de validez; sin embargo, se establecen reglas de prueba y m etodos de demostraci on con el n de abreviar el proceso deductivo. A continuaci on se presentan los principales m etodos de demostraci on y reglas de prueba.
Observaci on: Este es un metodo constructivo, el cual a partir de una proposici on inicial R, que se considera verdadera, se avanza a una siguiente verdad y as sucesivamente hasta arrivar a que la proposici on S es verdadera. De esta manera se concluye que la proposici on condicional (implicancia) R S es verdadera. As , lo que realmente se prueba es la validez de la implicancia. Mientras que, solo si se sabeque R es realmente verdadera, concluimos que tambien S es verdadera.
Denici on 1.15. M etodo directo o de Hip otesis auxiliar. Se utiliza para la demostraci on de implicaciones, y dice: ormulas). Si al suponer que R es verdadera, Sean R y S proposiciones (f se puede hacer una demostraci on de que S es verdadera, entonces la implicaci on R S es una Proposici on (f ormula) verdadera.
Esquema Operativo General: Para demostrar que una f ormula del tipo R S es teorema, se proceder a as : otesis auxiliar). a) Se supone que el antecedente R es verdadero (hip b) A partir de la hip otesis, se construye un argumento l ogico en el cual se pueden utilizar los axiomas y los teoremas ya probados, mediante la aplicaci on de las reglas de validez, para llegar a la f ormula S como conclusi on o tesis. c) En este punto concluye la prueba y queda establecida la verdad de R S . Ejercicio: demostrar, de manera directa que la siguiente proposici on [(P Q) ( R Q) R] P es un teorema.
11
([ (p q ) {(r r) (q r)}] p) , leyes de Morgan ([ (p q ) {(F (q r)}] p) , r opuesto a r ([ (p q ) (q r)] p) ([ (p q ) (p q )] r) (F r) F V , disyunci on , distributividad , opuesto , conjunci on , negaci on
Denici on 1.16. M etodo indirecto o de reducci on al absurdo. Se utiliza para la demostraci on de implicaciones, y dice: on Q es falsa, se puede Sean P1 , P2 , , Pk proposiciones (premisas). Si al suponer que una proposic hacer una demostraci on de que una o m as premisas es falsa, entonces la implicaci on (P1 P2 P k ) Q es una f ormula verdadera.
Esquema Operativo General: Para demostrar que una f ormula del tipo (P1 P2 P k ) Q es un teorema, se proceder a as : a) Se supone que la conclusi on Q es falsa (hip otesis auxiliar). Esto es equivalente a suponer que (P1 P2 P k ) Q es verdadera b) A partir de la hip otesis, se construye un argumento l ogico en el cual se pueden utilizar los axiomas y los teoremas ya probados, mediante la un j) como aplicaci on de las reglas de validez, para llegar a Pj (para alg conclusi on o tesis. c) En este punto concluye la prueba y queda establecida la verdad de (P1 P2 P k ) Q
Observaci on: En la demostraci on de un teorema por contradicci on cuando suponemos que la conclusi on, Q, es falsa y utilizando la hip otesis P, y otros teoremas y equivalencias l ogicas cuya validez fue establecida previamente, se llega a una contradicci on. Esto es, alguna de las verdades ya establecidas es contradicha.
12
Denici on 1.17. M etodo por la contrarrec proca. Se utiliza para la demostraci on de implicaciones P Q. La demostraci on de un teorema se dice que es utilizando la contrarrec proca cuando suponiendo que la otesis y otros teoremas y equivalencias l ogicas establecidas conclusi on, Q, es falsa y utilizando la hip previamente, se concluye que P es falso. Est a basada en la equivalencia l ogica entre una condicional y la condicional llamada su contrarrec proca: (P Q) ( Q P )
Esquema Operativo General: En este caso se utiliza el Esquema de la demostraci on dir ecta, pero al condicional ( Q P ) Ejemplo: Demuestre usando el contrarrec proco que Sea x . Si x2 es par, entonces x es par. Desarrollo: Hip otesis (P ): x2 es par. Usando el m etodo del contrarrec proco
Q (Tesis del contrarreciproco): x no es par. P (Hip otesis del contrarreciproco): x2 no es par. , se As : supongamos que x no es par, es decir x es impar, luego existe k tal que x = 2k 1. As tiene que x2 = (2k 1)2 = 4k 2 4k + 1 = 2(2k 2 2k ) + 1 = 2r + 1 con r = 2k 2 2k . Por lo tanto x2 es par.
13
1.7.
Cuanticadores
Observaci on: Otros giros utilizados para la expresi on para todo x, son: Todo x Cualquiera x Cada x. Para la expresi on Existe un x, son: Hay x Existe x, tal que Alg un x Algunos x
Las proposiciones (expresiones o razonamientos): Todo hombre es mortal. Algunos hombres son sabios. Pueden escribirse, respectivamente como: Para todo x, si x es hombre entonces x es mortal. Existe un x, tal que x es hombre y x es sabio. Que, en el primer caso se simbolizan por x y se llama cuanticador universal. Mientras que en el segundo caso se simbolizan por x y se llama cuanticador existencial. As , en el primer caso se escribe: x, si x es hombre x es mortal . Mientras que la segunda propocisi on ser a: x: x es hombre x es sabio .
1.8.
Funciones Proposicionales
Observaci on: La expresi on x es medico no puede considerarse como una proposici on puesto que no es ni verdadera ni falsa. As en el caso anterior x es hombre, x es mortal y x es sabio no son proposiciones, pues ser an verdaderas (o falsas) de acuerdo al nombre que reemplace a x.
Consid erense las siguientes proposiciones: Gustavo es m edico. Alvaro es m edico. Enrique es m edico.
14
Denici on 1.18. Existen tres formas de convertir una funci on proposicional P x en una proposici on a saber: a) Haciendo la sustituci on de las variables por un t ermino espec co. b) Anteponiendo la expresi on para todo x o cuanticador universal. c) Anteponiendo la expresi on existe al menos un x o cuanticador existencial.
Denici on 1.19. El enunciado existe al menos un x tal que P x se representa como: (x) (P x) El enunciado para todo x, P x se representa como: (x) (P x)
Una proposici on de la forma (x) (P x) es verdadera cuando cada valor diferente de la variable x convierten a P x en enunciado verdadero. Un enunciado de la forma (x) (P x) es verdadero cuando al menos un caso de sustituci on de la variable x por un t ermino espec co del conjunto de este enunciado referencia, convierte a P x en un enunciado verdadero. As ser a verdadero si en 1, 2, 3 ... etc. casos, es verdadero. Nota: Las proposiciones universales pueden aparecer negadas . La proposici on ninguno es mec anico no es equivalente a la proposici on no todos son mec anicos. As , negar que se har a mediante la proposici on (x) (P x) (x) (P x)
Observaci on: Para determinar si un enunciado que incluye P x es verdadero o falso, debemos conocer cuales son los x a que se reere la expresi on. Al total de estos lo llamaremos Conjunto de Referencia, y cada uno ser a un Termino del conjunto de referencia. Observaci on: Las palabras ning un, ninguno, nada, nadie corresponden a enunciados universales con negaciones, pero de una manera distinta.
y ser a verdadera si P x es falsa para almenos uno de los valores de x. Es decir si: (x) ( P x), es verdadera
15
Donde la funci on proposicional est a dada por: P x: Rasgu na y el conjunto de referencia son los gatos. Su negaci on ser a: que se escribe: o equivalentemente: que se escribe: No todos los Gatos rasgu nan (x)(P x) Almenos existe un gato que no rasgu na (x)( P x)
Ejercicio
Ejercicio 1.1: simbolizar los siguientes enunciados: a) Todo es perecedero. b) Hay marcianos. c) Alguien no es perfecto. d) No hay cosas s olidas. e) Si todo es rojo, hay algo rojo. f) Nada se mueve.
(x) (P x) (x) (P x)
que ser a verdadera si P x es falsa para todos los valores de x. Es decir si: (x) ( P x), es verdadera
Observaci on: Existe una variaci on del cuanticador existencial, dado por Existe un unico, que se denota por !, y que, a diferencia del cuanticador existencial, es falas de so si P x es verdadero para m un valor de x (termino de referencia).
1.9.
Restringida Cuanticacion
Existen proposiciones universales o existenciales que poseen, en el lenguaje ordinario, estructuras simples pero que internamente tienen estructura de proposiciones compuestas. Es el caso del ejemplo anterior, si no se asumiera que el conjunto de referencia (los gatos) es totalmente denido. Si, no fuera as , se deber a especicar el conjunto de referencia. As , por ejemplo, la expresi on: todas las hormigas son insectos 16
es hormiga,
Ix
simboliza
De igual forma, al considerar la expresi on del lenguaje ordinario: Hay animales carn voros se observa que se puede escribir como: voro existe almenos un x, tal que x es animal y x es carn que si consideramos las funciones proposicionales Ax dado por x es animal y Cx dado por x es carn voro, se puede simbolizar como: (x) (Ax Cx)
17