Ejercicios propuestos de reconocimiento

Ejercicio propuesto 1
Dado que: M = {x pertenece N / x es mltiplo de 2} N = {x pertenece N / x es mltiplo de 3} P = {x pertenece N / x es impar} U= { 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18 } M= { 2,4,6,8,10,12,14,16,18 } N= { 3,6,9,12,15,18} Tenemos que:

M N = { 6,12,18 }

MP=

MNP=

Ejercicio propuesto 2
Dado que: U= { 1,2,3,4,5,6,7,8,9 } A= { 1,2,3,4,5,6 } B= { 5,6,7 } Tendremos que:

A B= { 5,6 } Ejercicio propuesto 3 Dado que: U= {a,b,c,d,e,f,g,h,i} A={a,c,e,i} B={b,d,e,f}

A B= {1,2,3,4,7}

A U B= {1,2,3,4,5,6,7 }

Trendemos que

AB ={e} Ejercicio propuesto 4

AB ={a,b,c,d,i,f}

AUB= {a,b,c,d,e,f,i}

Realiza la demostracin grfica del teorema de D Morgan para: (A B)' = A' U B' para ello subraya el rea correspondiente.

Primera parte: representa en cada conjunto A, B y el complemento de la interseccin entre A y B:

(A B)

Segunda parte de la igualdad A' U B': representa en cada conjunto A, B y la unin entre ambos conjuntos:

A U B

Ejercicio propuesto 5 A continuacin se plantean diez ejercicios de aplicacin de las leyes de conjuntos, te proponemos hacer el ejercicio de simplificarlos: 1) ( (A B)' ) 2) (A ) ( ( (B)' ) ) 3) (A' U A' ) U B' 4) (A )' 5) (A )' 6) (A U ) ' 7) (A A)' U (A' U A' ) 8) (A U A ) ' 9) (A A ) ' U A' 10) ( (A ) U U )' A'

1) ( (A B) ) ( A U B) A B AB 2) (A ) ( ( (B)' ) ) A ( (B)) A (B) AB 3) (A' U A' ) U B' A U B A U B 4) (A )' A A U 5) (A )' A ( ) A U A 6) (A U ) ' (A) () AU 7) (A A)' U (A' U A' ) (A) (A) U A A A 8) (A U A ) ' A U A A U A U

9) (A A ) ' U A' (A U A) U A A U A A U A U 10) ( (A ) U U )' A' (A U ) A A A A

Ejercicios propuestos unidad 1

Ejercicio Propuesto 1: A continuacin te invitamos a plantear la pertinencia del curso de lgica matemtica para tu programa de estudio La pertinencia del curso de lgica matemtica en mi programa es la de desarrollar mis habilidades de pensamiento, as como la habilidad de comunicacin mediante diferentes lenguajes. Esto es muy importante pues con el desarrollo de tales habilidades se va a ver garantizado una buena aprehensin de todos los cursos desarrollados en el programa de tecnologa en sistemas, adems de ser una base para futuros cursos de matemticas que se vern ms adelante en el mismo programa.

Ejercicio Propuesto 2: Plantea cinco expresiones asociadas a tu programa de estudio que no sean proposiciones y cinco expresiones que si lo sean, recuerda que una proposicin puede ser falsa y contina siendo proposicin:

Son proposiciones La tutora de lgica es los sbados Matricule 12 crditos virtuales y 2 en sistema tradicional Pertenezco a la escuela ECBTI Estudio Tecnologa de sistemas Pertenezco al cead de Facatativ

No son proposiciones

Ejercicio Propuesto 3: Plantea el anlisis de todos los casos y valores de verdad:

Ejercicio En la maana escribo mi programa de computacin y en la tarde juego tenis propuesto CASO 1: p = En la maana escribo mi programa de computacin q = En la tarde juego tenis En el que no termino de escribir mi programa de computador pero juego tenis p^q=F CASO 2: En el que termino de escribir mi programa de computador pero no juego tenis p^q=F CASO 3: En el que no termino de escribir mi programa de computador y tampoco juego tenis pq=F CASO 4: En el que termino de escribir mi programa de computador y tambin juego tenis pq=V

Ejercicio Propuesto 4: Plantea el anlisis de todos los casos y valores de verdad: Plantea ejemplos de premisas r y s asociados con tu programa de estudio, tal que te permitan verificar el valor de verdad de la proposicin compuesta r s . Usa como referencia los cuatro casos anteriores. Premisas elegidas: Leo el mdulo de Herramientas informticas o leo el mdulo de lgica matemtica r: leo el mdulo de herramientas informticas s: leo el mdulo de lgica matemtica

Caso 1

Caso 2

Caso 3

Caso 4

En el que leo el mdulo de herramientas informticas y leo el mdulo de lgica matemtica rs=V En el que leo el mdulo de herramientas informticas pero no leo el mdulo de lgica matemtica rs=V En el que no leo el mdulo de herramientas informticas pero si leo el mdulo de lgica matemtica rs=V En el que no leo el mdulo de herramientas informticas pero tampoco leo el mdulo de lgica matemtica rs=F

Mi conclusin: la (disyuncin) se hacen verdadera cuando por lo menos una proposicin es verdadera

Ejercicio Propuesto 5: Plantea cinco ejemplos de premisas asociados con tu programa de estudio, y su correspondiente negacin. Consideras que es necesario emplear siempre la palabra NO para negar una proposicin?
premisa Estudio tecnologa en sistemas La lgica matemtica es la ciencia del pensamiento racional Las tutoras tradicionales son los sbados La tecnologa en sistemas es un programa de ecapma Los ingenieros de sistemas saben matemticas Negacin de la premisa No estudio tecnologa en sistemas Es falso que la lgica matemtica es la ciencia de pensamiento racional Las tutoras tradicionales no son los sbados Es falso que la tecnologa en sistemas sea un programa de ecapma Los ingenieros de sistemas no saben matemticas

No es necesario el uso de la palabra No para negar las proposiciones

Ejercicio Propuesto 6: Elije una proposicin condicional asociada con tu programa de estudio y plantea la misma expresin de diferentes formas sin cambiar su sentido.
Proposiciones condicionales elegidas Manera 1 Manera 2 Manera 3 Manera 4 Para la aprobar tecnologa en sistemas es necesario aprobar lgica matemtica Si quiero aprobar tecnologa en sistemas entonces debo aprobar lgica matemtica Aprobare tecnologa en sistemas solo si apruebo lgica matemtica Si apruebo tecnologa en sistemas entonces aprob lgica matemtica para aprobar tecnologa en sistemas lo hare solo si apruebo lgica matemtica

Ejercicio Propuesto 7: Construye una proposicin bicondicional con dos proposiciones asociadas a tu programa de estudio, luego rescribe la proposicin bicondicional sin cambiar su sentido. Cuntas maneras diferentes de expresar la misma idea en leguaje natural encuentras? Proposicin 1: ser ingeniero en sistemas

Proposicin 2: conocer principios de la ingeniera Manera 1: ser ingeniero en sistemas si y solo si conozco los principios de la ingeniera Manera 2: Conocer los principios de la ingeniera si y solo si soy ingeniero de sistemas Ejercicio Propuesto 8: De acuerdo a la definicin estudiada para el bicondicional; para determinar los valores de verdad de la proposicin bicondicional basta indagar por el valor de verdad de la conjuncin entre las implicaciones p q y q p .Se propone al estudiante hacer la demostracin.
p V V F F q V F V F pq V F V V qp V V F V (p q)(q p) V F F V pq V F F V

Ejercicio Propuesto 9: Determinar los posibles valores de verdad para las proposiciones:

1) p q,

2) p q

3) p q

4) p p

5) ( p q)

6) [( p q)(p q)]

7) ( p q)(r s)

1) p q
p V V F F q V F V F q F V F V pq F V F F

2) p q
p V V F F q V F V F p F F V V q F V F V pq F F F V

3) p q

p V V F F

q V F V F

q F V F V

pq F V V V

4) p p
p V V F F p V V F F pp V V F F

5) ( p q)

p V V F F

q V F V F

q F V F V

pq F V F F

(pq) V F V V

6) [( p q)(p q)]
p V V F F q V F V F p F F V V q F V F V pq F V F F pq V F V V ( p q)(p q) V F V V [( p q)(p q)] F V F F

7) ( p q)(r s)
p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F pq V V V V F F F F F F F F F F F F rs V F F F V F F F V F F F V F F F ( p q)(r s) V V V V V F F F V F F F V F F F