TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

NIDIA YANETH OJEDA SUEREZ

CODIGO: 1002647296

NUEMERO DE GRUPO: 200611_1424

TUTORA

YADY MILENA CAMACHO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

TUNJA 2019
 INTRODUCCION

En el desarrollo de esta actividad podemos evidenciar el concepto de cuantificador

existencial, con sus ejemplos, también se hallará un ejercicio donde ponemos en conocimiento el

desarrollo de las proposiciones simples o compuestas para llegar a establecer una tabla de verdad

que nos comprobará si el argumento puede ser una tautología, contradicción o contingencia.
OBJETIVO GENERAL

➢ El propósito de esta actividad es brindarnos elementos para saber el concepto

de cuantificador existencial y la representación las proposiciones y tablas de verdad.

OBJETIVOS ESPECIFICOS

➢ Identificar el concepto del cuantificador existencial y sus ejemplos

➢ Establecer dentro del argumento de un ejercicio cuales son las proposiciones

simples, su lenguaje simbólico y la tabla de verdad.

➢ Realizar tablas de verdad con el simulador LOGICA UNAD para así

verificar si la tabla manual esta correcta.

Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio

Los temas propuestos son:

A. Cuantificador Existencial.
Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

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

 C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira

es un sustantivo

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

• Definir las proposiciones simples del argumento.

p= Pereira es el nombre de una ciudad

q= Pereira es un apellido

r= Pereira es un sustantivo

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

Pvq r

• 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 y

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

 p q r p pvq

vq r

v v v v v

v v f v f

v f v v v

v f f v f

f v v v v

f v f v f

f f v f v

f f f f v

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 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: Luisa va a estudiar

q: hace frio

r: se abriga bien

➢ Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de cada estudiante.

Luisa va a estudiar si y solo si no hace frio o hace frio y Luisa se abriga bien.

➢ 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.
 p q r ¬q p↔¬q qr (𝒑 ↔ ¬𝒒)

∨ (𝒒 ∧ 𝒓 )

v v v f f v v

v v f f f f f

v f v v v f v

v f f v v f v

f v v f v v v

f v f f v f v

f f v v f f f

f f f v f f f

➢ Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia.

Es una contingencia ya que encontramos expresiones verdaderas y falsas

 CONCLUSIONES

➢ Con este trabajo se logra comprender el manejo de una herramienta nueva como lo

son las tablas de verdad, el cual muestra el valor de verdad de una proposición compuesta para

cada combinación de verdad que se pueda asignar.

➢ Gracias a las actividades propuesta se logra identificar y comprender los elementos

esenciales en las proporciones y la forma de aplicarlos para resolver problemas cotidianos por

medio de las tablas de verdad.

➢ Se puede concluir que los argumentos se pueden verificar si son afirmaciones falsas

o verdaderas.
REFERENCIAS BIBLIOGRAFICAS

➢ Proposiciones y tablas de verdad 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=32264

57&tm=1529246259924

➢ Proposiciones y Conectores lógicos 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=31997

01&tm=1529335849013

➢ Cuantificadores 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=3199

701&tm=1529510366591

➢ Tablas de verdad 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

➢ https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-

po/cuantificadores