NBLM

FAC.
DE INGENIERIA UCA
ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2014
Nociones muy Basicas de Logica Matematica

Mara del Carmen Calvo
Contenido
Nociones muy basicas de Logica Matematica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

Proposicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Conjuncion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Ejercicio 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Ejercicios 2 y 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Disyuncion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Ejercicios 4 y 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Negacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Ejercicios 6 a 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Ejercicio 9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Tautologa Contradiccion Contingencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Ejercicio 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Implicacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Ejercicios 11 a 15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Implicaciones asociadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Ejercicios 16 a 18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Metodos para demostrar implicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Ejercicios 19 y 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
ii
FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014
Ejercicio 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Apendice: Alfabeto Griego . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica
Definiciones
El objetivo que nos proponemos al incluir este tema es brindarle al alumno un primer acercamiento a un sistema formal que le proporcionara herramientas para ordenar su pensamiento.
Esto le facilitara la tarea de encontrar las razones que fundamenten sus afirmaciones.
Mencionamos a continuacion la terminologa basica que utilizaremos
F Proposicion: frase u oracion de la que es posible decir que es verdadera o que es falsa.
Las oraciones
G 5 es un numero par
G 5 es un numero primo
G Santa Rosa es la capital de Corrientes
G Julia es mayor de edad
son ejemplos de proposiciones dado que de cada una de ellas se puede decir que es verdadera
(la segunda) o falsa (la primera y tercera). En el caso de la u ltima no tenemos suficiente informacion como para saber si es verdadera o falsa pero desde luego le corresponde uno de
los dos valores de verdad.
En cambio, a las siguientes oraciones o frases
G Como anillo al dedo
G Golpee antes de entrar
G Como llego a Plaza San Martn?
no las podemos considerar proposiciones dado que a ninguna de ellas se le puede asignar un
valor de verdad: no tiene sentido preguntarse si es verdadera o falsa.
Notacion
Utilizaremos las letras minusculas p, q, r, s etc. para representar proposiciones. De esta
forma podramos escribir
p = 5 es un numero primo
q = Santa Rosa es la capital de Corrientes
La proposicion p afirma algo cierto por lo cual diremos que tiene valor de verdad V. En
cambio lo expresado por la proposicion q es falso y en consecuencia le asignamos valor de
verdad F. En smbolos
V (p) = V
,
V (q) = F
Aclaracion
Si uno dice x > 2 aunque no lo ubique en un determinado contexto es muy posible
que una gran parte de quienes escuchan den por sobreentendido que x esta representando a
un numero con lo cual tendra sentido preguntarse si la expresion
x>2
es verdadera o falsa y se la podra considerar una proposicion a .
Sin embargo no se puede descartar que algun otro piense que esa letra x puede estar representando a cualquier objeto, digamos por ejemplo silla. En tal caso quedara
silla > 2
de lo que claramente no cabe plantearse si es verdadero o falso; simplemente no tiene
sentido. Si ampliamos tanto los posibles valores de x es claro que no podemos considerar
que x > 2 sea una proposicion.
Con el objeto de hacer mas facil la lectura vamos a convenir que, salvo que se indique
expresamente lo contrario, las variables como x, y, z, etc. representan numeros reales.
Esto nos va a garantizar sin tener que aclararlo continuamente que expresiones del tipo
x2 6 2 ,
e x = 4k
x + y 2z = 3
puedan ser consideradas proposiciones dado que, en cuanto reemplacemos a x , y , z , k

por numeros concretos quedara una afirmacion verdadera o una afirmacion falsa.
a
desde luego, una vez que se reemplace a x por un numero concreto
Ejercicio 1
Determine cuales de las siguientes frases u oraciones son proposiciones y para aquellas que
lo sean indique su valor de verdad.
a) es un numero entero
d) e x
g) e x = x2
b)
e) Salio el sol.
h) x, y, z
c) El lunes pasado
f) Hoy es jueves.
i) x, y, z Z
F Conjuncion
Dadas dos proposiciones p y q creamos una nueva oracion
enunciado de p y enunciado de q
Por ejemplo, si fuese p = Esta haciendo fro y q = Esta lloviendo obtendramos la
oracion
Esta haciendo fro y esta lloviendo
Conociendo el valor de verdad de p y de q es claro que podemos averiguar el de esta nueva

oracion que sera V solo cuando los valores de verdad de p y de q tambien lo sean y sera F
en cualquier otro caso.
Resulta as que esta construccion que hicimos a partir de las proposiciones p y q es tambien
una proposicion. La llamamos conjuncion de las proposiciones p y q y la denotamos por
p q (se lee p y q)
Pongamos un ejemplo. Consideraremos que n representa a un numero natural y definimos
las proposiciones
p = n es primo
,
q = n es par
la conjuncion de las proposiciones p y q es entonces la proposicion
p q = n es primo y n es par
Como no sabemos quien es n no podemos dar el valor de verdad de estas proposiciones.
Conviene notar que al ir variando el valor de n se van generando distintos pares de proposiciones 1 . Analicemos algunos casos:
G n=2
Para este valor de n tenemos las proposiciones
p(2) = 2 es primo
q(2) = 2 es par
y sus valores de verdad son

V (p(2)) = V
V (q(2)) = V
por lo tanto
V (p(2) q(2)) = V
G n=3
Tenemos
p(3) = 3 es primo
V (p(3)) = V
q(3) = 3 es par
V (q(3)) = F
p(3) q(3) = 3 es primo y 3 es par
V (p(3) q(3)) = F
G n = 15
Ahora
p(15) = 15 es primo
V (p(15)) = F
q(15) = 15 es par
V (q(15)) = F
p(15) q(15) = 15 es primo y 15 es par

1
V (p(15) q(15)) = F
en realidad deberamos haber llamado pn o p(n) a p y qn o q(n) a q para resaltar el hecho que las proposiciones
van variando segun vara n.
Ejercicio 2
En cada caso halle V (p) , V (q) y V (p q)
a) p = Ana es rubia
q = Jorge es alto
Datos: Ana es pelirroja, Jorge mide 1,95m
b) p = < Z
q = 23 Q
Ejercicio 3
Halle un par de proposiciones p y q tales que
p q = f y g son funciones continuas en 2
y halle V (p q) en cada una de las siguientes situaciones
a) f (x) = x2 , g(x) = ln x
b) f (x) =
1
x2
, g(x) = e x
c) f (x) =
1
x2
, g(x) = ln |x 2|
F Disyuncion
Dadas dos proposiciones p y q creamos una nueva oracion
enunciado de p o enunciado de q
Sabiendo cual es el valor de verdad de p y de q es claro que podemos averiguar el de esta
nueva oracion. Para que sea verdadera basta con que una de las dos lo sean y u nicamente
resulta falsa cuando ambas lo son.
Esta construccion que hicimos a partir de las proposiciones p y q es tambien una proposicion.
La llamamos disyuncion de las proposiciones p y q y la denotamos por
p q (se lee p o q)
Para ejemplificar volvemos a recurrir a las proposiciones
p(n) = n es primo
q(n) = n es par
la disyuncion de estas proposiciones es entonces la proposicion

p(n) q(n) = n es primo o n es par
Tal como observamos anteriormente, al variar n van cambiando las proposiciones p(n) , q(n)
y p(n) q(n). Analicemos los mismos casos considerados para la conjuncion
G n=2
Para este valor de n tenemos las proposiciones
p(2) = 2 es primo
q(2) = 2 es par
y sus valores de verdad son

V (p(2)) = V
V (q(2)) = V
por lo tanto
V (p(2) q(2)) = V
G n=3
Tenemos
p(3) = 3 es primo
V (p(3)) = V
q(3) = 3 es par
V (q(3)) = F
p(3) q(3) = 3 es primo o 3 es par
V (p(3) q(3)) = V
G n = 15
Ahora
p(15) = 15 es primo
V (p(15)) = F
q(15) = 15 es par
V (q(15)) = F
p(15) q(15) = 15 es primo o 15 es par

Ejercicio 4
En cada caso halle V (p) , V (q) y V (p q)
a) p = Ana es rubia
q = Jorge es alto
Datos: Ana es pelirroja, Jorge mide 1,95m
b) p = < Z
q = 23 Q
c) p = Z
q = 23 < Q
Ejercicio 5
Halle un par de proposiciones p y q tales que
a) p q = |x| > 2
b) p q = x A B
siendo A y B conjuntos.
V (p(15) q(15)) = F
F Negacion
Dada una proposicion p, por tener obligatoriamente asociado un valor de verdad, podemos
decir que su enunciado afirma algo. Por lo tanto si definimos
q = p es falsa
resulta que cuando p es verdadera q es falsa y recprocamente; luego, q tambien tiene asociado un valor de verdad y es en consecuencia una proposicion. La denotamos con
p
y la llamamos negacion de p.
Notemos que siempre vale
V ( p) , V (p)
Algunos ejemplos,
G si p = x = 3, entonces p = x , 3
G si p = el vestido es azul, entonces p = el vestido no es azul
G si p = Mariana viajo a Cordoba, entonces p = Mariana no viajo a Cordoba
G si p = f es derivable , entonces p = f no es derivable
G si p = Juan habla ingles y aleman , entonces p = Juan no habla ingles y aleman
Nota: si V (p) = F se concluye que o bien Juan no habla ingles o bien no habla aleman. Podra hablar
alguno de los dos idiomas pero no los dos.
G si p = Juan habla ingles o aleman , entonces p = Juan no habla ingles o aleman

Nota: si V (p) = F se concluye que Juan no habla ni ingles ni aleman.
Ejercicio 6
En cada caso de el enunciado de la negacion de la proposicion dada
a) La funcion f : R R satisface f (x) > 0 para cualquier x R
b) Si llueve no salgo de casa
c) 2 es raz de P
d) La funcion f : R R toma valores positivos
e) x > 3
Ejercicio 7
Dadas las siguientes proposiciones
p = Juan es abogado
q = e3 = 0
r = log (1) = 0
s = Juan es contador
2
se lee no p
(Nota : es el mismo Juan mencionado en p)
a) cuando la informacion sea suficiente halle el valor de verdad de cada una

b) de los enunciados de las negaciones de cada una de ellas
c) de los enunciados de las siguientes operaciones entre ellas
pq ,
ps
( p) ( s)
( r) ,
(q r) ( q)
d) calcule: V ((q r) ( q)) , V (p ( p))

e) le alcanza la informacion para poder calcular V (p r) , V (p q) y V (p s)?
Ejercicio 8
Considere las proposiciones p y s del ejercicio anterior y asuma como cierto que Juan es
abogado pero no contador.
a) Exprese como disyuncion a la proposicion que afirma lo que estamos asumiendo:
Juan es abogado pero no contador
b) explique por que V (p) = V , V (s) = F y p q es falsa son proposiciones y luego
halle
V (V (p) = V) , V (V (s) = F) , V (p q es falsa)
F Tablas de Verdad
Presentamos ahora un procedimiento que permite calcular el valor de verdad de una formula;
es decir, de una proposicion construida a partir de otras mediante operaciones como por
ejemplo las definidas antes. Comenzamos por las situaciones mas simples: como calcular el
valor de verdad de la negacion, la conjuncion y disyuncion de proposiciones dadas:
V
F
F
V
pq
pq
V
V
F
F
V
F
V
F
V
F
F
F
V
V
F
F
V
F
V
F
V
V
V
F
Nota: en las dos primeras columnas de cada una de las dos u ltimas tablas se ponen todos los posibles valores
de verdad que puede tomar el par de proposiciones p y q. En la tercera ubicamos el valor de verdad que le
corresponde a la operacion en cada uno de los casos.
De esta forma, si alguien nos asegura que V (p) = V y V (q) = F la segunda fila de la tabla de la conjuncion
nos permite afirmar que V (p q) = F.
Veamos algunos ejemplos
1. Hallemos los valores de verdad de una operacion un poquito mas compleja: p (p q),
a partir de conocer los de las proposiciones p y q. Lo vamos a resolver con la misma
idea que se emplea para calcular, por ejemplo, a(b + c); es decir, primero hallamos b + c
y luego hacemos el producto. En nuestro caso primero necesitamos hallar los valores de
verdad de p q y luego aplicamos la conjuncion a p y p q. Planteamos entonces esta
tabla
p
pq
p (p q)
V
V
F
F
V
F
V
F
V
V
V
F
V
V
F
F
Nota: los valores de la u ltima columna los hallamos aplicando la tabla de la conjuncion a p y p q; es
decir, utilizando las columnas primera y tercera.
2. Con las ideas del ejemplo anterior hallemos la tabla de verdad de la proposicion: (pq)
Deberemos calcular primero la tabla de verdad de p q. Planteamos entonces
p
pq
(p q)
V
V
F
F
V
F
V
F
V
F
F
F
F
V
V
V
3. Calculemos a continuacion la tabla de verdad de la proposicion: ( p) (p q)

p
pq
( p) (p q)
V
V
F
F
V
F
V
F
F
F
V
V
V
V
V
F
F
F
V
F
4. Por u ltimo vamos a dar un ejemplo en el que intervienen tres proposiciones. La complicacion en este caso es que la terna p , q , r va a determinar 23 posibles resultados (cada una
de ellas tiene dos valores posibles). Luego la tabla va a tener ahora 8 filas. Calculemos la
tabla de verdad de (p q) (p r)
p
pq
pr
(p q) (p r)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
F
F
F
F
V
F
V
F
F
F
F
F
V
V
V
F
F
F
F
F
Ejercicio 9
Dadas las proposiciones p, q y r, halle las tablas de verdad de las siguientes proposiciones
(p q) ,
( p)
p (q r) ,
p ( p)
F Tautologas Contradicciones Contingencias

Llamamos tautologa a la formula 3 cuyo valor de verdad es siempre V. Por ejemplo,
p
p ( p)
V
F
F
V
V
V
El valor de verdad de p ( p) es siempre V; no depende del valor de verdad de p. Es

entonces una tautologa.
Llamamos contradiccion a la formula cuyo valor de verdad es siempre F. Por ejemplo,
p
p ( p)
V
F
F
V
F
F
El valor de verdad de p ( p) es siempre F independientemente del valor de verdad de p.

Luego, se trata de una contradiccion.
Las formulas que no son tautologas ni tampoco contradicciones se llaman contingencias.
Ejercicio 10
Clasifique las siguientes formulas
a) ( p)
d) ( (( p) q) ) ( q q)
b) (p ( p))
c) ((p q)) r
F Implicacion
En el lenguaje habitual uno dice que una afirmacion implica otra cuando el saber que la
primera es verdadera nos permite asegurar que la segunda tambien lo es.
Pongamos un ejemplo: un alumno entrega su examen, pregunta por el criterio de correccion
y el docente le da esta respuesta:
Si resuelve bien tres ejercicios aprueba
3
cf. pagina 7
10
Formalicemos esto utilizando el lenguaje que introdujimos antes. Consideremos las proposiciones
p = su examen tiene tres ejercicios bien resueltos
q = su examen esta aprobado
La respuesta del docente tambien se podra redactar en la forma

Si su examen tiene tres ejercicios bien resueltos entonces su examen esta aprobado
Dicho de esta manera es claro que equivale a decir
p implica q
Claramente al dar esta respuesta el docente no estaba afirmando ni que el examen tena
efectivamente tres ejercicios bien resueltos ni que el alumno haba aprobado el examen. Solo
cuando se confirmara que haba tres ejercicios bien hechos se iba a confirmar la aprobacion
del examen.
Lo que dijo el docente no deja de ser cierto porque se de que el alumno no llega a hacer tres
ejercicios bien y no le aprueban el examen.
Se podra interpretar la afirmacion del docente como un compromiso: cada vez que un
alumno cumpla un determinado requisito (hacer tres ejercicios bien) e l tomara determinada
accion (aprobarle el examen).
Es claro que lo dicho por el docente tiene asociado un valor de verdad: sera verdadero o
falso segun el docente cumpla o no el compromiso. Que debera pasar para poder decir
(sin faltar a la verdad) que el docente no cumplio con este compromiso? Debera haber un
alumno que habiendo resuelto correctamente tres ejercicios no aprobo. Es decir cuando
V (p) = V
V (q) = F
o sea
V (p) = V
V ( q) = V
que es el u nico caso en que

V (p ( q)) = V
En consecuencia se podra decir (sin faltar a la verdad) que el docente cumplio con su compromiso si
(p ( q)) es verdadera
Dadas dos proposiciones p y q decimos que p implica q y lo expresamos simbolicamente
por
p = q
(se lee p implica q)
cuando lo afirmado por p trae como consecuencia lo afirmado por q. Su tabla de verdad
coincide, por lo argumentado en el ejemplo, con la de la proposicion (p ( q)); o sea
p
p = q
V
V
F
F
V
F
V
F
V
F
V
V
11
La proposicion p se llama antecedente y la proposicion q se denomina consecuente de la

implicacion.
Importante
Es esencial tener claro que tanto el antecedente como el consecuente de una implicacion
son proposiciones.
Se desprende de lo dicho que el smbolo = tiene un significado muy preciso que debe
ser respetado. Por ejemplo, expresiones del tipo
= 2x + y
x + 3 < 2 = x2
= f es continua
carecen por completo de sentido puesto que
2x + y ,
x2
no son proposiciones (en ningun caso cabe preguntarse si son verdaderas o falsas).
Las palabras entonces o luego no pueden ser reemplazadas por el smbolo = .
Ejercicio 11
Compruebe que las siguientes formulas son tautologas
a) p = p q
b) p q = p
c) (p = q) = ( q = p)
Ejercicio 12
En cada uno de los casos siguientes compruebe que se trata de implicaciones y halle: antecedente, consecuente y el valor de verdad de la implicacion
a) x R y x < 3 = 2x + 1 < 7
b) f es continua en 3 = f es derivable en 3
c) f es derivable en 3 = f es continua en 3
d) x R>0 y x < 2 = x2 < 4
e) x R y x < 2 = x2 < 4
f) x A B = x A
12
Podra responder sin contar con mas informacion cual es el valor de verdad de cada
antecedente y consecuente?
Resolucion de un ejercicio similar

x A = x A B
Tanto de x A como de x A B tiene sentido afirmar que es verdadera o falsa; luego,
son proposiciones.
antecedente: x A
consecuente: x A B
valor de verdad de la implicacion: llamemos p = x A y q = x B. Teniendo en
cuenta la definicion de union de conjuntos, la implicacion dada se puede expresar en la
forma
p = p q
La u nica manera en que una implicacion puede ser falsa es cuando el antecedente es verdadero y el consecuente falso. Pero si p es verdadera, entonces p q tambien lo es a .
Luego,
V (x A = x A B) = V
En realidad, esta implicacion es una tautologa como lo muestra la siguiente tabla de verdad
p
pq
p = p q
V
V
F
F
V
F
V
F
V
V
V
F
V
V
V
V
Mientras no sepamos quien es x y quienes son los conjuntos A y B no contamos con la

informacion necesaria para dar el valor de verdad de p y q.
a
cf. tabla de verdad de la disyuncion y Ejercicio 5
Ejercicio 13
Escriba en palabras las siguientes expresiones y explique por que no son implicaciones 4
a) x3 2x + 7 = x + 2
b) x3 2x + 7 = x + 2 = 3
c) sen x = continua
d) sen x = es continua
4
por lo que se hizo un muy mal uso del smbolo =
13
e) races de X 2 1 = 1, 1
Resolucion de un ejercicio similar

Supongamos que L representa una recta en el plano y planteemos
L = y = 2x + 3
Algunas formas de expresar en palabras a esta aparente implicacion pueden ser
1. La recta L implica que y = 2x + 3
2. Si la recta L entonces y = 2x + 3
3. La ecuacion y = 2x + 3 es consecuencia de la recta L
4. La ecuacion y = 2x + 3 se deduce de la recta L
No es una implicacion porque lo que debera ser el antecedente L no es una
proposicion ya que no se puede decir si es verdadera o falsa.
Ejercicio 14
Se sabe que V (p) = V y que V (p = q) = V. Le alcanza la informacion para calcular el
valor de verdad de q ?
Ejercicio 15
Sea P = X 2 + X 2. Considere las siguientes proposiciones
p = 2 es raz del polinomio P ,
q = el resto de dividir a P por X + 2 es cero
Averigue el valor de verdad de p y de p = q y detalle los pasos seguidos para llegar a cada
respuesta.
Necesita verificar directamente el valor de verdad de q o lo puede deducir utilizando la conclusion del ejercicio anterior?
F Equivalencia
Decimos que la proposicion p es equivalente a la proposicion q, o bien que p y q son
equivalentes, cuando ambas proposiciones p = q y q = p son verdaderas. Esto
lo indicamos simbolicamente por
p q (se lee p si y solo si q)
Recordando que la conjuncion es verdadera u nicamente cuando ambas lo son, decir que p y
q son equivalentes es lo mismo que decir que la proposicion
(p = q) (q = p)
es verdadera. De forma que p q tiene la siguiente tabla de verdad
14
p q
V
V
F
F
V
F
V
F
V
F
F
V
Es decir que p y q son equivalentes cuando ambas tienen el mismo valor de verdad.
F Implicaciones asociadas
Dadas las prposiciones p y q consideremos la implicacion
p = q
A partir de ella se pueden generar otras implicaciones vinculadas a ella que no en todos los
casos resultaran equivalentes.
G Implicacion recproca:
q = p
G Implicacion contraria:
p = q
G Implicacion contrarrecproca:
q = p
Ejercicio 16
Utilizando tablas de verdad averigue si
a) p = q = q = p es o no una tautologa.
Se puede asegurar que la validez de una implicacion garantiza la de su recproca?
Si la respuesta es negativa, que valor de verdad deberan tener el antecedente y el consecuente para que ello ocurra?
b) p = q = p = q es o no una tautologa.
Se puede asegurar que la validez de una implicacion garantiza la de su contraria?
Si la respuesta es negativa, que valor de verdad deberan tener el antecedente y el consecuente para que ello ocurra?
c) p = q q = p es o no una tautologa.
Se puede asegurar que toda implicacion es equivalente a su contrarrecproca?
Ejercicio 17
Dadas las proposiciones
p = 0 < a < b
q = b2 a2 > 0
(a, b R)
a) calcule el valor de verdad de las proposiciones p = q y q = p

Sugerencia: si le surge alguna duda sobre las propiedades que satisfacen los numeros reales hay un apunte en
la pagina que puede serle u til.
b) deduzca del item anterior el valor de verdad de p q.
15
Ejercicio 18
Repita el ejercicio anterior con las siguientes proposiciones
p = a < b
q = a2 < b2
(a, b R)
F Metodos para demostrar implicaciones

Convengamos que cuando decimos que queremos demostrar la implicacion p = q en
realidad lo que pretendemos hacer es demostrar que es verdadera; i.e., que
V (p = q) = V
Recordemos que para que esto pase lo u nico que no puede suceder es que
V (p) = V
V (q) = F
Entonces, para demostrar que p = q debemos ver que esta situacion no se puede dar.
Presentaremos ahora algunos metodos que nos ayudaran a lograr el objetivo:
G Metodo Directo
Como cuando el antecedente es falso la implicacion es verdadera, solo resta analizar
entonces el caso en el que p es verdadera.
Entonces, suponemos que p es verdadera y usando esa informacion tenemos que llegar
a que q tambien lo es.
G Metodo Indirecto
Si el consecuente es verdadero podemos asegurar que la implicacion es verdadera, solo
resta entonces analizar el caso en que q es falsa.
Entonces, suponemos que q es falsa y debemos llegar a ver que p tambien lo es.
Nota: sera como haber aplicado el metodo directo a la implicacion q = p que es equivalente a
p = q como se puede comprobar viendo que (p = q) ( q = p) es una tautologa.
G Demostracion por el Absurdo

Habamos visto que la proposicion p = q era equivalente a (p ( q)) 5 ; luego,
probar que p = q es verdadera es lo mismo que probar que
p ( q)
es falsa.
Entonces, suponemos que p es verdadera y que q es falsa y a partir de esos datos tenemos que concluir que debera ser cierto algo que es claramente falso, contradictorio o
absurdo.
5
tienen la misma tabla de verdad, lo que dice que (p = q) ( (p ( q))) es una tautologa.
16
Ejemplo
Demuestre que x A B = x A
Lo probaremos de tres formas distintas aplicando los metodos descriptos arriba.
Aplicando el Metodo Directo
Recordemos que si A, B son conjuntos
A B = {u | u A y u B}
En este caso,
p = x A B
q = x A
El metodo directo nos sugiere aceptar que p es verdadera y llegar a ver que q tambien lo es.
Como para que quede bien claro cuales son los pasos llamamos
r = x B
Entonces p = q r y como estamos aceptando que p es verdadera, deben serlo tambien q
y r. En particular obtenemos que q es verdadera que es precisamente a donde queramos
llegar.
Comentario
Lo hecho recien no es lo que se pretendera que hiciera un alumno para comprobar
que la implicacion es verdadera. La razon de haberlo hecho con tanto detalle es
simplemente para que se vea como se aplico el metodo directo. Por supuesto, si el
alumno hiciera esto no se le va considerar mal pero alcanzara con que escribiera lo
siguiente:
Si x A B, entonces x A y x B. Luego, en particular,

xA
como queramos probar.
Aplicando el Metodo Indirecto

En este caso suponemos que la proposicion q es falsa, es decir, aceptamos que
x<A
17
y tenemos que llegar a que p tambien es falsa, o sea a que x < A B. Recordando la notacion
introducida en el caso anterior resulta que p = q r y q es falsa; luego, p es falsa que es
precisamente lo que debamos probar. Como en el caso anterior, bastara haber escrito
Supongamos que x < A, entonces es falso que x A y x B, o sea

x < A B; por lo tanto,
x A B = x A
que es lo que debamos probar.
Aplicando la Demostracion por el absurdo

Al aplicar este metodo aceptamos que x A B es verdadera y que x A es falsa y tenemos
que llegar a un absurdo. Tenemos entonces que
x AB
x<A
pero esto equivale a decir

xA
xB y
x<A
de aqu se deduce que

xA
x<A
Pero esto es una contradiccion 6 por lo que queda demostrada la implicacion dada.
En este caso bastara haber escrito
Razonando por el absurdo suponemos que

x AB
x<A
entonces,
xA
xB y
x<A
en particular
xA
x<A
que claramente es absurdo. Por lo tanto la implicacion es verdadera.
q ( q)
18
Nota: pero es importante tener en cuenta que escribir solamente
x AB
xA
y
xA
x<A
y
xB y
y
x<A
x<A
no alcanza para que el ejercicio se considere bien resuelto. La redaccion es necesaria.
Ejercicio 19
Imite lo hecho en el ejemplo anterior para probar las siguientes implicaciones
a) x A = x A B
b) Si m | n y n | p, entonces m | p
(m, n, p Z)
Ejercicio 20
Determine si la siguiente argumentacion prueba que
a = 0 b = 0 = ab = 0
y marque los errores que encuentre, tanto en las afirmaciones como en la redaccion.
Nota: se considera ya probado que x0 = 0x = 0 para todo x R
Antecedente: p = a = 0 b = 0
Consecuente: q = ab = 0
a = 0 = ab = 0b = 0
p =
o
b = 0 = ab = a0 = 0
Hemos probado entonces que p = q.
= ab = 0
19
Algunos consejos
Los ejemplos elegidos han sido muy simples precisamente para que se vea claro como se
aplican los distintos metodos. En general nos encontraremos con situaciones en las que no
es tan evidente vincular el antecedente con el consecuente. Para ello es bueno detenerse
a pensar un poco en como podemos utilizar todos nuestros conocimientos sobre el tema
de forma de lograr probar lo que nos piden. Cuando nos enfrentamos a demostrar una
implicacion en la que las cosas no estan tan claras como en los casos anteriores puede ser
u til seguir estos pasos:
G reconocer la hipotesis y la tesis
Cabe aclarar que en el enunciado de la hipotesis pueden intervenir varias proposiciones
que conviene tener bien indentificadas.
G leer con cuidado la hipotesis y la tesis para entender bien que es lo vamos a suponer
valido y que lo que tendremos que justificar que lo es
G anotar todos los enunciados matematicos que pueden tener que ver tanto con la
hipotesis como con la tesis
Puede tratarse de definiciones, teoremas, axiomas o cualquier tipo de resultado del que
estemos seguros de su validez.
G elegir uno de los metodos de demostracion
Por lo general siempre hay uno que se adapta mejor a la implicacion en cuestion. Podra
suceder que no nos demos cuenta de ello hasta haber probado; esto es bastante habitual. Si
vemos que con el metodo elegido se complica mucho, pensemos cual de los otros podra
facilitarlo y volvemos a intentar. Con el tiempo esto se vuelve mucho mas natural y se
necesitan menos intentos hasta lograr el objetivo.
Ejemplo
Veamos como se aplican los consejos anteriores para probar que si p, m, n Z vale
p es primo y p | mn = p | m
q1 = p, m, n Z
Hipotesis :
q2 = p es primo
q3 = p | mn
p|n
Tesis : r = p | m
Enunciados a tener en cuenta 7

(i) p N , p > 1 se dice primo si sus u nicos divisores son 1 y p
(ii) dados k, s Z se dice que k | s si existe un t Z tal que s = kt
7
se supone que todos los resultados mencionados fueron probados antes
p | n
20
(iii) si d = mcd(a, b) existen enteros u, v tales que d = au + bv

(iv) si m Z, m , 0, entonces |m| > 1
(v) a, b Z , a | b = |a| 6 |b|
(vi) todo entero c divide a 0
Metodo elegido : Demostracion por el absurdo
Ideas para la demostracion:
Habiendo elegido demostrarlo por el absurdo tenemos que suponer que q1 , q2 , q3 son verdaderas
y que r es falsa. Consideramos entonces que son validas las siguientes afirmaciones
p, m, n Z
p es primo ,
p | mn ,
p - m,
p-n
Saquemos ahora algunas conclusiones 8

1. como p divide a mn: existe a Z tal que mn = ap
2. si n = 0, p | n (por (vi) )
3. si m = 0, p | m (por (vi) )
4. 2. y 3. nos sugieren que basta probar la implicacion con la hipotesis adicional m, n , 0.
5. como p es primo , p - m y p - n; luego, mcd(p, m) = 1 y mcd(p, n) = 1
6. a partir de (iii) y teniendo en cuenta 5. resulta que existen enteros u, v, w, z tales que
up + vm = 1
wp + zn = 1
7. notemos que si multiplicamos a ambos miembros de estas igualdades por n y m (respectivamente) obtenemos
n = upn + vmn
,
m = wpm + znm
usando 1.
n = upn + vap = p(un + va)
m = wpm + zap = p(wp + za)
y esto dice que p | n y p | m lo que contradice algunas de nuestras suposiciones. Ya estamos

en condiciones de redactar la demostracion.
Demostracion: 9
Razonando por el absurdo vamos a suponer que la hipotesis es verdadera y la tesis falsa. Por lo
tanto podemos concluir que
p, m, n Z
8
9
p es primo ,
p | mn ,
p - m,
por supuesto cuanto mas sepamos del tema mas ideas vamos a generar
propiamente dicha
p-n
21
Entonces p y m son coprimos y lo mismo vale para p y n. Usando el resultado (iii) podemos
afirmar que existen enteros u, v, w, z tales que
up + vm = 1
wp + zn = 1
y si multiplicamos miembro a miembro por n y m respectivamente

n = upn + vmn
m = wpm + znm
pero tambien es cierto que mn = pa (para algun a Z); luego,

n = p(un + va)
m = p(wm + za)
p|m
y esto asegura que

p|n
pero entonces tendran que ser validas estas proposiciones

p-n
p|n
p-m
p|m
lo que claramente es absurdo.

Resulta as que no puede suceder que el antedente sea verdadero y el consecuente falso. Por lo
tanto la implicacion es verdadera, como queramos probar.
Aclaracion
Si revisamos con cuidado la demostracion notaremos que algunos de los
enunciados y algunas de las conclusiones que anotamos al comienzo no
fueron utilizadas. Esto suele ocurrir: uno va anotando todo lo que le parece
que puede tener relacion y que puede ser u til. Cuando comienza a hacer
la demostracion va eligiendo las que realmente le sirven. Tambien puede
suceder que surjan otras en las que no se haba pensado en un comienzo.
Ejercicio 21
Una vez que haya ledo con cuidado el ejemplo anterior resuelvalo pero eligiendo el metodo
directo.
22
Apendice
Alfabeto Griego
Mayuscula
A
B
E
Z
H
I
K
M
N
Minuscula
Nombre
alfa
beta
gama
delta
epsilon
dseta
eta
zeta o tita
iota
kappa
lambda
mu
nu
xi
omicron
pi
ro
sigma
tau
upsilon
fi
ji
psi
omega
23
Problemas
Al resolver cada uno de estos ejercicios debe tener muy presente y saber aplicar los
temas vistos en este trabajo aunque no se haga una mencion explcita en el enunciado.
Esto se aplica tambien a los trabajos practicos y muy especialmente a los examenes.
1. Sean A, B, C subconjuntos del conjunto U. Compruebe la validez de las siguientes afirmaciones

a) A (B C) = (A B) (A C)
b) A (B C) = (A B) (A C)
c) A B = U B U A
d) A B = A B = B
A B = A
2. Pruebe que para cada a, b R vale

a) (a)(b) = ab
b) a = 0 b = 0
ab = 0
c) ab = 0
a=0 b=0
a
d) si b , 0:
= 0 a = 0
b
3. En cada caso, indique el codominio y halle la imagen
a) f : R
b) g : [1, 2]
c) h : R>3
f (x) = (x, x)
, g(x) = (x, x)
, h(x) = (x, x)
Tienen que tener necesariamente distinto codominio? Son iguales estas tres funciones?
4. Sea f una funcion cuyo efecto es dejar todo como estaba; es decir, f (x) = x para cada
x Dom f . Encuentre la imagen de f en cada una de las siguientes situaciones y haga un
esquema de su grafico
a) f : R R
b) f : [2, 1] R
c) f : R>3 R
Encuentra algun tipo de vinculacion entre los resultados de este problema con los del problema 3?
Nota: Por supuesto en cada inciso la letra f representa a una funcion distinta. Por que?
24
5. Sean A, B, C, D conjuntos. Muestre que

a) A (B C) = A B A C
b) A (B C) = A B A C
c) B D
AB AD
d) A C B D
ABCD
6. Complete indicando dominio y codominio y halle sus respectivas imagenes

a) S :
S (a, b) = a + b
b) P :
P(a, b) = ab
7. Defina graficamente una funcion f tal que

a) Dom f = (1, 4]
, Codom f = R
b) Dom f = (1, 4]
, Codom f = [1, 10]
c) Dom f = (1, 4]
, Codom f = R
d) Dom f = (1, 1) (1, 4]

e) Dom f = [0, 2]
Im f = (2, 3] [4, 7]
Im f = {3, 7}
Codom f = R
, Codom f = [1, 1]
Im f = (2, 3] [4, 7]
,
,
Im f =
{ }
3
2
Im f = [1, 1]
Nota: se pide que la defina graficamente; eso significa que alcanza con dibujar su grafico, no se le pide que de
una formula.
8. Muestre que para cada par de numeros reales a , b tales que a < b vale
a<
a+b
<b
2
indique en cada paso que propiedad o resultado usa para poder afirmarlo.
9. De ejemplos que muestren que, en general, los siguientes pares de numeros reales son
distintos
1
1 1
y
+
a+b
a b
a + bc
b)
y a+b
c
a)
10. Agregue la hipotesis que falta para poder asegurar que a = b a partir de saber que ac = bc.
Nota: Realmente falta una hipotesis.
11. Como tiene que ser el numero real c para que sea cierto que ac > bc sabiendo que a < b?
12. Una empresa familiar elabora dulces y envasa veinte frascos de cada sabor por da. En un
da determinado, uno de los procesos consiste en:
(i) tomar un frasco esterilizado y llenarlo con dulce de frutilla
(ii) taparlo
(iii) ponerle la etiqueta con la marca y el codigo de barras
25
Defina una funcion que describa este proceso y otra que lo haga para el dulce de naranja.
Son iguales estas funciones? Analice si resultan ser inyectivas, suryectivas o biyectivas.
13. Utilizando las propiedades basicas y los resultados que obtuvimos a partir de ellas pruebe
que
a) (a b)2 = a2 2ab + b2
b) a2 b2 = (a b)(a + b)
c) a3 b3 = (a b)(a2 + ab + b2 )
d) a, b > 0 a + b = 0
a=b=0
e) a2 + b2 = 0 a = b = 0
Nota: Indique en cada paso que propiedad o resultado le asegura su validez.
14. Las rectas verticales nos sirvieron como referencia para saber, a partir de un grafico en R2 ,
si corresponda o no al grafico de una funcion.
Imagine un procedimiento similar para saber, a partir del grafico de una funcion de R en R,
si ella es inyectiva, suryectiva o biyectiva.
15. Compruebe la regla de los signos a partir de las propiedades basicas de los numeros reales.

NBLM

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

NBLM

Transféré par

Droits d'auteur :

Formats disponibles

FAC.

ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2014

Nociones muy Basicas de Logica Matematica

Nociones muy basicas de Logica Matematica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

q = Santa Rosa es la capital de Corrientes

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

puedan ser consideradas proposiciones dado que, en cuanto reemplacemos a x , y , z , k

desde luego, una vez que se reemplace a x por un numero concreto

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

Conociendo el valor de verdad de p y de q es claro que podemos averiguar el de esta nueva

y sus valores de verdad son

p(3) q(3) = 3 es primo y 3 es par

p(15) q(15) = 15 es primo y 15 es par

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

Datos: Ana es pelirroja, Jorge mide 1,95m

la disyuncion de estas proposiciones es entonces la proposicion

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

y sus valores de verdad son

p(3) q(3) = 3 es primo o 3 es par

p(15) q(15) = 15 es primo o 15 es par

Datos: Ana es pelirroja, Jorge mide 1,95m

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

G si p = Juan habla ingles o aleman , entonces p = Juan no habla ingles o aleman

(Nota : es el mismo Juan mencionado en p)

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

a) cuando la informacion sea suficiente halle el valor de verdad de cada una

d) calcule: V ((q r) ( q)) , V (p ( p))

Veamos algunos ejemplos

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

3. Calculemos a continuacion la tabla de verdad de la proposicion: ( p) (p q)

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

F Tautologas Contradicciones Contingencias

El valor de verdad de p ( p) es siempre V; no depende del valor de verdad de p. Es

El valor de verdad de p ( p) es siempre F independientemente del valor de verdad de p.

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

q = su examen esta aprobado

La respuesta del docente tambien se podra redactar en la forma

que es el u nico caso en que

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

La proposicion p se llama antecedente y la proposicion q se denomina consecuente de la

carecen por completo de sentido puesto que

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

Resolucion de un ejercicio similar

Mientras no sepamos quien es x y quienes son los conjuntos A y B no contamos con la

cf. tabla de verdad de la disyuncion y Ejercicio 5

por lo que se hizo un muy mal uso del smbolo =

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

Resolucion de un ejercicio similar

q = el resto de dividir a P por X + 2 es cero

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

a) calcule el valor de verdad de las proposiciones p = q y q = p

b) deduzca del item anterior el valor de verdad de p q.

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

F Metodos para demostrar implicaciones

G Demostracion por el Absurdo

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre Cuatrimestre 2014

Si x A B, entonces x A y x B. Luego, en particular,

Aplicando el Metodo Indirecto

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Nociones Basicas de Logica Matematica

Supongamos que x < A, entonces es falso que x A y x B, o sea

Aplicando la Demostracion por el absurdo