PENSAMIENTO LOGICO MATEMATICO

CÓDIGO: 200611

Tarea1 Unidad 1

Presentado al tutor (a):

Arteaga González Mary

Entregado por el (la) estudiante:

Alexander Rueda
Código: 3.408.152

Grupo: 200611_234

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
 11 de marzo de 2019
Colombia

INTRODUCCIÓN

En el presente trabajo abordaremos diferentes temas como conceptos sobre cuantificadores, para

así introducirnos en el mundo de la lógica matemática, además veremos proposiciones y tablas de

verdad para aprender cómo se forman paso a paso con ello comprenderemos mejor algunas

estructuras matemáticas y el tema de proposiciones en donde aplicaremos los temas estudiados

previamente en lógica proposicional.

Ejercicio 1: Conceptualización de Cuantificadores

Cuantificador universal Afirmativo.

Generalmente se usan las siguientes frases para denotarlo:

* Todos x

* Para cada x

* Siempre que x

* Cualquier x

Ejemplo1. Todos los estudiantes de la Unad son Pilos

Ejemplo2. A todos los colombianos nos gusta la selección Colombia.

https://prezi.com/p/71s5j9eqmm_5/

Ejercicio 2: Proposiciones y Tablas de verdad.

Descripción del ejercicio:

Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta

probabilidad de accidentarse o Laura puede dañar su automóvil.

Definir las proposiciones simples del argumento.

P = Laura chatea en su celular

q = Laura conduce por la autopista

r = Laura tiene una alta probabilidad de accidentarse

s = Laura puede dañar su automóvil

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

[(p ^ q) → (r V s)]
Generar una tabla de verdad con el simulador Lógica UNAD
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si

el resultado es una tautología, contingencia o contradicción.

p q r s p^q (r v s) [(p ^ q) → (r V s)]

V V V V V V V
V V V F V V V
V V F V V V V
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F V V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F V V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F V V
F F F F F F V
Podemos observar que es una contingencia ya que hay combinación de valores verdaderos
y falsos

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

A. (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada

en un contexto, el que se solicita es un contexto académico.

p: Alexander estudia en la UNAD

q: Alexander gana pensamiento lógico matemático

r: Alexander realiza correctamente el taller de la unidad 1

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Alexander es estudiante de la UNAD y gana pensamiento lógico matemático, si Alexander

realiza correctamente el taller de la unidad 1 o Alexander no gana pensamiento lógico

matemático
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

 (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

p q r ¬q P^q r v ¬q (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

V V V F V V V
V V F F V F F
V F V V F V V
V F F V F V V
F V V F F V V
F V F F F V V
F F V V F V V
F F F V F V V
 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia.

Podemos observar que es una contingencia ya que hay combinación de valores verdaderos

y falsos
  CONCLUSIONES

Observamos en este trabajo aspectos tan importantes como los cuantificadores que, aunque su nombre de entrada no nos diga mucho,

al estudiarlos a fondo concluimos que son solo elementos que utilizamos en nuestra vida cotidiana.

Encontramos que las tablas de verdad, aunque se vean u tanto enredadas, son la forma lógica de organizar algunas ideas o conceptos.

A veces creemos que estos temas no son relevantes en nuestra vida, sin embargo, nos damos cuenta que hacen parte de la vida misma
 REFERENCIAS BIBLIOGRÁFICAS

https://www.youtube.com/watch?v=kANelfBRR9Y
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
https://es.wikipedia.org/wiki/Cuantificador

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.
Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de http://hdl.handle.net/10596/13871