MATEMATICAS BASICAS

MATEMATICAS BASICAS
Autora: Jeanneth Galeano Pe naloza
Universidad Nacional de Colombia Departamento de Matem aticas Sede Bogot a

3 de febrero de 2013

1 / 50

 MATEMATICAS BASICAS

L ogica

Parte I L ogica

2 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Considere las siguientes frases

Guarde el celular! 2+3 =5
1 2

1 3

2 5

Tienes hambre? En Bogot a todos los d as llueve Esta oraci on es falsa. Falcao es mejor jugador que Messi.

3 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Considere las siguientes frases

Guarde el celular! Es una orden. 2 + 3 = 5. Es verdadero
1 2

1 3

=2 5 . Es falso

Tienes hambre? Es una pregunta. En Bogot a todos los d as llueve. Es falso. Esta oraci on es falsa. Es una paradoja. Falcao es mejor jugador que Messi. Es una opini on.

4 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Denici on
Una proposici on es un enunciado u oraci on declarativa de la cual se puede armar que es falsa (F) o verdadera (V) pero no ambas cosas a la vez

5 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Proposiciones Compuestas
Son aquellas que est an 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.

6 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Ejemplos
Juli an estudia qu mica y m usica. Si compro el libro, entonces no voy a cine.

7 / 50

Conectivos l ogicos
MATEMATICAS BASICAS

Los siguientes son los conectivos l ogicos m as usados

L ogica

Los conectivos l ogicos son las palabras como y, o, no, si ... entonces, que permiten combinar proposiciones simples para producir otras, llamadas proposiciones compuestas. Sus s mbolos son: Negaci on Conjunci on Disyunci on o exclusivo Condicional Bi condicional

8 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Ejemplo
Juli an estudia qu mica y m usica. Es un enunciado de la forma p q, donde p: Juli an estudia qu mica, q: Juli an estudia m usica.

9 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Ejercicio
Simbolizar las siguientes proposiciones en t erminos de p, q, r . Este semestre inscrib Ingl es I y Matem aticas B asicas. O inicio clases esta semana, o presto el servicio militar. Si no hay paro, entonces hacemos clase. Si no paso Matem aticas B asicas, entonces quedo en retiro acad emico. Puedo ver Ingl es II si pas o Ingl es I. Ma nana a las 9 am, o voy a jugar f utbol, o a estudiar a la biblioteca.

10 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

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

11 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

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

12 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

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 tambi en lo son.

13 / 50

Negaci on
MATEMATICAS BASICAS

L ogica

Negaci on
Dada una proposici on p, llamaremos a p la negaci on 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

14 / 50

Negaci on
MATEMATICAS BASICAS

L ogica

Negaci on
Dada una proposici on p, llamaremos a p la negaci on 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...

14 / 50

Negaci on
MATEMATICAS BASICAS

L ogica

Negaci on
Dada una proposici on p, llamaremos a p la negaci on 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...

14 / 50

Negaci on
MATEMATICAS BASICAS

L ogica

Negaci on p p V F

15 / 50

Negaci on
MATEMATICAS BASICAS

L ogica

Negaci on p p V F F

15 / 50

Negaci on
MATEMATICAS BASICAS

L ogica

Negaci on p p V F F V

15 / 50

Conjunci on
MATEMATICAS BASICAS

L ogica

Conjunci on
Dadas las proposiciones p, q , a la proposici on p q se le denomina la conjunci on de p y q , y ser a verdadera cuando los dos enunciados p, q sean simult aneamente verdaderos, y falsa en cualquier otro caso. p q se lee p y q

16 / 50

Conjunci on
MATEMATICAS BASICAS

L ogica

Conjunci on p q pq V V V F F V F F

17 / 50

Conjunci on
MATEMATICAS BASICAS

L ogica

Conjunci on p q pq V V V V F F V F F

17 / 50

Conjunci on
MATEMATICAS BASICAS

L ogica

Conjunci on p q pq V V V V F F F V F F

17 / 50

Conjunci on
MATEMATICAS BASICAS

L ogica

Conjunci on p q pq V V V V F F F V F F F

17 / 50

Conjunci on
MATEMATICAS BASICAS

L ogica

Conjunci on p q pq V V V V F F F V F F F F

17 / 50

Disyunci on
MATEMATICAS BASICAS

L ogica

Disyunci on
Dadas las proposiciones p, q a la proposici on p q se le denomina la disyunci on de p con q , la cual ser a verdadera cuando al menos una de las dos sea verdadera, esto es la disyunci on es falsa u nicamente cuando las dos proposiciones sean falsas. p q se lee p o q

18 / 50

Disyunci on
MATEMATICAS BASICAS

L ogica

Disyunci on p q pq V V V F F V F F

19 / 50

Disyunci on
MATEMATICAS BASICAS

L ogica

Disyunci on p q pq V V V V F F V F F

19 / 50

Disyunci on
MATEMATICAS BASICAS

L ogica

Disyunci on p q pq V V V V F V F V F F

19 / 50

Disyunci on
MATEMATICAS BASICAS

L ogica

Disyunci on p q pq V V V V F V F V V F F

19 / 50

Disyunci on
MATEMATICAS BASICAS

L ogica

Disyunci on p q pq V V V V F V F V V F F F

19 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

Condicional o implicaci on
Dadas las proposiciones p, q a la proposici on 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

20 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

Condicional o implicaci on
Dadas las proposiciones p, q a la proposici on 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 s olo si q

20 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

Condicional o implicaci on
Dadas las proposiciones p, q a la proposici on 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 s olo si q p es condici on suciente para q

20 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

Condicional o implicaci on
Dadas las proposiciones p, q a la proposici on 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 s olo si q p es condici on suciente para q q es condici on necesaria para p

20 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

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

21 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

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

21 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

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

21 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

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

21 / 50

Condicional o implicaci on
MATEMATICAS BASICAS

L ogica

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

21 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

Bi-condicional, equivalencia o doble implicaci on

Dadas las proposiciones p, q a la proposici on 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 s olo si q

22 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

Bi-condicional, equivalencia o doble implicaci on

Dadas las proposiciones p, q a la proposici on 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 s olo si q p es condici on necesaria y suciente para q

22 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

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

23 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

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

23 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

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

23 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

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

23 / 50

Bi-condicional, equivalencia o doble implicaci on

MATEMATICAS BASICAS

L ogica

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

23 / 50

Tablas de verdad
MATEMATICAS BASICAS

L ogica

Cu antas posibilidades se dan para determinar el valor de verdad de una proposici on? Depende del n umero de proposiciones, sabiendo que cada una de ellas tiene dos valores posibles Si el n umero de proposiciones es n entonces el n umero de posibilidades es ...

24 / 50

 Diagrama de Arbol
MATEMATICAS BASICAS

L ogica

25 / 50

Eliminaci on de algunos par entesis

MATEMATICAS BASICAS

L ogica

Reglas
Regla 1 El es m as potente que otros t erminos de enlace. Regla 2 El signo de negaci on es m as d ebil que cualquiera de los otros tres t erminos de enlace.

26 / 50

Eliminaci on de algunos par entesis

MATEMATICAS BASICAS

L ogica

Ejemplo
Junto a cada una de las siguientes proposiciones se indica el tipo de proposici on al que pertenece. A nadir s olo los par entesis necesarios. condicional disyunci on conjunci on negaci on condicional conjunci on p q r p q r r s t p q p q r pq r

27 / 50

Tautolog as y Contradicciones
MATEMATICAS BASICAS

L ogica

Denici on
Una tautolog a es una proposici on cuyo valor de verdad es verdadero independientemente de los valores de verdad de las proposiciones que la componen. Si la proposici on es una equivalencia, se dice que las dos proposiciones que ella conecta son l ogicamente equivalentes. Si es una implicaci on, la primera proposici on implica l ogicamente a la segunda. Una contradicci on es una proposici on cuyo valor de verdad siempre es falso.

28 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Denici on
Diremos que dos f ormulas son equivalentes si tienen exactamente la misma tabla de verdad, para indicar esto, usaremos el s mbolo .

29 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplos
p p p p p p

30 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplo. Ley conmutativa

p q q p p q q p

31 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplos
p p es una tautolog a p p es una contradicci on p p

32 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplo. Ley asociativa

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

33 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplo. Ley distributiva

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

34 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplo. Leyes de De Morgan

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

35 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

Ejemplo. Negaci on del condicional y del bi-condicional

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

36 / 50

Equivalencia l ogica
MATEMATICAS BASICAS

L ogica

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

37 / 50

IMPORTANTE!!!
MATEMATICAS BASICAS

L ogica

La proposici on original y su contrarrec proca son equivalentes

Original Contrarrec proca Original Contrarrec proca q p q q p V V V F F F V V V F V V

p V V F F

38 / 50

IMPORTANTE!!!
MATEMATICAS BASICAS

L ogica

La proposici on contraria y la rec proca son equivalentes

Contraria Rec proca Original Contraria rec proca 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

39 / 50

Proposiciones
MATEMATICAS BASICAS

L ogica

Ejercicio
Escriba la contraria, la rec proca y la contrarrec proca de las siguientes proposiciones Si voy al cine, entonces no leo el libro. Si me conecto a facebook entonces no me concentro.

40 / 50

Predicados
MATEMATICAS BASICAS

L ogica

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

41 / 50

Predicados
MATEMATICAS BASICAS

L ogica

Ejemplo
Consideremos la proposici on p: x>4

Cu al es el valor de verdad de p?

42 / 50

Predicados
MATEMATICAS BASICAS

L ogica

Ejemplo
Consideremos la proposici on p: x>4

Cu al es el valor de verdad de p? Cu al es el contexto en el que la proposici on tiene sentido?

42 / 50

Predicados
MATEMATICAS BASICAS

L ogica

Ejemplo
Consideremos la proposici on p: x>4

Cu al es el valor de verdad de p? Cu al es el contexto en el que la proposici on tiene sentido? Cu al es el conjunto m as grande en el cual la proposici on se hace verdadera?

42 / 50

Predicados
MATEMATICAS BASICAS

L ogica

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

43 / 50

Cuanticadores
MATEMATICAS BASICAS

L ogica

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.

44 / 50

Cuanticadores
MATEMATICAS BASICAS

L ogica

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

45 / 50

Cuanticadores
MATEMATICAS BASICAS

L ogica

Ejemplos
Todos los hombres de esta clase son caballeros. Todos los estudiantes de esta clase est an inscritos en Ingl es I. Algunos estudiantes de esta clase est an repitiendo la materia. Ning un estudiante de esta clase usa tenis rojos. Cu al es la negaci on de cada una de las proposiciones anteriores?

46 / 50

 MATEMATICAS BASICAS

L ogica

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

47 / 50

Cuanticadores
MATEMATICAS BASICAS

L ogica

Negaci on de cuanticadores
La negaci on de para todo x se tiene el predicado p(x) es: existe un x para el cual NO se cumple p(x). En s mbolos ((x)(p(x))) (x)( (p(x))) La negaci on de existe un x para el cual se tiene p(x) es: para todo x NO se cumple que p(x). En s mbolos: ((x)(p(x))) (x)( (p(x)))

48 / 50

Negaci on de cuanticadores
MATEMATICAS BASICAS

L ogica

Ejercicio
Escriba la negaci on de las siguientes proposiciones. Algunos estudiantes aprobar an este curso. Todos los estudiantes de la Universidad aman las matem aticas. Ning un profesor es perfecto. Hay estudiantes m as inteligentes que Einstein.

49 / 50

The lady or the Tiger

MATEMATICAS BASICAS

El problema de la dama o el tigre

Un prisionero debe hacer una elecci on entre dos puertas: detr as de una de ellas est a una hermosa dama y detr as de la otra se encuentra un tigre hambriento. Qu e suceder a si cada una de las puertas tuviera un letrero y el hombre supiera que s olo uno de los letreros es verdadero? El letrero de la primera puerta dice: EN ESTE CUARTO HAY UNA DAMA Y EN EL OTRO CUARTO HAY UN TIGRE y el letrero de la segunda puerta dice: EN UNO DE ESTOS CUARTOS HAY UNA DAMA Y EN UNO DE ESTOS CUARTOS HAY UN TIGRE. Con esta informaci on puede el hombre elegir la puerta correcta? Escrito por Frank R. Stockton en 1882.

L ogica

50 / 50