MATEMTICAS BSICAS

Autora: Jeanneth Galeano Pealoza

Universidad Nacional de Colombia Sede Bogot Departamento de Matemticas

29 de agosto de 2012

Parte I Lgica

Proposiciones

Considere las siguientes frases

Pseme el lpiz. 2+3=5
1 2

1 3

2 5

Qu hora es? En Bogot todos los das llueve Yo estoy mintiendo Maradona fue mejor jugador que Pel.

Proposiciones

Considere las siguientes frases

Pseme el lpiz. Es una orden. 2 + 3 = 5. Es verdadero
1 2

1 3

=2 5 . Es falso

Qu hora es? Es una pregunta. En Bogot todos los das llueve. Es falso. Yo estoy mintiendo. Es una paradoja. Maradona fue mejor jugador que Pel. Es una opinin.

Proposiciones

Denicin
Una proposicin es un enunciado u oracin declarativa de la cual se puede armar que es falsa (F) o verdadera (V) pero no ambas cosas a la vez

Proposiciones

Proposiciones Compuestas
Son aquellas que estn formadas por proposiciones simples, su valor de verdad depende de los valores de verdad de cada una de las proposiciones simples y del tipo de conectivo.

Proposiciones

Ejemplos
Julin estudia qumica y msica. Si compro el libro, entonces no voy a cine.

Conectivos lgicos
Los siguientes son los conectivos lgicos ms usados
Los conectivos lgicos son las palabras como y, o, no, si ... entonces, que permiten combinar proposiciones simples para producir otras, llamadas proposiciones compuestas. Sus smbolos son: Negacin Conjuncin Disyuncin exclusivo Condicional Bi condicional

Proposiciones

Ejemplo
Julin estudia qumica y msica. Es un enunciado de la forma p q, donde p: Julin estudia qumica, q: Julin estudia msica.

Proposiciones

Ejercicio
Simbolizar las siguientes proposiciones en trminos de p , q , r . Este semestre inscrib Ingls I y Matemticas Bsicas. O inicio clases esta semana, presto el servicio militar. Si termino la carrera, entonces hago una maestra. Si paso Matemticas Bsicas, entonces puedo ver Clculo Diferencial. Puedo ver Ingls II si pas Ingls I. Maana a las 9 am, o voy a jugar ftbol, a estudiar a la biblioteca.

Proposiciones

Ejercicio
Simbolizar las siguientes proposiciones matemticas. Dos es mayor que cinco. Cuatro no es un nmero impar. Cinco es igual a tres o cinco es mayor que seis. No es cierto que: si un nmero es par entonces es primo. Si ocho es menor que cinco o mayor que siete, entonces no es igual a seis.

Proposiciones

Ejercicio
Negar las siguientes proposiciones. El viento sopla muy fuerte. El amigo de Juan tiene razn. No ocurre que 3 = 7. Las elecciones presidenciales siempre terminan en armona.

Proposiciones

Proposiciones
Si p y q son proposiciones simples, entonces p, q, p q, q p, p q, q p, p q , q p , p q , q p tambin lo son.

Negacin

Negacin
Dada una proposicin p , llamaremos a p la negacin de p . Si p es verdadera (V) p es falsa (F), si p es falsa entonces p es verdadera. p se lee como no p es falso que... no es cierto que...

Negacin

Negacin
Dada una proposicin p , llamaremos a p la negacin de p . Si p es verdadera (V) p es falsa (F), si p es falsa entonces p es verdadera. p se lee como no p es falso que... no es cierto que...

Negacin

Negacin
Dada una proposicin p , llamaremos a p la negacin de p . Si p es verdadera (V) p es falsa (F), si p es falsa entonces p es verdadera. p se lee como no p es falso que... no es cierto que...

Negacin

Negacin p p V F

Negacin

Negacin p p V F F

Negacin

Negacin p p V F F V

Conjuncin

Conjuncin
Dadas las proposiciones p , q , a la proposicin p q se le denomina la conjuncin de p y q , y ser verdadera cuando los dos enunciados p , q sean simultneamente verdaderos, y falsa en cualquier otro caso. p q se lee p y q

Conjuncin

Conjuncin p q pq V V V F F V F F

Conjuncin

Conjuncin p q pq V V V V F F V F F

Conjuncin

Conjuncin p q pq V V V V F F F V F F

Conjuncin

Conjuncin p q pq V V V V F F F V F F F

Conjuncin

Conjuncin p q pq V V V V F F F V F F F F

Disyuncin

Disyuncin
Dadas las proposiciones p , q a la proposicin p q se le denomina la disyuncin de p con q , la cual ser verdadera cuando al menos una de las dos sea verdadera, esto es la disyuncin es falsa nicamente cuando las dos proposiciones sean falsas. p q se lee p o q

Disyuncin

Disyuncin p q pq V V V F F V F F

Disyuncin

Disyuncin p q pq V V V V F F V F F

Disyuncin

Disyuncin p q pq V V V V F V F V F F

Disyuncin

Disyuncin p q pq V V V V F V F V V F F

Disyuncin

Disyuncin p q pq V V V V F V F V V F F F

Disyuncin exclusiva

Disyuncin exclusiva
Dadas las proposiciones p , q , la proposicin p q se conoce como la disyuncin exclusiva de p y q , la cual es verdadera cuando una es verdadera y la otra es falsa. p q se lee p exclusivo q

Disyuncin exclusiva

Disyuncin exclusiva p q pq V V V F F V F F

Disyuncin exclusiva

Disyuncin exclusiva p q pq V V F V F F V F F

Disyuncin exclusiva

Disyuncin exclusiva p q pq V V F V F V F V F F

Disyuncin exclusiva

Disyuncin exclusiva p q pq V V F V F V F V V F F

Disyuncin exclusiva

Disyuncin exclusiva p q pq V V F V F V F V V F F F

Condicional o implicacin

Condicional o implicacin
Dadas las proposiciones p , q a la proposicin p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condicin suciente para q q es condicin necesaria para p

Condicional o implicacin

Condicional o implicacin
Dadas las proposiciones p , q a la proposicin p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condicin suciente para q q es condicin necesaria para p

Condicional o implicacin

Condicional o implicacin
Dadas las proposiciones p , q a la proposicin p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condicin suciente para q q es condicin necesaria para p

Condicional o implicacin

Condicional o implicacin
Dadas las proposiciones p , q a la proposicin p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condicin suciente para q q es condicin necesaria para p

Condicional o implicacin

Condicional p q p q V V V F F V F F

Condicional o implicacin

Condicional p q p q V V V V F F V F F

Condicional o implicacin

Condicional p q p q V V V V F F F V F F

Condicional o implicacin

Condicional p q p q V V V V F F F V V F F

Condicional o implicacin

Condicional p q p q V V V V F F F V V F F V

Bi-condicional, equivalencia o doble implicacin

Bi-condicional, equivalencia o doble implicacin

Dadas las proposiciones p , q a la proposicin p q la denominaremos bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de verdad. p q se lee p si y slo si q p es condicin necesaria y suciente para q

Bi-condicional, equivalencia o doble implicacin

Bi-condicional, equivalencia o doble implicacin

Dadas las proposiciones p , q a la proposicin p q la denominaremos bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de verdad. p q se lee p si y slo si q p es condicin necesaria y suciente para q

Bi-condicional, equivalencia o doble implicacin

Bi-condicional p q p q V V V F F V F F

Bi-condicional, equivalencia o doble implicacin

Bi-condicional p q p q V V V V F F V F F

Bi-condicional, equivalencia o doble implicacin

Bi-condicional p q p q V V V V F F F V F F

Bi-condicional, equivalencia o doble implicacin

Bi-condicional p q p q V V V V F F F V F F F

Bi-condicional, equivalencia o doble implicacin

Bi-condicional p q p q V V V V F F F V F F F V

Tablas de verdad

Cuntas posibilidades se dan para determinar el valor de verdad de una proposicin? Depende del nmero de proposiciones, sabiendo que cada una de ellas tiene dos valores posibles Si el nmero de proposiciones es n entonces el nmero de posibilidades es ...

Diagrama de rbol

Eliminacin de algunos parntesis

Reglas
Regla 1 El es ms potente que otros trminos de enlace. Regla 2 El signo de negacin es ms dbil que cualquiera de los otros tres trminos de enlace.

Eliminacin de algunos parntesis

Ejemplo
Junto a cada una de las siguientes proposiciones se indica el tipo de proposicin al que pertenece. Aadir slo los parntesis necesarios. condicional disyuncin conjuncin negacin condicional conjuncin p q r p q r r s t p q p q r pq r

Tautologas y Contradicciones

Denicin
Una tautologa es una proposicin cuyo valor de verdad es verdadero independientemente de los valores de verdad de las proposiciones que la componen. Si la proposicin es una equivalencia, se dice que las dos proposiciones que ella conecta son lgicamente equivalentes. Si es una implicacin, la primera proposicin implica lgicamente a la segunda. Una contradiccin es una proposicin cuyo valor de verdad siempre es falso.

Equivalencia lgica

Denicin
Diremos que dos frmulas son equivalentes si tienen exactamente la misma tabla de verdad, para indicar esto, usaremos el smbolo .

Equivalencia lgica

Ejemplos
p p p p p p

Equivalencia lgica

Ejemplo. Ley conmutativa

p q q p p q q p

Equivalencia lgica

Ejemplos
p p es una tautologa p p es una contradiccin p p

Equivalencia lgica

Ejemplo. Ley asociativa

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

Equivalencia lgica

Ejemplo. Ley distributiva

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

Equivalencia lgica

Ejemplo. Leyes de De Morgan

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

Equivalencia lgica

Ejemplo. Negacin del condicional y del bi-condicional

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

Equivalencia lgica

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

IMPORTANTE!!!

La proposicin original y su contrarrecproca son equivalentes

Original Contrarrecproca Original Contrarrecproca q p q q p V V V F F F V V V F V V

p V V F F

IMPORTANTE!!!

La proposicin contraria y la recproca son equivalentes

Contraria Recproca Original Contraria recproca p q p q q p V V V F V V V F F V V V

p V V F F

q V F V F

Proposiciones

Ejercicio
Escriba la contraria, la recproca y la contrarrecproca de las siguientes proposiciones Si nac en Bogot entonces nac en Colombia Si no compro el iPhone entonces compro el iPod.

Predicados

Denicin
Un predicado es una frase en la cual intervienen variables, se transforma en proposicin al ser reemplazadas las variables por constantes.

Predicados

Ejemplo
Consideremos la proposicin p: x >4

Cul es el valor de verdad de p ? Cul es el contexto en el que la proposicin tiene sentido? Cul es el conjunto ms grande en el cual la proposicin se hace verdadera?

Predicados

Ejemplo
Consideremos la proposicin p: x >4

Cul es el valor de verdad de p ? Cul es el contexto en el que la proposicin tiene sentido? Cul es el conjunto ms grande en el cual la proposicin se hace verdadera?

Predicados

Ejemplo
Consideremos la proposicin p: x >4

Cul es el valor de verdad de p ? Cul es el contexto en el que la proposicin tiene sentido? Cul es el conjunto ms grande en el cual la proposicin se hace verdadera?

Predicados

Ejercicio
Dado que x = 4, y = 2 y z = 5, encuentre el valor de verdad de (x + y = 6 y z < 0) z = 0. x = 0 y (y + z > x z = 0). y + z = z + y y 0 + x = x. y + x > y + x + z o z = 0.

Cuanticadores

Cuanticadores universales y existenciales

Las palabras todo, cada uno, todos y ninguno se denominan cuanticadores universales. Las palabras y frases como hay y al menos uno se conocen como cuanticadores existenciales.

Cuanticadores

Notacin
El cuanticador universal se simboliza por , (x )(p (x )) se lee para todo x se satisface p (x ). El cuanticador existencial se simboliza por , (x )(p (x )) se lee existe un x que satisface p (x ).

Cuanticadores

Ejemplos
Todas las nias en esta clase visten de rosado. Todos los hombres de esta clase son caballeros. Todos los estudiantes de esta clase estn inscritos en Ingls I. Algunos estudiantes de esta clase estn repitiendo la materia. Ningn estudiante de esta clase usa tenis rojos. Cul es la negacin de cada una de las proposiciones anteriores?

Ejercicio
Determine el valor de verdad de cada una de las siguientes proposiciones Todo entero no negativo es un entero Todo nmero natural es un entero Existe un nmero racional que no es un entero Existe un nmero entero que no es natural Todos los nmeros racionales son reales Algunos nmeros racionales no son enteros

Cuanticadores

Negacin de cuanticadores
La negacin de para todo x se tiene el predicado p (x ) es: existe un x para el cual NO se cumple p (x ). En smbolos ((x )(p (x ))) (x )( (p (x ))) La negacin de existe un x para el cual se tiene p (x ) es: para todo x NO se cumple que p (x ). En smbolos: ((x )(p (x ))) (x )( (p (x )))

Negacin de cuanticadores

Ejercicio
Escriba la negacin de las siguientes proposiciones. Algunos estudiantes aprobarn este curso. Todos los estudiantes de la Universidad aman las matemticas. Ningn estudiante es perfecto. Hay estudiantes ms inteligentes que Einstein.