• Categories
• Proposición
• Verdad
• Lógica
• Física y matemáticas
• Matemática

Citation preview

PROPOSICIONES Y TABLAS DE VERDAD

ISBELIA QUINTERO PEÑARANDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – “UNAD” PENSAMIENTO LOGICO MATEMATICO 2018

INTRODUCCIÓN

Con el desarrollo del presente trabajo estudiaremos la Teoría entre conjuntos y Principios de Lógica, donde nos formaremos en la comprensión de las definiciones de la lógica formal; uso de conectores lógicos y las leyes de las proposiciones, las cuales nos darán las bases para formalizar nuestros conocimientos; todas estas herramientas nos ayudaran a desempeñarnos en nuestro campo profesional.

OBJETIVOS

Desarrollar las temáticas de proposiciones, tablas de verdad, conjuntos y sus operaciones Específicos   

Utilizar estrategias basadas en problemas Interactuar con los diferentes compañeros Adquirir herramientas útiles para nuestra vida profesional

DESARROLLO DE LA ACTIVIDAD

TAREA 1 PUNTO A p: la UNAD es una universidad. q: Las materias de la UNAD se cursan de manera virtual. ¬ (p Λ q) ↔ (¬p V q) SOLUCION DE LA ACTIVIDAD: p: la UNAD es una universidad.: V q: Las materias de la UNAD se cursan de manera virtual. V No es verdad que la UNAD es una universidad y las materias de la UNAD se cursan de manera virtual entonces la UNAD no es una universidad o las materias de la UNAD se cursan de manera virtual. ¬ (p Λ q) ↔ (¬p V q) ¬ (V Λ V) ↔ (¬V V V) ¬ V ↔V F

p

q

T T F F

T F T F

¬(p Λ q) ↔

( V q ¬ ) p F F T T

TAREA 2 PUNTO B Si no es cierto que la luna no tiene atmosfera y tiene vida, entonces la luna no tiene atmosfera o no tiene vida.

SOLUCION DE LA ACTIVIDAD: Si no es cierto que la luna no tiene atmosfera y tiene vida, entonces la luna no tiene ¬p y q entonces p Atmosfera o no tiene vida. ¬q ¬ q: la luna no tiene atmosfera q: tiene vida (¬ q: no tiene vida ¬ ( p Λ q) → (¬ p ∨ (¬ q)) p

q

¬p

¬q

¬( p Λ q)

v v f f

v f v f

f f v v

f v f v

f f f v

Es una tautología p

q

¬( pΛq) → ( ¬

T T F F

T F T F

T T T T

p V ¬ q) )

(¬ p ∨ (¬ q)) v v v v

¬( p Λ q) → (¬ p ∨ (¬ q)) v v v v

TAREA 3 PUNTO A A partir del ejemplo anterior representar cada una de las siguientes situaciones en un diagrama de ven y con las operaciones entre conjuntos, desde la siguiente situación: Los estudiantes que realizaron los tres problemas (problema de conjuntos, problema de tablas de verdad, problema de la validez de un razonamiento) Consideremos eventos que se pueden representar por medio de un conjunto: �={𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒� 𝑐𝑢𝑟𝑠� 𝑑𝑒 𝐿�𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚𝑎𝑡𝑖𝑐𝑎 } � = { 𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 𝑐�𝑛𝑗𝑢𝑛𝑡�𝑠} �={ 𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 𝑡𝑎𝑏�𝑎𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑} � = { 𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟o𝑏�𝑒𝑚𝑎 𝑑𝑒 �𝑎 𝑣𝑎�𝑖𝑑𝑒� 𝑑𝑒 𝑢𝑛 𝑟𝑎��𝑛𝑎𝑚𝑖𝑒𝑛𝑡�} SOLUCION DE LA ACTIVIDAD: Los estudiantes que realizaron los tres problemas (problema de conjuntos, problema de tablas de verdad, problema de la validez de un razonamiento)

�= {𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒� 𝑐𝑢𝑟𝑠� 𝑑𝑒 𝐿�𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚𝑎𝑡𝑖ca } � = {𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 𝑐�𝑛𝑗𝑢𝑛𝑡�𝑠} �= {𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 𝑡𝑎𝑏�𝑎𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑} � = {𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 �𝑎 𝑣𝑎�𝑖𝑑𝑒� 𝑑𝑒 𝑢𝑛 𝑟𝑎��𝑛𝑎𝑚𝑖𝑒𝑛𝑡�}

V ∩ (C ∩ T)

TAREA 4 PUNTO B Se realizó una encuesta a 100 estudiantes que estudian ingenierías en la UNAD, se les pregunto qué curso preferían; la encuesta arrojo los siguientes resultados: A 45 de ellos les gusta el curso de Algebra, a 40 les gusta el curso de Cálculo Diferencial, a 48 les gusta el curso de Física; a 15 les gusta el curso de Algebra y el curso de Cálculo Diferencial, a 13 el de Algebra y Física, a 10 el de Cálculo Diferencial y el de Física, a 5 les gusta los tres cursos.  ¿Cuántos estudiantes prefieren solo el curso de cálculo diferencial?  ¿A cuántos estudiantes solo prefieren el curso de Física?  ¿Cuántos estudiantes prefieren únicamente los cursos de Algebra y Física?  ¿Cuántos estudiantes prefieren solamente los cursos de Cálculo Diferencial y Física?

SOLUCION DE LA ACTIVIDAD: Algebra = {45} Calculo = {40} Física = {48} Algebra y calculo = {15} Algebra y física = {13} Calculo y física = {10} Los tres = {5}

¿Cuántos estudiantes prefieren solo el curso de cálculo diferencial? RESPUESTA: los estudiantes que prefieren solo el curso de cálculo diferencial son 20 estudiantes. ¿A cuántos estudiantes solo prefieren el curso de Física? RESPUESTA: los estudiantes que prefiere solo el curso de Física son 30 estudiantes.

¿Cuántos estudiantes prefieren únicamente los cursos de Algebra y Física? RESPUESTA: los estudiantes que prefiere los cursos de algebra y física son 8 estudiantes. ¿Cuántos estudiantes prefieren solamente los cursos de Cálculo Diferencial y Física? RESPUESTA: los estudiantes que prefieren los cursos Cálculo Diferencial y Física son 5 estudiantes.

ISBELIA QUINTERO PEÑARANDA 𝑝: ��s 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒 �𝑎 �𝑁𝐴� 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛 ��𝑠 𝑐�𝑛𝑡𝑒𝑛𝑖𝑑�𝑠 𝑑𝑒� 𝐸𝑛𝑡�𝑟𝑛� 𝑑𝑒 𝑐�𝑛�𝑐𝑖𝑚𝑖𝑒𝑛𝑡�. 𝑞: ��𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑎𝑝𝑟𝑒𝑛𝑑𝑒𝑛 𝑎 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟 ��𝑠 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖�𝑠. [(�→�)∧¬�]→¬� 𝑝: ��𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒 �𝑎 �𝑁𝐴� 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛 ��𝑠 𝑐�𝑛𝑡𝑒𝑛𝑖𝑑�𝑠 𝑑𝑒� 𝐸𝑛𝑡�𝑟𝑛� 𝑑𝑒 𝑐�𝑛�𝑐𝑖𝑚𝑖𝑒𝑛𝑡�. (v) 𝑞: ��𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑎𝑝𝑟𝑒𝑛𝑑𝑒𝑛 𝑎 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟 ��𝑠 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖�𝑠. (v) Los estudiantes de la UNAD estudian los contenidos del entorno de conocimiento entonces los estudiantes aprenden a desarrollar los ejercicios y los estudiantes de la UNAD que no estudian los contenidos del entorno de conocimiento entonces no aprender a desarrollar los ejercicios.

[(�→�)∧¬�]→¬�

(V →V) ∧ (V→V) V∧V V [(�→�)∧¬�]→¬� (p → q) ∧(¬�→¬�) p

Q

p&q

V

V

V

v

F

F

F

V

F

F

F

f

TAREA 3 PUNTO D A partir del ejemplo anterior representar cada una de las siguientes situaciones en un diagrama de Ven y con las operaciones entre conjuntos, desde la siguiente situación: �={𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒� 𝑐𝑢𝑟𝑠� 𝑑𝑒 𝐿�𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚𝑎𝑡𝑖𝑐𝑎} �={𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛

𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 𝑐o𝑛𝑗𝑢𝑛𝑡�𝑠} �={𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 𝑡𝑎𝑏�𝑎𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑} �={𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟���𝑎𝑟�𝑛 𝑒� 𝑝𝑟�𝑏�𝑒𝑚𝑎 𝑑𝑒 �𝑎 𝑣𝑎�𝑖𝑑𝑒� 𝑑𝑒 𝑢𝑛 r𝑎��𝑛𝑎𝑚𝑖𝑒𝑛𝑡�}

Consideremos eventos que se pueden representar por medio de un conjunto: Estos conjuntos se representan en un diagrama: a. Los estudiantes que solo resolvieron la tabla de verdad y la validez de un razonamiento

(V U T) U C = {estudiantes que solo resolvieron la tabla de verdad y la validez de un razonamiento}

Tarea 4: Aplicación de la Teoría de Conjuntos De las siguientes situaciones representarlas en un diagrama de Ven y solucionar los interrogantes planteados (Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea escogido por otro integrante) a. Una firma planea un proyecto de construcción de 140 viviendas teniendo en cuenta las especificaciones requeridas por cada cliente, por lo que se han determinado las siguientes cantidades de casas a construir: 55 casas con sótano,

82 casas resultan de la unión del conjunto de casas con sótano con el de casas con terraza, las casas con terraza y jardín son 21, las casas con terraza son 40 y 23 son las casas que no requieren ninguna especificación de las mencionadas. Para terminar la planeación, los ingenieros deben determinar las siguientes cantidades: R casa a construir A casas con sótano B casas con terraza C casas con jardín D casas con jardín y terrazas E casas con sótano y terrazas

R

23 ninguna especificación

23

E

A

B

D 4

C

3 52

30

6

15

7

R= A(A∩E)+B(B∩E)+B(B∩D)+C(C∩D)

TAREA 1 p: Una semana dura 9 días. F q: El curso de Lógica Matemática tiene 5 actividades. F r: Euclides escribió el tratado matemático y geométrico Los Elementos.

[(p→q)∧(q→r)]↔(p→r) F

F

F

V

V V

F

V

V

V V

Si una semana dura 9 días entonces el curso de lógica matemática tiene 5 actividades y si el curso de lógica matemática tiene 5 actividades entonces Euclides escribió el tratado matemático y geométrico los elementos si y solo si una semana dura 9 días entonces Euclides escribió el tratado matemático y geométrico los elementos.

TAREA 2 Si Isbelia no trabaja en el día y se dedica al estudio en la noche, se matricula en la universidad.

Si Isbelia no trabaja en el día y se dedica al estudio en la noche, se matricula en la universidad ¬p q r y entonces ¬p

Λ

q (¬ p Λ q) →

P: Isbelia no trabaja en el día ¬ p

→ r

r

Q: Isbelia se dedica al estudio en la noche q R: Isbelia si se matricula en la universidad r

(¬ p Λ q) → r p q

r

¬ p

(¬ p Λ q)

(¬ p Λ q) → r

v v f f v v f f

v f v f v f v f

f f f f v v v v

f f f f v v f f

v v v v v f v v

v v v v f f f f

TAREA 3

U-estudiantes que no hicieron nada C-Estudiantes que desarrollaron el problema de conjuntos T-Estudiantes que desarrollaron el problema tablas de verdad V-Estudiantes que realizaron el problema valides de un razonamiento Estudiantes de lógica matemática: 5 Estudiantes que desarrollaron el problema de conjuntos: 4 Estudiantes que desarrollaron el problema tablas de verdad: 4 Estudiantes que desarrollaron el problema Conjuntos y tablas de verdad: 2 Estudiantes que desarrollaron el problema valides de un razonamiento: 2

Estudiantes que realizaron los tres problemas: 1

E. estudiantes que no realizaron nada U C

T 3

1

2

1

1

1 V

U-C-T-V = {x ∉ C,/ x ∉ T, Λ, x ∉ V }

e. De 180 maestros de la Universidad Nacional Abierta y a Distancia UNAD 135 tienen doctorado, 146 son investigadores de tiempo completo. De los doctores 114 son investigadores de tiempo completo. Indicar cuántos de estos maestros: U-Maestros que no tienen su Doctorado ni se dedican a investigar de tiempo completo C- maestros que tienen doctorado T- maestros que trabajan tiempo completo U C

T 2 1

11 4

3 2 1 3

Tienen su Doctorado o se dedican a investigar de tiempo completo: es un total de 167 maestros. C ∪ T = {21, 114, 32}

No tienen su Doctorado ni se dedican a investigar de tiempo completo: es un total de 13 maestros. U = {13} A`, B`={x ∉ A / x ∉ B, Λ, x ∉ A ∪ B}

SOLUCION del ejercicio c.

p. Tres colombianos han ganado el premio nobel

(F)

q. Gabriel García Márquez gano un nobel de paz (F)

(¬�) →(¬ �)

Tres colombianos no han ganado el premio nobel y Gabriel García Márquez no gano un nobel de paz (¬�) →(¬ �) V

V

V

TAREA 2 Si estamos en el año 2017 o faltan dos años para el mundial y no faltan dos años para el mundial de fútbol, entonces estamos en el año 2017 p = Si estamos en el año 2017

(V)

q = faltan 2 años para el mundial

(F)

¬q = no faltan 2 años para el mundial (V) (p ∧ ¬q) V

V V

Estamos en el año 2017 y no faltan 2 años para el mundial

SOLUCION TAREA 3 C. demostración grafica con conjuntos A. Estudiantes que hicieron el problema de conjuntos

5

B. Estudiantes que hicieron el problema de tablas de verdad

5

C. Estudiantes que hicieron el problema de la validez de un razonamiento

5

P. Estudiantes que no hicieron ningún ejercicio

5

Los estudiantes que solo hicieron los problemas de validez de un razonamiento

A

B 2

3 2 1

5

2

C

C – A− B = {x, tales que x ∈ C y x ∉ A y x ∉ B} Tarea 4

Se realizó en una empresa de telecomunicaciones una verificación del estado de un lote de 130 equipos celulares que presentaban fallas técnicas, encontrando los siguiente: A equipos con defecto en la pantalla, B equipos con defectos en el pin de carga, Se observó que los equipos con mal funcionamiento de pantalla y pin de carga, son el doble de los que sólo tienen pantalla dañada; mientras que los que sólo tienen defecto en pin de carga son 70 equipos.

A. Equipos con defecto en la pantalla B. Equipos con defectos en el pin de carga

� +2�+70=130 � +2�=130−70 3�=60

� =603 �=20 20 +2(20)+70=130 20 +40+70=130

A

B

20

40

70

CONCLUSIONES



Desarrollamos las temáticas de proposiciones, tablas de verdad, conjuntos y sus operaciones



Utilizamos estrategias basadas en problemas



Interactuamos con los diferentes compañeros



Adquirimos herramientas útiles para nuestra vida profesional

REFERENCIAS BIBLIOGRAFICAS 

Villalpando, B. J. F. (2000). Matemáticas discretas: aplicaciones y ejercicios. : Larousse - Grupo Editorial Patria. Páginas 19 - 29. Recuperado de: http://hdl.handle.net/10596/6551



Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 151- 162. Recuperado de:http://hdl.handle.net/10596/6552



Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima. Córdoba, AR: El Cid Editor. Páginas 24 – 34. Recuperado de:http://hdl.handle.net/10596/6537



Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación media. Bogotá, CO: Educar Editores S.A. Páginas 20 -24 Recuperado de: http://hdl.handle.net/10596/6550



Manuel Enrique Wagner Mendivelso. [Manuel wagner]. (2016, marzo 9). [Lógica Proposiciones 1]. Recuperado de:http://hdl.handle.net/10596/6542



Héctor Fabio Amaya Díaz. [hector fabio amaya diaz]. (2016, Abril 10). [Tablas de verdad colaborativo 2]. Recuperado de:http://hdl.handle.net/10596/6547