Tarea 1 - Proposiciones y Tablas de Verdad

200611A_475

Estudiante:

Jeison Mauricio Rodríguez Amezquita cc. 1053586075

Grupo: 200611_69

Presentado a: Wilson Vladimir Angarita

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERÍA

SOGAMOSO

2018

1
 Tabla de contenido

Objetivo general .......................................................................................................................................... 3

Objetivos específicos ................................................................................................................................... 3
Introducción ................................................................................................................................................ 4
Ejercicio 1 .................................................................................................................................................... 5
Ejercicio 2 .................................................................................................................................................... 6
Ejercicio 3 .................................................................................................................................................... 8
Conclusiones .............................................................................................................................................. 10
Referencias................................................................................................................................................. 11

2
 Objetivo general

Tiene como objetivo identificar con rapidez y propiedad los componentes principales del

curso, y familiarizar los ambientes de trabajo para la entrega oportuna de las actividades.

Finalmente lograr utilizar las herramientas técnicas para ejecutar la lógica matemática buscado la

resolución de problemas que atiendan los requerimientos.

Objetivos específicos

Comprender los elementos teóricos que sustentan el pensamiento lógico matemático

Identificar y utilizar los fundamentos de la lógica matemática para la solución de

problemas

3
 Introducción

La elaboración del presente trabajo tiene como finalizad sustentar el grado de percepción

que se obtuvo al repasar los temas adjuntos, y afianzar la disposición en adquirir nuevos

conocimientos para su aplicabilidad en el desarrollo de las actividades.

Como se evidencia fue de suma importancia el material que se encontraba disponible ya que

este, servirá para apropiar los pre saberes y nociones del dibujo de ingeniería.

Así como el aprendizaje para la toma de decisiones en los problemas donde la información en

algo o toda no se conoce con certeza en el momento en que esta debe tomarse.

4
 Ejercicio 1

Se denota con el símbolo ∃!X ∈ y se utiliza para indicar que existe únicamente un elemento

en el conjunto que cumple con una condición especifica.

El cuantificador especial único se usa para indicar que hay un único elemento de un

conjunto A que cumple una determinada propiedad.

Se escribe: ∃!x ∈A:P(x)

Se lee: existe una única x elemento de A, que cumple P(x).

Existe un único x que pertenece a A, tal que x p (x) es verdadero.

EJEMPLOS:

P(x): x/ x es presidente de Rusia.

Entonces: ∃!x: p (x) existe un único x tal que x es Presidente de Rusia.

P(x) x/x es mujer Q (x) = x/x es chilena R (x) = x/x fue madre de mas de 50 hijos.

Entonces ∃!x: p (x) ^q (x) ^ r(x): existe un único x tal que x es mujer, es chilena y tuvo mas

de 50 Hijos.*

Ejercicio 1
Conceptualización de Cuantificadores.pptx

5
 Ejercicio 2

Ejercicio 2: Proposiciones y Tablas de verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

A. Si la Selección Colombia va al mundial y James juega los partidos, entonces la Selección

Colombia será finalista del Mundial de Rusia.

A partir del argumento que haya seleccionado deberá dar respuesta a los

siguientes ítems:

 Definir las proposiciones simples del argumento.

p: Si la Selección Colombia va al mundial

q: James juega los partidos

r: la Selección Colombia será finalista del Mundial de Rusia.

 Definir la expresión del argumento en lenguaje simbólico o formal.

𝑝∧𝑞 →𝑟

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico

(El estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH, en

el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

6
Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q r p∧q p∧q→r

V V V V V

V V F V F

V F V F V

V F F F V

F V V F V

F V F F V

F F V F V

F F F F V

7
 Ejercicio 3

Expresión formal o simbólica (dada en el planteamiento del ejercicio):

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

Definición de las proposiciones simples

p: tengo buenas notas

q: entrego mis actividades a tiempo

r: debo subir mi promedio

Lenguaje natural de la expresión formal

Si tengo buenas notas entonces entrego mis actividades a tiempo. Si no tengo buenas notas entonces

debo subir mi promedio. Por lo tanto, si debo subir mi promedio entonces tengo buenas notas.

8
Generar la tabla de verdad manualmente

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

p q r ∼𝑝 ∼r 𝑝⟶𝑞 ∼𝑝⟶𝑟 [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)] (∼r⟶p) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

V V V F F V V V V V

V V F F V V V V V V

V F V F F F V F V V

V F F F V F V F V V

F V V V F V V V V V

F V F V V V F F F V

F F V V F V V V V V

F F F V V V F F F V

Generar la tabla de verdad con el simulador Truth Table

9
 Conclusiones

El trabajo nos ayudó a identificar y conocer los principales conceptos del dibujo de la lógica

matemática para poder aplicarlos para la resolución de problemas

El paso por los diferentes entornos de la plataforma ayuda a cumplir con los objetivos de las

actividades pues estas llevan a la consecución de logros.

El software mencionado dentro del entorno de conocimiento facilita la ejecución y

construcción de tablas de verdad de acuerdo con los requerimientos dados.

10
 Referencias

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

106-112). Ediciones Elizcom, Madrid. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=

3199701&tm=1529510366591

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo].

Recuperado de http://hdl.handle.net/10596/7961

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra

lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:

Editorial Tébar Flores. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=32

26457&tm=1529246259924

11