Vous êtes sur la page 1sur 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Lina Marcela Ordoñez Ordoñez

Docente

John Freddy Ruano

Curso

Pensamiento Lógico y Matemático

Grupo

200611_407

Ipiales Nariño

05/03/2018

para comprobar el resultado de los ejercicios.  Resolver mis ejercicios con procedimientos específicos según la guía de actividades y web conferencia transmitida.  Usar los símbolos básicos de la lógica proposicional.  Fijar y obtener orden en mis tablas de verdad para que puedan ser comprendidas y claras.  Utilizar la metodología adecuada para esta actividad.  Utiliza el simulador truth.  Trabajar estrategias generales para resolver mis problemas. OBJETIVOS ESPECIFICOS. y obtener conocimientos sobre este tema. . UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD OBJETIVOS OBJETIVO GENERAL. .

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD INTRODUCCIÓN En esta actividad se presentó una solución completa y oportuna de la misma. continuas y oportunas. Toda metodología basada en la teoría del aprendizaje significativo. facilita a que nosotros como alumnos en el aprendizaje tengamos una mejor y calidad sobre unas bases fundamentales para un buen proceso pedagógico donde se obtiene el fortalecimiento lógico matemático cuando se aplica una unidad didáctica basada en la teoría de aprendizaje significativo donde se fortalecen mejores relaciones con el mundo externo. . se tubo en cuenta las participaciones significativas.

a partir del valor de verdad de cada proposición simple: 𝒑: el rector de la UNAD es Jaime Alberto Leal Afanador. si y solo en la UNAD no se estudia de forma presencial ó la UNAD no es una institución de carácter publico Determinación del valor de verdad: p: V q: V r: F [(p → r) ∧ q] ↔ (¬r v ¬q) [( V → F) ∧ V] ↔ (V v F) F ∧ V ↔ V F ↔ V F . 𝒒: La UNAD es una institución de carácter publico r: En la UNAD se estudia de forma presencial [(p→r) ∧ q] ↔ (¬r v ¬q) Proposición compuesta en lenguaje Natural: Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces en la UNAD se estudia de forma presencial además la UNAD es una institución de carácter público. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Actividades Que Desarrollar Tarea 1: Proposiciones punto B Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el valor de verdad de la proposición compuesta.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Tarea 2: Tablas de verdad punto A: La solución de los enunciados debe contar con las siguientes etapas:  Expresión en lenguaje simbólico o formal. Enunciado.  Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table. Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces en la noche llueve Expresión en lenguaje simbólico o formal. Definición de proposiciones simples: Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces en la noche llueve p: en las mañanas llueve q: en la tarde hace frio r: en la noche llueve Determinación de conectores: Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces en la noche llueve Expresión en lenguaje formal: (p > q) & (q > r) (p → q) ∧ (q → r) .  Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Tabla de verdad Simulador Truth Table Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.  El resultado final de la tabla de verdad y el simulador es igual. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Generar la tabla de verdad manualmente y a través del simulador Truth Table. .

. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Tarea 3: Problemas de aplicación punto A La solución de los enunciados debe contar con las siguientes etapas:  Definición de las proposiciones simples  Lenguaje natural de la expresión formal  Generar la tabla de verdad manualmente y a través del simulador Truth Table. Proposición compuesta en lenguaje formal {[(p→q) Λ(r→s) Λ [(q Λs) →t] Λ (p Λ r)} → t Definición de las proposiciones simples p: El gato duerme q: Los ratones hacen fiesta r: la nevera esta vacía s: comerán solo queso t: estarán satisfechos Lenguaje natural de la expresión formal si el gato duerme entonces los ratones hacen fiesta y si la nevera está vacía entonces comerán solo queso y si los ratones hacen fiesta y solo comen queso entonces estarán satisfechos y si el gato duerme y la nevera está vacía entonces estarán satisfechos.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Generar la tabla de verdad manualmente y a través del simulador Truth Table. Tabla de verdad  La expresión de la tabla de verdad es TAUTOLOGIA .

. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Simulador Truth Table Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.  El resultado final de la tabla de verdad y el simulador es igual.

por lo tanto. evaluar su valor de verdad y determinar si las conclusiones se han deducido correctamente a partir de proposiciones supuestas. hay que conocerlas y analizarlas. . UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD CONCLUSIONES  La lógica matemática nos ayuda a desarrollar los procesos de pensamiento encontrando sentido a lo que normalmente realizamos.  La utilización de la lógica matemática tiene sus ventajas y desventajas.  La lógica ofrece métodos que enseñan como elaborar proposiciones.

Guadalajara. (pp.edu.unad. Recuperado de http://bibliotecavirtual. Recuperado de https://www. En ProQuest (Ed). J. C.Grupo Editorial Patria.162).29). H. Recuperado de http://hdl. (pp. P. Recuperado de http://bibliotecavirtual.com/watch?v=lrnmYWx9NNM&list=PLvV1ifY0oV9sbsYX0K 87jyE9uXGBTioTd .co:2077/lib/unadsp/reader.youtube. (2000). Matemáticas discretas: aplicaciones y ejercicios de aplicación.action?ppg=166&d ocID=11046000&tm=1489704594878  Moscote. B. México: Larousse . México: Larousse . (2000). UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD REFERENCIAS BIBLIOGRÁFICAS  Villalpando. (2016).handle. Compendio de lógica. "Fundamentos de la Lógica Matemática y Cálculo Proposicional". En ProQuest (Ed).action?docID=110135 70&ppg=30  Chávez. "Lógica Simbólica".edu. F.co:2077/lib/unadsp/reader. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.unad. 19 .Grupo Editorial Patria. lógica proposicional.net/10596/796  Algebra preuniversitaria. Guadalajara. 151.