TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

DIEGO ARMANDO ENDO COMBARIZA

C.C: 1.049.609.341

NUMERO DE GRUPO: 200611_1213

TUTORA

YENNY MARISOL CAYACHOA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

TUNJA (BOYACA)

2018
 INTRODUCION

Con el desarrollo de este trabajo se pretende sintetizar y referenciar las cuantizaciones

de la lógica matemática y algunos conceptos emitidos de acuerdo con nuestro criterio, a los

ejercicios planteados en la guía de actividades. Además, nos enseña algunas fórmulas de las

proposiciones para desarrollar tablas de verdad de igual manera nos brinda conocimiento

frente a los cuantificadores de la lógica.

OBJETIVOS:

 Conocer el concepto de los cuantificadores y las proposiciones

 Profundizar sobre las tablas de verdad teniendo en cuenta sus formulas

 Trabajar estratégicamente para resolver problemas mediante los

argumentos presentados

 Identificar los diferentes tipos de cuantificadores.

EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES
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.

 Definir las proposiciones simples del argumento.

P: si la selección Colombia va al mundial

q: james juega los partidos

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

((pq)p)
  Generar una tabla de verdad con el simulador Truth Table a partir del

lenguaje simbólico

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico

p q (pq) p

v v v v

v f f v

f v f v

f f f v

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

 A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

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

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: las grabaciones de la web conferencia están en el entorno inicial

Q: Los gatos son reptiles

R: los cursos de la UNAD se aprueban con 400 puntos

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

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

las grabaciones de la web conferencia están en el entorno inicial entonces los

gatos son reptiles y las grabaciones de la web conferencia no están en el entorno

inicial entonces los cursos de la UNAD se aprueban con 400 puntos entonces los
 cursos de la UNAD no se aprueban con 400 puntos entonces las grabaciones de la

web conferencia están en el entorno inicial

 Generar una tabla de verdad con el simulador Truth Table 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 (pq) (~pr) (~r⟶p) (pq)(~pr) (pq)(~pr)(~rp)

V V V V V V V V
V V F V V V V V
V F V F V V F V
V F F F V V F V
F V V V V V V V
F V F V F F F V
F F V V V V V V
F F F V F F F V
  Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia

Los argumentos anteriores son tautologías debido a que es una proposición

verdadera.
CONCLUSIONES:

 Las proposiciones y las tablas son de gran interés en las

matemáticas ya que son una herramienta significativa ya que se pueden

desarrollar o solucionar un problema según su argumentación utilizando sus

fórmulas matemáticas.

 Como conclusión se puede deducir que los argumentos se

pueden verificar una afirmación bien sea falsa o verdadera.

 Se entiende el concepto de lo que es los cuantificadores en la

lógica matemática.
 REFERENCIAS BIBLIOGRAFICAS

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=3226

457&tm=1529246259924

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado

dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=319

9701&tm=1529335849013

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=31

99701&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