Está en la página 1de 17

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


1.
1.1.

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.

FACULTAD DE INGENIERIA - 2013

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.

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


De esta manera para el primer razonamiento: P corresponde a la armaci on Llueve, y Q corresponde a la armaci on No ir e al teatro
Observaci on: Los llamados conectivos l ogicos, a saber: y, o, si... entonces..., y si y s olo si; se usan para ligar dos proposiciones, en cambio el conectivo l ogico nose agrega a una sola proposici on.

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.

FACULTAD DE INGENIERIA - 2013

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.

Ejemplo: Hoy es Mi ercoles y hay clase de Algebra. ................ y .............

Observaci on: Para representar las proposiciones se utilizan letras latinas tales como P , Q, R, etc.

La forma de la proposici on ser a

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


En los espacios punteados pueden colocarse las proposiciones anteriormente dadas u otras proposiciones. Ejemplo: Sean: P : Hoy es Mi ercoles. Q: Hay clase de Algebra. Luego la proposici on: Hoy es Mi ercoles y hay clase de Algebra, se simboliza: P y Q
Observaci on: se usan s mbolos para representar los t erminos de enlace, as : Para la y se utiliza el s mbolo . Para la o se utiliza el s mbolo . Para el no se utiliza el s mbolo . Para el si...entonces.. se utiliza el s mbolo . Para si y s olo si se utiliza el s mbolo .

FACULTAD DE INGENIERIA - 2013

Ejemplos: 1. Es tarde 2. Es tarde 3. Si 4. No y o est a muy oscuro. est a muy oscuro.

madrugo entonces llego temprano. ocurre que el d a est e caluroso.

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Q: Los soldados temieron un ataque enemigo. R: Los soldados se refugiaron en las monta nas. La proposici on compuesta es: P (Q R)
Observaci on: Debemos notar que P (Q R) tiene un sentido distinto de la proposici on (P Q) R.

FACULTAD DE INGENIERIA - 2013

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


La interpretaci on corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deducci on l ogico matem atica. En consecuencia, las tablas de verdad constituyen un m etodo de decisi on para chequear si una proposici on es o no verdadera (es o no un teorema). Para la construcci on de la tabla se asignar a el valor V o 1(uno) a una proposici on cierta y F o 0 (cero) a una proposici on falsa. Las siguientes son las tablas de verdad denidas para las proposiciones m as simples.
Observaci on: Denominamos Teorema a una proposici on (armaci on l ogica) que es verdadera.

FACULTAD DE INGENIERIA - 2013

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.

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Denici on 1.8. Condicional: La condicional P Q considera dos proposiciones componentes (P y Q) y solamente es falsa si, simultaneamente, el antecedente es verdadero y el consecuente es falso. Su tabla de verdad es: P V V F F Q V F V F P Q V F V V
Observaci on: En la condicional P Q, denominamos a P como antecedente y a Q como consecuente. As , plantea que un antecedente verdadero no puede concluir en un consecuente falso.

FACULTAD DE INGENIERIA - 2013

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.

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Denici on 1.12. Contingencia: corresponde a una proposici on compleja que es verdadera para algunos valores de verdad de cada una de sus componentes y es falsa para otros.
Observaci on: Puede incluir muchas proposiciones simples y/o complejas y para diferentes combinaciones del valor de verdad de las propocisiones simples que la componen, ella resulta con diferente valor de verdad.

FACULTAD DE INGENIERIA - 2013

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.)

Ejemplos: 1. la proposici on [(( P ) Q) Q] P es una Tautolog a. En Efecto: P V V F F Q V F V F P F F V V Q F V F V ( P ) Q V F V V [(( P ) Q) Q] F F F V [(( P ) Q) Q] P V V V V

2. la proposici on [(P Q) Q] Q es una contradicci on. En Efecto: P V V F F Q V F V F Q F V F V (P Q) V F F F [(P Q) Q] V F V F [(P Q) Q] Q F F F F

3. la proposici on P (P Q) P es una equivalencia l ogica. En Efecto: P V V F F Q V F V F (P Q) V V V F P (P Q) V V F F 7 P (P Q) P V V V V

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


4. Demuestre usando la tabla de verdad que [(p q ) (r q )] (p r) es una propiedad. Desarrollo:
P V V V V F F F F Q V V F F V V F F R V F V F V F V F Q F F V V F F V V R F V F V F V F V P Q F F V V V V V V RQ V V F V V V F V (P Q) (R Q) F F F V V V F V (P R) F V F V V V V V (P Q) (R Q) (P R) V V V V V V V V

FACULTAD DE INGENIERIA - 2013

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)

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


1.4. Algebra de Proposiciones
La l ogica Proposicional satisface el siguiente conjunto de propiedades. Esto es cada una de las siguientes proposiciones constituye una tautolog a. 1. P P 2. a. (P P ) P 3. a. (P Q) (Q P ) b. (P P ) P b. (P Q) (Q P ) c. (P Q) (Q P ) Doble negaci on. Idempotencia. Conmutatividad

FACULTAD DE INGENIERIA - 2013

4. a. [(P Q) R] [P (Q R)] c. [(P Q) R] [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.

5. a. [P (Q R)] [(P Q) (P R)] 6. a. (P Q) ( P Q) 7. (P Q) ( Q P ) 8. a. (P Q) (P Q)

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)

Otras: Condicional y Bicondicionales

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.

Apunte de Algebra (Versi on preliminar) [No publicar]

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

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

FACULTAD DE INGENIERIA - 2013

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Teorema 1.1. Si un argumento es valido y las premisas son verdaderas, entonces la conclusi on es verdadera.

1.6.

Metodos de Demostracion

FACULTAD DE INGENIERIA - 2013

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Soluci on.: [(p q ) ( r q ) r] p [(p q ) ( r q ) r] p [( p q ) ( r q ) r] p [ (p q ) ( r q ) r] p ([ (p q ) ( r q ) r] p) , por 9c , por 9c , leyes de Morgan , leyes de Morgan

([ (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

FACULTAD DE INGENIERIA - 2013

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Ejercicio: demostrar que Si m , entonces: si m2 par m es par . Soluci on: Supongamos, por el contrario, que m2 es par y m impar (negaci on de la propiedad). m impar m = 2n + 1 , para alg un n m2 = (2n + 1)2 m2 = 4 n 2 + 4 n + 1 m2 = 2(2n2 + 2n) + 1 , es impar, pues 2n2 + 2n .

FACULTAD DE INGENIERIA - 2013

lo que contradice la hip otesis (m2 par).

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

Tesis (Q): x es par. P Q Q P

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Ejemplo: umeros pares, entonces Demuestre, de manera directa, que si a y b son n a + b es n umero par. Donde un n umero par se caracteriza por poder escribirse como 2k para alg un k entero. Soluci on directa : umeros pares, Hip otesis auxiliar. suponga que a y b son n luego, a = 2n y b = 2m con n, m Z . Entonces, a + b = 2n + 2m = 2(n + m); y (n + m) . Por tanto, si n + m = k ; a + b = 2k , es decir, a + b es un n umero par.

FACULTAD DE INGENIERIA - 2013

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Estas proposiciones tienen algo en com un, y es la propiedad de ser m edico. Esto puede formularse recurriendo a la expresi on x es medico en donde x es una variable individual, la cual indica que el sujeto o t ermino que tiene la propiedad de ser m edico es indeterminada. Expresiones de esta forma, dadas en t erminos de una o varias variables, reciben el nombre de funciones proposicionales y las denotamos por P x, Qx, etc..

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.

FACULTAD DE INGENIERIA - 2013

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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


Ejemplo: El enunciado: se escribe: Todos los Gatos rasgu nan (x)(P x)
Observaci on: Cuando es claro el conjunto de referencia, este no se identica. Pero si no es as , deber a identicarse.

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)

FACULTAD DE INGENIERIA - 2013

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.

An alogamente negar que ser a

(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

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi on preliminar) [No publicar]


se puede escribir de una manera plausible as : para toda x, si x es hormiga entonces x es insecto on: x Que si Hx simboliza la expresi la expresi on x es insecto. se puede simbolizar de la manera siguiente: (x) (Hx Lx)
Observaci on: En general el conjunto de referencia no es claro, por lo que debe ser especicado.

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)

FACULTAD DE INGENIERIA - 2013

17