UNIDAD N 2: Ejercicios resueltos (1 Parte)

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

Ejercicio 1: Cules de las siguientes expresiones son proposiciones?

a) 2 es un nmero positivo? c) Juan es estudiante. g) a + b + 10 = 20; donde a = 4, b= 7 h) a + b + 10 = 20

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

Respuestas
a) 2 es un nmero positivo?

No es proposicin ya que una interrogacin no tiene valor de verdad

c) Juan es estudiante. Es una proposicin porque tiene un nico valor de verdad, ya sea es V o F

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

g)a + b + 10 = 20; donde a=4 ; b=7 es una proposicin porque tiene un nico valor de verdad: F h) a + b + 10 = 20 Esta expresin no tiene un nico valor de verdad ya que puede ser tanto V como F, dependiendo de los valores de a y b; o sea, que NO ES UNA PROPOSICIN.

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

2)-En cada uno de los siguientes casos

forme la conjuncin y la disyuncin y q b) p: La enfermedad est controlada. q: Est sano.

de p

SOLUCIN:
Conjuncin: pq La enfermedad est controlada y est sano Disyuncin: pq La enfermedad est controlada o est sano
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

3)Determine

si las siguientes proposiciones son verdaderas o falsas

a)2<3 o 3 no es entero positivo b) 2>3 y 3 es un entero positivo Respuestas: Las proposiciones son: p:2<3 q: 3 es un entero positivo a) p v q b) p q VvF V FV F

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

4)Escriba una oracin que corresponda a cada una de las siguientes proposiciones, si p: llueve, q: hace fro, r: voy al cine

a)r q e) (p qr) f)p(q r) SOLUCIN: a)No voy al cine y hace fro. e) No es cierto que cuando llueve y hace fro, voy al cine. f) Llueve, si y solo si ,hace fro o voy al cine.
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

5)Escriba las siguientes proposiciones en trminos de p, q, r y conectivos lgicos. Encuentre la negacin de cada una de ellas y exprsela en lenguaje coloquial

a) Hoy es lunes o tengo clases de violn. b) Voy a la facultad, cuando es lunes. d) Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre e) Una de dos: o salgo a dar un paseo, o me pongo a estudiar.
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

Solucin a) Hoy es lunes o tengo clases de violn p:Hoy es lunes q:Tengo clases de violn

Negacin: (p v q) p q Equivalencia vlida por las leyes de De Morgan

pvq
Disyuncin

Hoy no es lunes y no tengo clases de violn

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

Solucin b) Voy a la facultad, cuando es lunes p:Hoy es lunes q:Voy a la facultad

Negacin: (p q) p q Equivalencia lgica Hoy es lunes y no voy a la facultad

Ver teora (equivalencias Lgicas) Diap. 47 , 48

p q
Condicional

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

10

d) Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre
r:viera un marciano con mis propios ojos s:creera que hay vida extraterrestre Negacin:

( rs) (r s) (s r)
Equivalencia lgica An viendo un marciano con mis propios ojos no creera que haya vida extraterrestre, o bin, hay vida extraterrestre sin que yo viera un marciano con mis propios ojos Esta frase es la negacin de la dada Ver teora (equivalencias Lgicas) Diap. 47 , 48
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

r
Bicondicional

11

e) Una de dos: o salgo a dar un paseo, o me pongo a estudiar. u:salgo a dar un paseo v:me pongo a estudiar
Negacin:

( u v v) (u v) v (u v)
Equivalencia lgica Estudio mientras salgo a dar un paseo, o bin, ni estudio ni salgo a dar un paseo Esta frase es la negacin de la dada Ver teora (equivalencias Lgicas) Diap. 47 , 48 o deducirlas

u
Disyuncin excluyente

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

12

CLCULO DE PREDICADOS CUANTIFICADORES EXISTENCIAL() Y UNIVERSAL()

6)- Si P(x): x es par Q(x): x es un nmero primo R(x, y): x+y es par U= .

Escriba una oracin que corresponda a cada una de las siguientes proposiciones. Determine si son verdaderas o no.
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

13

b)

x Q(x)

Solucin : Siendo el universo de discurso el conjunto de los nmeros enteros, x representa un individuo cualquiera de dicho universo. Recordemos el predicado Q(x): x es un nmero primo Una oracin que corresponde al enunciado x Q(x) es: Algunos nmeros enteros son nmeros primos Su valor de verdad es V ya que por ejemplo 5 es un nmero primo. Se obtiene como valor de la disyuncin (con algunos valores verdaderos y otros falsos.... x Q(x) Q( 1) v Q(2) v Q(3) v. F v V v V. V
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

14

R(x, y): x+y es par c) x y R(x, y) Oracin: La suma de todo nmero entero con algn nmero, da como resultado un nmero par Su valor de verdad es V, ya que cualquiera sea el valor de x siempre existir por lo menos un valor de y que haga que la suma sea par. Si x es fuera par se le debe sumar algn valor de y que sea par y si x fuera impar siempre existir un valor de y impar por lo que la suma siempre ser par. En otras palabras: Se tiene una conjuncin que exige que cualquiera sea el x siempre exista un y tal que ambos cumplan R(x,y) x y R(x, y) yR(x1,y) yR(x2,y) . yR(xn,y) . VVV. V
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

15

C) x Q(x)
Q(x): x es un nmero primo Q(x): x es no es un nmero primo Oracin: Todos los enteros son no primos , equivalente a Ningn entero es primo Su valor de verdad es F ya que existen primos enteros como por ejemplo el 7 El valor F se obtiene como el valor de la conjuncin de algunos valores F con valores V Por ejemplo Q(3) = F ( 3 no es primo es Falso)
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

16

7)- Escriba las siguientes proposiciones en termino de predicados, conectivos lgicos y cuantificadores. Encuentre su negacin.

a) Todo entero es un nmero es par b) Ningn entero positivo primo es par. Consideramos el universo de discurso el conjunto de enteros Sean los siguientes predicados: P(x): x es nmero par Q(x): x es nmero primo R(x): x es positivo
MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

17

a) Todo entero es un nmero es par

x P(x) P(x): x es nmero par Q(x): x es nmero primo R(x): x es positivo

b) Ningn entero positivo primo es par x [R(x) Q(x) P(x)]

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

18

88)-Traduzca las siguientes frases al lenguaje de clculo de predicados. Suponga que el universo est formado por todas las personas. Luego encuentre la negacin

Nadie es carioso con todos los dems

R(x,y): x es carioso con y X Y R(X, Y)

Negacin
( X Y R(X, Y) ) x YR(X,Y)
ALGUNAS PERSONAS SON CARIOSAS CON TODAS LAS PERSONAS

MATEMATICA DISCRETA _ DIAPOSITIVAS TP N2

19