Facultad de Informtica

Mdulo 1 Lgica

Matemtica0

UNLP

CursodeIngreso2013Matemtica0

Pgina1

Facultad de Informtica

Mdulo 1 Lgica

Contenido
1.1 lgebra de proposiciones 3

Expresiones No Proposicionales Enunciados Abiertos Clasificacin de las Proposiciones

1.2 Conectivos Lgicos

4 4 4
5

1.2.1 Operaciones Proposicionales

Negacin Conjuncin Disyuncin Condicional (o implicacin) Ejercicio El recproco del implicador El contrarrecproco del implicador Ejercicio El bicondicional (o coimplicacin)
1.2.2 Tautologa 1.2.3. Contradiccin 1.2.4 Equivalencia lgica
1.3 Esquemas proposicionales en una indeterminada

5 6 6 7 9 9 10 10 10
13 15 16
16

Ejercicios
1.4 OPERADORES: Universal y Existencial

16
17

Alcance de un operador Negacin de operadores Ejercicios Adicionales

18 19 19 21

CursodeIngreso2013Matemtica0

Pgina2

Facultad de Informtica

Mdulo 1 Lgica

MDULO 1
Este mdulo tiene por objetivo el familiarizarse con los elementos bsicos de la lgica simblica; lo que permitir establecer la validez de un enunciado complejo a partir de sus componentes. El lgebra proposicional abarca conceptos que se son muy utilizados en la carrera que elegiste.

1.1 lgebra de proposiciones

El lgebra proposicional, que trata de determinar el valor de verdad de una combinacin de enunciados se basa en reglas anlogas.

DEFINICIN:
Proposicin: oracin con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad. Es decir, Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. La proposicin es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y slo uno de los valores de verdad, que pueden ser:

VERDADERO (V) o FALSO (F)

En resumen, podemos dar la siguiente definicin: Proposicin es toda oracin declarativa. Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t,... etc. As, por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad: p: 15 + 5 = 21 (F) q: Santa Fe es una provincia Argentina. (V) r: El nmero 15 es divisible por 3. (V) s: El perro es un ave. (F) Aclaremos que la mayor parte de las veces los enunciados adquieren el carcter de proposicin en un contexto determinado; esto es un enunciado puede ser una proposicin en un sistema determinado, y no serlo en otro. Para ser ms claro: la oracin Mara va al teatro no es una proposicin, a menos que yo sepa a qu Mara (de los millones que

CursodeIngreso2013Matemtica0

Pgina3

Facultad de Informtica

Mdulo 1 Lgica

existen) se refiere, y si va al teatro quiere decir que va habitualmente al teatro o que lo hace de vez en cuando o que est yendo al teatro en este instante determinado. Por otra parte si Mara es mi hermana, y en este momento est saliendo, la afirmacin Mara va al teatro es una proposicin, puesto que claramente es verdadera o falsa. Entonces, cuando digamos que cierto enunciado es una proposicin tendremos en claro que lo es en un determinado contexto, en el cual es sin lugar a dudas verdadera o falsa.

Expresiones No Proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos. As tenemos, por ejemplo: Cmo te llamas? Prohibido pasar. Borra el pizarrn.

Enunciados Abiertos
Si en la proposicin: "cinco es mayor que tres" (en smbolos: 5 > 3) reemplazamos al nmero 5 por la letra x, se obtiene la expresin "x es mayor que tres" (x > 3), y si convenimos que x no represente necesariamente al nmero 5, sino a un nmero cualquiera, entonces al enunciado x > 3 se le denomina enunciado abierto.

Clasificacin de las Proposiciones

Aquellas proposiciones que constan o se las puede representar por una sola variable, se llaman proposiciones simples o atmicas. Por ejemplo, sea la proposicin "p: 3 + 6 = 9" es una proposicin simple o atmica. Cuando una proposicin consta de dos o ms enunciados simples, se le llama proposicin compuesta o molecular. As, por ejemplo:

Encontramos dos enunciados. El primero (p) nos afirma que Pitgoras era griego y el segundo (q) que Pitgoras era gemetra No es necesario conocer si una afirmacin es verdadera o falsa (es decir, su valor de verdad) para saber que es una proposicin. Por ejemplo: Hay vida extraterrestre es una proposicin, independientemente de que algunos crean que es verdadera y otros que es falsa, puesto que claramente o bien existe vida extraterrestre o bien no existe. Nuestro sencillo estudio de las proposiciones no tratar de establecer el valor de verdad de una proposicin dada, lo que muchas veces es tarea de los cientficos (el universo se origin en la gran explosin), los filsofos (pienso, por lo tanto existo), los jueces, o las novias y novios (te quiero).

CursodeIngreso2013Matemtica0

Pgina4

Facultad de Informtica

Mdulo 1 Lgica

Lo que haremos es analizar el valor de verdad de proposiciones complejas, construidas con ciertas reglas a partir de proposiciones ms simples, conociendo el valor de verdad de estas ltimas.

1.2 Conectivos Lgicos

A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir que se puede operar con proposiciones, y para ello se utilizan ciertos smbolos llamados conectivos lgicos. A continuacin vemos una concreta definicin de cada uno:

1.2.1 Operaciones Proposicionales

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o ms proposiciones, de las que se conoce los valores de verdad, se trata de caracterizar la proposicin resultante a travs de su valor de verdad. A tal efecto, estudiaremos a continuacin el uso y significado de los diferentes conectivos lgicos.

Negacin
Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por p (se lee "no p") que le asigna el valor de verdad opuesto al de p. Por ejemplo: p: Diego estudia matemtica p: Diego no estudia matemtica Por lo que nos resulta sencillo construir su tabla de verdad:

p V F

F V

Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F, y viceversa. Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin. Ejemplo: La negacin de " p: todos los alumnos estudian matemtica" es p: no todos los alumnos estudian matemtica O bien: p: no es cierto que todos los alumnos estudian matemtica p: hay alumnos que no estudian matemtica

CursodeIngreso2013Matemtica0

Pgina5

Facultad de Informtica Conjuncin

Mdulo 1 Lgica

Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin p q (se lee "p y q"), cuya tabla de verdad es:

p V V F F

q V F V F

pq V F F F

La tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo son las dos proposiciones componentes. En todo otro caso, es falsa. Ejemplos: Sea la declaracin:

Vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que son p: 5 es un nmero impar q: 6 es un nmero par Por ser ambas verdaderas, la conjuncin de ellas es verdadera. Ahora bien, sea la declaracin: Hoy es el da 3 de noviembre y maana es el da de 5 de noviembre Esta conjuncin es falsa, ya que no pueden ser simultneamente verdaderas ambas proposiciones.

Disyuncin
Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es la proposicin compuesta p q, cuya tabla de valor de verdad es:

pq

CursodeIngreso2013Matemtica0

Pgina6

Facultad de Informtica V V F F V F V F V V V F

Mdulo 1 Lgica

Ejemplo: Tiro las cosas viejas o que no me sirven. La disyuncin compuesta por p y q (p: tiro las cosas viejas, q: tiro las cosas que no me sirven) es verdadera, pues puedo tirar algo viejo, y que adems no me sirve.

Condicional (o implicacin)
Consideremos el enunciado: "Si apruebas Filosofa, te dejar ir al viaje de fin de curso". Este enunciado est formado por dos atmicas: p: "Apruebas Filosofa" q: "Te dejar ir al viaje de fin de curso" Lo que nuestro enunciado original afirma es esto: si p es verdad, entonces q tambin es verdad, o, dicho de modo ms sencillo, si p, entonces q. Se trata de un enunciado condicional cuya formalizacin es p q, y que se puede leer tambin como p implica q. En el enunciado p q, se dice que p es el antecedente (o hiptesis) y q el consecuente (o conclusin).

El condicional p q se lee "p implica q" o bien "si p, entonces q". Un condicional siempre es verdadero, excepto cuando el antecedente es verdadero y el consecuente falso. Por lo tanto, su valor de verdad queda definido por la siguiente tabla de verdad.

p V V F F

q V F V F

p q V F V V

En las columnas p y q aparecen las cuatro posibles combinaciones de los valores de verdad para p y q, y en la columna p q aparecen enumerados los valores de verdad de p q para cada una de esas combinaciones. Por ejemplo, la segunda fila de la tabla nos dice que cuando p es verdadero y q falso, el enunciado p q es falso.

CursodeIngreso2013Matemtica0

Pgina7

Facultad de Informtica

Mdulo 1 Lgica

Importante: Es destacable que la implicacin puede ser cierta aunque el consecuente sea falso (q en p q). As, si no apruebas Filosofa, pero yo no te permito ir al viaje de fin de curso, la implicacin "Si apruebas Filosofa, te dejar ir al viaje de fin de curso" es verdadera. Otras denominaciones para la proposicin p q son: p slo si q q si p p es condicin suficiente para q q es condicin necesaria para p As, una condicin necesaria (pero no suficiente) para que un tringulo sea equiltero es que sea un tringulo issceles y una condicin suficiente (pero no necesaria) para que un tringulo sea issceles es que sea un tringulo equiltero Ser divisible por 2 es condicin necesaria para ser divisible por 6, pero no suficiente. Ser divisible por 8 es condicin suficiente para ser divisible por 4, pero no necesaria.

Ejemplos sobre el condicional

Primer ejemplo: Verdad implica verdad, es cierto. Como hemos visto, si p y q son verdad, entonces p q es verdad. Por ejemplo, sea p: "la Tierra es redonda", y q: "3x5=15". La frmula p q dice que: "Si la Tierra es redonda, entonces 3x5=15". Fjate que los dos enunciados p y q de este ejemplo no tienen nada que ver entre ellos. Pero con p q no queremos decir (no decimos) que hay una relacin causal entre ambos enunciados. En el caso de p q siendo p: "la Tierra es redonda", y q: "3x5=15" solamente decimos que el enunciado "Si la Tierra es redonda, entonces 3x5=15" es lgicamente verdadero. Segundo ejemplo: Verdad no puede implicar falsedad. Si p es un enunciado verdadero y q falso, entonces p q es falso. Por ejemplo: "Cuando hay sol, voy al monte" En este caso p: "Hace sol" y q: "voy al monte". En otras palabras, podemos reformular nuestra frase como "Si est haciendo sol, entonces estoy en el monte". Pero hay muchos das que hace sol (p es verdadero) en los que no voy al monte (q es falso). En esos das el enunciado p q es claramente falso. Fjate que hemos interpretado "Cuando p, q" como "Si p, entonces q". Tercer ejemplo: la falsedad implica cualquier cosa.

CursodeIngreso2013Matemtica0

Pgina8

Facultad de Informtica

Mdulo 1 Lgica

En las dos ltimas filas de la tabla de verdad del condicional observamos que, siendo falso el antecedente, la implicacin es falsa sea verdadero o falso el consecuente. Es decir, si p es falso, entonces p q es verdadero sea q verdadero o falso. Por ejemplo: "Si la Tierra es plana, entonces yo he ganado el premio Nobel" En este caso p: "La Tierra es plana", que es un enunciado falso, y q: "He ganado el premio Nobel", y el enunciado p q es verdadero haya ganado el hablante el premio Nobel o no. Lo esencial es que si el antecedente es falso, el condicional ser verdadero diga lo que diga el consecuente.

Ejercicio
Determina el valor de las siguientes implicaciones y justifica por qu. a) Si llueve hacia arriba, entonces eres un ser humano. b) Si 2 + 2 = 4, entonces las ranas tienen pelo. c) Si sabes leer, entonces los crculos son cuadrados. d) Si los burros vuelan, entonces las tortugas saben lgebra Propiedades de los enunciados condicionales Ya hemos visto que tanto la conjuncin como la disyuncin tienen la propiedad conmutativa, es decir el orden de los enunciados de las conjunciones o de las disyunciones no altera su valor de verdad: es lo mismo p q que q p, y tambin es lo mismo p q que q p.

El recproco del implicador

Pero, ocurre lo mismo con el implicador? Es lo mismo p q que q p? La respuesta es que no. Vemoslo con cierto detenimiento. Se dice que q p es el recproco de p q. El implicador no tiene la propiedad conmutativa y esto se aprecia en la comparacin de las tablas de verdad de p q y de su recproco q p:

Valores diferentes P V V F F
Vemoslo con un ejemplo: Sea p el enunciado "Llueve", y q: "El suelo est mojado", siendo, por consiguiente p q "Si llueve, entonces el suelo est mojado". Veamos el recproco de este enunciado: q p: "Si el suelo est mojado, entonces llueve". Vemos que los dos enunciados no son lgicamente equivalentes, pues si p es verdadero, y q falso:

q V F V F

p q V F V V

q p V V F V

CursodeIngreso2013Matemtica0

Pgina9

Facultad de Informtica

Mdulo 1 Lgica

p q ("Si llueve, entonces el suelo est mojado") es necesariamente falso q p ("Si el suelo est mojado, entonces llueve") es verdadero, pues una falsedad implica cualquier cosa manteniendo la verdad del condicional.

El contrarrecproco del implicador

Aunque un enunciado condicional y su recproco no son equivalentes, s lo son un enunciado condicional y su contrarrecproco. El contrarrecproco del enunciado p q es q p (es decir, la negacin de cada uno de los enunciados del recproco). Vemoslo comparando tablas de verdad:

Mismos valores p V V F F q V F V F p q V F V V q F V F V p F F V V q p V F V V

Comparemos el mismo ejemplo: En el ejemplo anterior donde p: "Llueve", q: "El suelo est mojado", p q "Si llueve, entonces el suelo est mojado". El contrarrecproco es q p, que significa que "Si el suelo no est mojado, entonces no llueve", que es lgicamente equivalente al enunciado primitivo p q. Nota El contrario de pq es pq

Ejercicio
Escribe el recproco y el contrarrecproco de los siguientes condicionales

(p) p (r

(s q ) q) (s t)

(q h)

El bicondicional (o coimplicacin)
Ya hemos comprobado que p q no es lo mismo que q p. Puede ocurrir, sin embargo, que tanto p q como q p sean verdaderos. Por ejemplo, si p:"La Tierra es cbica", y q:"El Sol

CursodeIngreso2013Matemtica0

Pgina10

Facultad de Informtica

Mdulo 1 Lgica

es un planeta", entonces tanto p q como q p son verdaderos, porque tanto p como q son falsos. Es necesario tener esto en cuenta para entender bien el concepto de bicondicional Mediante el bicondicional lo que queremos decir es que un enunciado es a la vez condicin necesaria y suficiente para otro. As, si digo que p: "apruebo Filosofa" y q: "saco un 5 o ms en el examen de Lgica" la frmula p q significa "apruebo Filosofa si y slo si saco un 5 o ms en el examen de Lgica". Con este "si y slo si" quiero poner de manifiesto tres cosas: 1. 2. 3. Al introducir el primer condicional "si" (en "si y slo si"), introduzco el antecedente, y por tanto afirmo que p q, (es decir aprobar Filosofa si saco 5 o ms en el examen de Lgica), Al introducir "slo si" (en "si y slo si"), introduzco el consecuente, buscando comunicar que q p, (es decir, que si saco un 5 o ms en el examen de Lgica, entonces apruebo la Filosofa), y Al utilizar el conectivo "y" (en "si y slo si"), quiero comunicar la conjuncin de p q con q p.

As pues, el enunciado "apruebo Filosofa si y slo si saco un 5 o ms en el examen de Lgica" se puede formalizar de dos formas equivalentes: (p q) (q p), o bien p q. En consecuencia, el enunciado p q queda definido por el enunciado (p q) (q p). Por esta razn, el smbolo se llama bicondicional, y la tabla de verdad para p q es la misma que la de (p q) (q p). El bicondicional o coimplicador p q, que se lee "p si y slo si q" o "p es equivalente a q", se define por la siguiente tabla de verdad: p V V F F La doble flecha horizontal q V F V F p V F F V q

es el operador bicondicional

Fjate que de la observacin de la tabla de verdad deducimos que para que p q sea verdadera, tanto p como q han de tener los mismos valores de verdad, y en caso contrario es falsa. La formalizacin del bicondicional El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. As p es la formalizacin de las siguientes expresiones de lenguaje natural: p si y slo si q p es necesario y suficiente para q p es equivalente a q q

Fjate que p q y q p tendran totalmente los mismos valores de verdad, puesto que ambas son coimplicaciones y por lo tanto si sus valores de verdad son los mismos, son verdaderas, y son falsas en los dems casos. En consecuencia, podemos reformular los enunciados anteriores intercambiando p y q:

CursodeIngreso2013Matemtica0

Pgina11

Facultad de Informtica
q si y slo si p q es necesario y suficiente para p q es equivalente a p

Mdulo 1 Lgica

Ejemplos del bicondicional

Ejemplos de bicondicionales verdaderos: p q (a) "La Tierra es cbica si y slo si el Sol es un planeta" (b) "La Tierra es esfrica si y slo si el Sol es una estrella" (c) "Los cocodrilos tienen ruedas si y slo si los sapos bailan flamenco"

Motivos por verdadera:

los

que

es

p: "La Tierra es cbica": F p: "La Tierra es esfrica": V p: "Los cocodrilos tienen ruedas": F p: "Los cocodrilos no tienen ruedas": V

q: "El Sol es un planeta": F q: "El Sol es una estrella": V q: "Los sapos bailan flamenco": F q: "Los sapos no bailan flamenco": V

(d) "Los cocodrilos no tienen ruedas si y slo si los sapos no bailan flamenco".

Ejemplos de bicondicionales falsos: p q (a) "La Tierra es cbica si y slo si 2+2=4" (b) "El Sol es una estrella si y slo si 1+2=4" (c) "Los cocodrilos tienen ruedas si y slo si los sapos no bailan flamenco" (d) "El sol es una estrella si y slo si Napolen escribi el Quijote"

Motivos por los que p q es falsa:

p: "La Tierra es cbica": F p: "El Sol es una estrella": V p: "Los cocodrilos tienen ruedas": F p: "El sol es una estrella": V

q: "2+2=4": V q: "1+2=4": F q: "Los sapos no bailan flamenco": V q: "Napolen escribi el Quijote": F

CursodeIngreso2013Matemtica0

Pgina12

Facultad de Informtica

Mdulo 1 Lgica

1.2.2 Tautologa
Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables. Un ejemplo tpico es la contrapositiva cuya tabla de verdad se indica a continuacin.

p F F V V

q F V F V

p V V F F

q V F V F

p V V F V

q V V F V

(p q)

( q ) V V V V

Note que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre V. Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en las cuales nos podemos apoyar para realizar demostraciones. A continuacin citemos una lista de las tautologas ms conocidas y reglas de inferencia de mayor uso en las demostraciones formales.

1.- Doble negacin.

a) p p 2.- Leyes conmutativas. a) (p q) (q p) b) (p q) (q p) 3.- Leyes asociativas. a) [(p q) r] [p (q r)] b) [(p q) r]? [p (q r)] 4.- Leyes distributivas.

a) [p (q r)] [(p q)(p r)] b) [p (q r)] [(p q)(p r)]

5.- Leyes de idempotencia.

a) (p p) p b) (p p) p CursodeIngreso2013Matemtica0 Pgina13

Facultad de Informtica
6.- Leyes de De Morgan

Mdulo 1 Lgica

a) (p q) (p q) b) (p q) ( p q) c) (p q) ( p q) d) (p q) (p q) 7.- Contrapositiva. a) (pq) ( q p) 8.- Implicacin. a) (pq) ( p q) b) (pq ) (p q) c) (p q) ( p q) d) (p q) (p q) e) [(p r) (q r)][(p q) r] f). [(pq) (p r)][p (q r)]
9.- Equivalencia

a) (pq)[(pq)(qp)]
10.- Adicin.

a) p (p q)
11.- Simplificacin.

a) (p q) p
12.- Absurdo

a) (p F ) p
13.- Modus ponens.

a) [p (pq)]q

CursodeIngreso2013Matemtica0

Pgina14

Facultad de Informtica
14.- Modus tollens.

Mdulo 1 Lgica

a) [(pq) q] p
15.- Transitividad del

a) [(p q) (q r)](p r)
16.- Transitividad del

a) [(pq) (qr)](pr)
17.- Ms implicaciones lgicas.

a) (p q) [(p r) (q r)] b) (pq) [(p r) (q r)] c) (pq) [(qr) (pr)]

18.- Dilemas constructivos.

a) [(p q) (rs)] [(p r) (q s)] b) [(p q) (rs)] [(p r) (q s)]

1.2.3. Contradiccin
Es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las ms usadas y ms sencilla es p p. Como lo muestra su correspondiente tabla de verdad.

p p

F V

V F

F F

Si en el ejemplo anterior p: La puerta es verde. La proposicin p p equivale a decir que "La puerta es verde y la puerta no es verde". Por lo tanto se esta contradiciendo o se dice que es una falacia.

CursodeIngreso2013Matemtica0

Pgina15

Facultad de Informtica

Mdulo 1 Lgica

Una proposicin compuesta cuyos resultados en sus diferentes lneas de la tabla de verdad, dan como resultado V y F le llama contingente o contingencia.

1.2.4 Equivalencia lgica

Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden sus resultados para los mismos valores de verdad. Se indican como p q. Considero que un buen ejemplo es el que se estableci para ilustrar la tautologa en donde se puede observar que las columnas de (p q) y (q p) para los mismo valores de verdad, por lo tanto se puede establecer que (p q) (q p).

1.3 Esquemas proposicionales en una indeterminada

En lgebra y Aritmtica suele decirse que la siguiente expresin x+2 =5 Es una ecuacin. Tal expresin no es una proposicin, pues no tiene sentido afirmar que sea verdadera o falsa, pero existe algn reemplazo de x por un nmero de modo tal que se transforma en una proposicin. Por ejemplo, si x = 7 reemplazamos, 7 + 2 = 5, la cual en este caso es Falsa. Definicin: Se llama esquema proposicional en la indeterminada x a toda expresin que contiene a x, y posee la siguiente propiedad: Existe por lo menos un nombre tal que la expresin obtenida sustituyendo la indeterminada por dicho nombre, es una proposicin. Convencin Llamaremos simplemente esquema en lugar de esquema proposicional. Las indeterminadas suelen llamarse variables o incgnitas.

Ejemplos 1. x es blanca es esquema pues existe una constante esta flor que en lugar de la variable x produce la siguiente proposicin: Esta flor es blanca. Que esta proposicin sea Verdadera o Falsa depender de cual sea la flor particular que se est sealando. 2. Qu es x? NO es un esquema, pues no hay constante que sustituida en la variable produzca una proposicin. Ejercicio Si x es una indeterminada, decir cules de las siguientes expresiones son esquemas: 1) 2) 3) Juan y x fueron al teatro x es perro Distancia de P a x es igual a 2 (El punto P es conocido ) Pgina16

CursodeIngreso2013Matemtica0

Facultad de Informtica 4) 5) x doy

Mdulo 1 Lgica

x0yx 3

Vamos a utilizar smbolos tales como P(x), Q (x), F (x), para designar esquemas de incgnita x. DEFINICIN Si F(x) es un esquema en x y a es una constante, se llama valor de F(x) en la constante a a la expresin obtenida de F(x) sustituyendo x por a. El valor de F(x) para a se designa F(a).

Ejemplo F(x): x no es un objeto y a es esta casa F(a): Esta casa no es un objeto DEFINICIN Sea F(x) un esquema en x y a una constante El objeto a se llama raz del esquema F(x) o se dice que satisface a F(x) si y slo si F(a) es Verdadera

1.4 OPERADORES: Universal y Existencial

Hasta ahora se ha visto un mtodo para obtener proposiciones a partir de esquemas F(x): sustituir la variable x por una constante adecuada a de tal forma que F(a) sea una proposicin. Hay otro mtodo distinto que transforma un esquema en proposicin a partir del esquema F(x): es el mtodo de los operadores o cuantificadores. Tomemos un ejemplo, sea P(n) el esquema siguiente (notar que se cambi la variable x por n): P(n): n es un nmero primo Si a este esquema le anteponemos la locucin para todo n se obtiene Para todo n. n es un nmero primo. Esta afirmacin establece que cualquiera sea el objeto n, ese objeto ser un nmero primo y es sinnimo a: Todos los objetos son nmeros primos. No cabe duda que la anterior es una proposicin. Ms an, es Falsa.

CursodeIngreso2013Matemtica0

Pgina17

Facultad de Informtica

Mdulo 1 Lgica

Importante: Si a un esquema le anteponemos la locucin Para todo x se obtiene una proposicin!! La locucin Para todo x se simboliza x y se llama operador universal Tambin existe otro operador que transforma un esquema en proposicin y es el operador existencial, simbolizado x Veamos el ejemplo anterior P(n): n es un nmero primo y antepongamos la locucin Existe n tal que , obtenemos: Existe n tal que n es un nmero primo La cual es sinnimo de: Hay algn nmero primo, la cual es una proposicin, y adems es verdadera. Si a un esquema le anteponemos la locucin Existe x tal que se obtiene una proposicin. POR LO TANTO: Si se tiene un esquema P(n) puede obtenerse de l una proposicin mediante la adjuncin de los operadores:

UNIVERSAL: EXISTENCIAL: Ejercicio

( n ) : ( P ( n )) ( n ) : ( P ( n ))

En cada caso decir si se trata de esquemas, en tal caso transformarlo en una proposicin y hallar su valor de verdad:

1 P(n): n + 1 > n. 2 2 Q(n): n + 1 . 3 R(n): n 2 3 n + 2 = 0 . 4 S(n): n es un nmero racional.

Alcance de un operador
Sea el siguiente ejemplo:

(x ) : x es verde x es rojo

. (*)

Vemos que el operador existencial se refiere nicamente al esquema x es verde y NO a x es rojo, o sea que el alcance del operador llega nicamente al primer esquema, si quisiramos que alcance a los dos esquemas, tendramos que poner

( x ) : ( x es verde x es rojo )

o sea usaramos parntesis.

Del ejemplo precedente podemos deducir que: La expresin x es verde es el esquema ms simple que aparece en (*) inmediatamente despus del operador. La expresin x es verde x es rojo tambin es un esquema pero no es el ms simple.

CursodeIngreso2013Matemtica0

Pgina18

Facultad de Informtica

Mdulo 1 Lgica

La expresin x es rojo es un esquema tambin simple pero no aparece despus del operador. Definicin: Se llama alcance de un operador en x al esquema ms simple que aparece inmediatamente despus del operador, salvo que se presenten parntesis, en cuyo caso deben aplicarse las reglas habituales referentes al uso de parntesis.

Negacin de operadores
Sea la siguiente proposicin:

( n ) : n es un nmero primo , la cual sabemos que es Falsa.

Vamos ahora a negarla

( n ) : n es un nmero primo

En lenguaje corriente esto nos dice que no todos los nmeros son primos con lo cual su sinnima ser algunos nmeros no son primos, y simblicamente

( n ) : n no es un nmero primo
De lo anterior se puede deducir que son expresiones sinnimas De igual manera se

(n ) : P ( n ) y (n) P ( n ) ( n ) : P ( n ) y ( n) P ( n )

obtiene:

Por lo tanto, en palabras decimos que:

LA NEGACIN DE UN OPERADOR UNIVERSAL ES EQUIVALENTE A LA AFIRMACIN DE UN OPERADOR EXISTENCIAL CUYO ALCANCE ES LA NEGACIN DEL ALCANCE DEL PRIMERO. LA NEGACIN DE UN OPERADOR EXISTENCIAL ES EQUIVALENTE A LA AFIRMACIN DE UN OPERADOR UNIVERSAL CUYO ALCANCE ES LA NEGACIN DEL ALCANCE DEL PRIMERO. Ejercicios
1.- Expresar las siguientes proposiciones en forma simblica, negarlas y retraducir negacin al lenguaje corriente a) Juana no es justa pero mantiene el orden. b) Los alumnos conocen a los simuladores y los desprecian. c) Si los alumnos conocen a los simuladores, entonces los desprecian. 2.- Determinar en cada caso si la informacin que se da es suficiente para conocer el valor de verdad de las siguientes proposiciones compuestas. Justifica tu respuesta. su

CursodeIngreso2013Matemtica0

Pgina19

Facultad de Informtica
a) b) c)

Mdulo 1 Lgica

( p q) r
(p

r es V

q ) ( p r ) p es V y r es F q es V

( p q ) ( p q )

3.- Expresar mediante operadores y el smbolo de implicacin, la proposicin Todos los hombres son mortales Hay algn nmero que no es primo 4.- Expresar mediante operadores, signos de implicacin y conectivos lgicos las siguientes proposiciones a) Hay honrados y adems hay ladrones. b) Hay ladrones o hay honrados. c) Hay individuos que son ladrones o comen uvas. d) No todos comen uvas. e) En las frmulas obtenidas anteriormente indicar el alcance de los operadores. 5.- Expresar en lenguaje corriente las siguientes proposiciones. Establecer el alcance de los operadores a) x : (x es metal x se funde)

b) ( x : x es metal) el oro se funde c) ( x : x es cuadrado) ( x : x es paralelogramo) d)

[x: (x es hombre x es mortal)]

6.- a) Expresar simblicamente el siguiente teorema. Si un nmero es par entonces su cuadrado es par. b) Enunciar el contrarrecproco, el contrario y el recproco del teorema anterior. c) Demostrar el enunciado dado.

7-. Indicar cules de las siguientes frases son proposiciones

a) Un cuadrado tiene 3 lados. b) x > 2. c) x + 3 = 2 x

d) El dgito 26003 de es 4. e) El mes de abril del 2006. 8.- Escribir las siguientes proposiciones en la forma p entonces q, simbolizar cada una de ellas y negar a) y b). a) No existe una factorizacin de n cuando n es primo.

CursodeIngreso2013Matemtica0

Pgina20

Facultad de Informtica
b) x es un nmero entero si es natural. c) Los tringulos son polgonos. d) La funcin f es continua cuando es diferenciable. 9.- Construir las tablas de verdad de: a) b) c)

Mdulo 1 Lgica

( p q )

( p r ) q

( p q) r

10.- Justificando cada resolucin. a) Escribir una proposicin equivalente a ( p q ) b) Escribir el condicional de todas las maneras posibles, citndolas.

Adicionales
(Es importante hacer estos ejercicios ya que se repasa todo lo visto) 1) Simbolizar las siguientes proposiciones, usando proposiciones simples, asignando letras a las componentes. a) Todo conjunto infinito contiene un subconjunto infinito y el conjunto de los nmeros naturales es infinito. b) Todo nmero distinto de cero es divisible por 1, -1, por el mismo y por su opuesto. c) 25 no es divisible por 2 ni por 3 pero es mltiplo de 5. 2) Consideremos las siguientes proposiciones p, q, r, s. p: La galera era un barco antiguo de comercio. q: La galera era un barco antiguo de guerra. r: La galera era un barco antiguo que se mova con velas. s: La galera era un barco antiguo que se mova con remos. Escribir con palabras los resultados de las siguientes operaciones a) p q b) (q ) (r ) c)

r s d) q s

3) Hacer las tablas de verdad de las siguientes proposiciones a) ( p q ) b) (q ) (r )

CursodeIngreso2013Matemtica0

Pgina21

Facultad de Informtica
c) (s p ) ( s p ) 4) Simbolizar las siguientes proposiciones: a) Si

Mdulo 1 Lgica

5 3 entonces 5 3 0.

b) Si A, B y C son nmeros racionales tales que 2A+3B-5C = 0 entonces A=B=C=0 . c) Si dos nmeros enteros A y B son consecutivos y si otro entero T satisface que T divide a A y T divide a B entonces T=1 o T = -1. 5) a) Pasar a la forma si.entonces y simbolizar i) Juan ir a Crdoba slo si consigue pasaje en avin. ii) Es necesario ser argentino para ser presidente de la repblica. b) Expresar y simbolizar utilizando la palabra suficiente i) La temperatura bajar si comienza a soplar el viento del sur. ii) Si aprob el exmen entonces contest bien el 40 % de sus preguntas. c) Expresar y simbolizar utilizando la palabra necesario i) Si un tringulo est inscripto en un semicrculo entonces es rectngulo. ii) Pedro es argentino slo si es americano. 6) Dado el condicional p q enunciar ste y los condicionales recproco, contrario y contrarrecproco: a) p: n es divisible por 3. q: 2n es divisible por 6. b) p: x 2 = 36. q: x = -6. c) p: r es solucin de A+X=B. q: - r es solucin de B+X = A. 7) Establecer si las siguientes frmulas constituyen tautologas, contradicciones o contingencias.

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

8) Simbolizar utilizando esquemas, cuantificadores y conectivos lgicos. a) Hay objetos rojos y adems hay objetos verdes. b) Hay nmeros pares o todos los nmeros son mltiplos de 3. c) No todos los nmeros son mltiplos de 5. d) Todos los nmeros no son mltiplos de 5. 9) Dados los siguientes esquemas proposicionales: x es ser vivo entonces x es mortal.

CursodeIngreso2013Matemtica0

Pgina22

Facultad de Informtica
x-1 > 0 entonces x > 1. x es par y x es mltiplo de 5.

Mdulo 1 Lgica

a) Anteponer el cuantificador universal a cada uno de ellos y pasar la proposicin obtenida al lenguaje corriente. b) Anteponer el cuantificador existencial a cada uno de ellos y pasar al lenguaje corriente la proposicin obtenida. 10) Pasar al lenguaje corriente los esquemas: N(x): x es natural D (x, y): x divide a y I(x, y): x es igual a y E(x): x es entero M (x, y): x es menor que y

a )( x )( N ( x ) E ( x )) b)( x )( E ( x ) N ( x )) c )( x )( y )(( N ( x ) N ( y ) D ( x, y )) D ( y , x ) I ( x, y )) d )(( x ))( N ( x ) M ( x,0)) e)( x )( E ( x ) M ( x,0))

11) Simbolizar utilizando cuantificadores y esquemas convenientes: a) Algunos hombres son santos. b) Ninguna virtud es una cualidad natural. c) No todo nmero real es un nmero racional. d) Todos los nmeros primos son impares excepto el 2. e) Si existe un nmero natural menor que 4 entonces todo mltiplo de 6 es mltiplo de 5. 12) Escribir en lenguaje coloquial y luego simbolizar las siguientes definiciones matemticas: a) b)

x y f ( x) f ( y ) f ( x) = f ( y ) x = y f ( x) se lee: imagen de x.

Ayuda para escribir en lenguaje coloquial: A qu conclusin arriba? Justifique.

CursodeIngreso2013Matemtica0

Pgina23

Facultad de Informtica

Mdulo 1 Lgica

CursodeIngreso2013Matemtica0

Pgina24