Unidad 1, 2: Ultima oportunidad

Nombre: Luis José Batista Mórelo

Grupo: 200611_747

Curso: Pensamiento lógico y matemático

Tutor: Randy Zabaleta Mesino

Universidad Nacional Abierta y a Distancia

2018
 Introducción

El presente trabajo individual tiene como fundamento dar a conocer el desarrollo de los
ejercicios correspondientes a la primera unidad del curso de pensamiento lógico y
matemático.

Para poder desarrollar los ejercicios de la unidad uno es indispensable entender que la
lógica matemática es una de las ramas de la matemática que se encarga de las estructuras
básicas de los diferentes razonamientos matemáticos. Muchas de las expresiones
matemáticas se conocen como proposiciones y estas son demostradas a través de la lógica
proposicional.

Es por esta razón que en este trabajo se evidencia los conceptos de proposiciones simples y
compuestas, se traducirán proposiciones del lenguaje simbólico al formal y viceversa y
además se realizaran tablas de verdad para verificar la veracidad de dichas proposiciones a
través de un recurso tecnológico llamado simulador truth table
 Objetivos

Objetivo General

Sintetizar lo aprendido en la primera sobre la lógica proposicional mediante la resolución

de cuatro ejercicios establecidos por el tutor, por otra parte interpretar y construir los
diferentes resultados arrojados por las tablas de verdad encontradas en las proposiciones
simples y compuestas.

Objetivos Específicos:
 Construir tablas de verdad utilizando los conectores lógicos y sus diferentes tablas

 Representar las diferentes proposiciones moleculares y compuestas en lenguaje

simbólico
Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de
los siguientes temas y presentarlo de manera gráfica a través de una presentación,
utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir
del tema deberá dar su definición y dos ejemplos.

El tema propuesto es:

B. Cuantificador Universal negativo.

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

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

B . Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un

escritor brillante e ingenioso.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.
P: Gabriel Garcia Marquez escribió cien años de soledad.
Q: La iliada
R: Es un escritor brillante e ingenioso

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

(P∨Q)⟷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∨Q (P∨Q)⟷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 F
F F F F V
CONTINGENCIA

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:

B. [(p∧q)⟷(∼r ⋀ s)]

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: La UNAD es una universidad a Distancia

Q: de aprendizaje autónomo
R: entra a la plataforma el estudiante
S: entrega los trabajos fuera de tiempo pierde el curso.
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.

B. [(p∧q)⟷(∼r ⋀ s)]

La UNAD es una universidad a Distancia y de aprendizaje autónomo. Si y solo si, no entra

a la plataforma el estudiante y entrega los trabajos fuera de tiempo pierde el curso.

• 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 s ∼r (p∧q) (∼r⋀ s) [(p∧q)⟷(∼r

⋀ s)]

v v v v f v F F
v v v f f V F F
v v f v v V V V
v v f f v V F F
v f v v f F F V
v f v f f F F V
v f f v v F V F
f f f f v F F V
f v v v f F F V
f v v f f F F V
f v f v v F V F
f v f f V F F V
f f v v f F F V
f f v f f F F V
f f f v V F V F
f f f f V F F V

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

contingencia

El argumento seleccionado es una CONTINGENCIA ya que la proposición puede ser

verdadera o falsa, según los valores de las proposiciones que la integran.
 Referencias bibliográficas

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.

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

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

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