UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

Estudiante:
Ludwing Orlando Bretón Ortiz

Tutor:
David Rodrigo Olivares

Grupo:
200611_612

PENSAMIENTO LOGICO Y MATEMATICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD
ECBTI
Septiembre 2019
Introducción

Con la elaboración de este trabajo, se avanzará de forma significativa en

lo enmarcado en este curso, siendo notable debido a la realización de
diversos ejercicios que tiene como finalidad enriquecer el conocimiento
de la temática planteada.

Siendo evidente el demostrar la importancia de los cuantificadores como

lenguaje simbólico, los cuales son parte de las actividades que se
realizarán a lo largo del desarrollo del curso; igualmente se elaboraran
tablas de verdad para los ejercicios seleccionados como su descripción
en lenguaje natural y simbólico.
Objetivos:

 Identificar las clases de proposiciones que se pueden encontrar en

un enunciado.

 Traducir proposiciones del lenguaje verbal a variables lógicas y

viceversa.

 Comprender los principios de las operaciones del cálculo

proposicional y sus aplicaciones.

 Analizar los enunciados para la elaboración de las tablas de verdad.

 Identificar si un argumento es válido o inválido y de igual forma,

demostrar su validez.
Desarrollo de los 3 ejercicios.

Actividades a desarrollar

La tarea de esta unidad se compone de una serie de ejercicios que se

describen a continuación:

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.

Los temas propuestos son:

A. Cuantificadores en la Lógica Matemática. (Si es posible dar precisión

de la ubicación del tema dentro del contenido)
B. Cuantificador Universal.
C. Cuantificador Existencial.
D. Cuantificador Existencial Único.
E. Negación de Proposiciones con Cuantificadores

En el caso de seleccionar la herramienta PREZI, debe dirigirse a la

página web https://prezi.com/es/ y realizar la apertura de una cuenta
para lograr hacer uso de la herramienta, posteriormente debe colocar el
enlace de la presentación en el documento que consolidará para
entregar en el entorno de seguimiento y evaluación.
Presentación PowerPoint
Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

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

ejercicio 2:

A. Si el vehículo de Gabriela necesita mantenimiento entonces,

ella lo lleva al concesionario o Si ella no lo lleva al concesionario
entonces, lo lleva taller de Fernando

B. El arcoíris se forma con muchos colores si y sólo si el agua de

lluvia interactúa con los rayos de luz solar o si el sol está detrás de
las nubes entonces, el arcoíris no se forma con muchos colores.

C. Empresas estadounidenses no pueden negociar con empresas

chinas o Google es una empresa estadounidense y Si Huawei es
una empresa china entonces no tiene Android de Google.

D. Sofía estudia medicina o estudia literatura inglesa y Si ella

estudia literatura inglesa entonces escribirá poemas.

E. PlayStation es una consola si y sólo si es usada como un

reproductor de BlueRay y para jugar juegos de video.
A partir del argumento que haya seleccionado deberá dar respuesta a
los siguientes ítems:

 Definir las proposiciones simples del argumento.

 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)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico.

Empresas estadounidenses no pueden negociar con empresas chinas

o Google es una empresa estadounidense y Si Huawei es una
empresa china entonces no tiene Android de Google.

Preposiciones:

¬p: Empresas estadounidenses no pueden negociar con empresas chi-

nas

q: Goo-gle es una empresa estadounidense

r: Hua-wei es una empresa chi-na

¬o: no tiene An-droid de Goo-gle.

Lenguaje simbólico o formal:

¬p ∨ q: Empresas estadounidenses no pueden negociar con empresas

chi-nas o Goo-gle es una empresa estadounidense

r→¬o: Si Hua-wei es una empresa chi-na entonces no tiene An-droid de

Goo-gle.

(¬p ∨ q)∧ ( r→¬o): Empresas estadounidenses no pueden negociar con

empresas chi-nas o Goo-gle es una empresa estadounidense y Si Hua-
wei es una empresa chi-na entonces no tiene An-droid de Goo-gle.
El resultado es una tautología, contingencia o contradicción.

Tautología una proposición que es cierta para cualquier valor de

verdad de sus componentes. Por tanto, la última columna de su tabla de
verdad estará formada únicamente por verdadero.

Contradicción: es la negación de una tautología, luego es una

proposición falsa cualquiera sea el valor de verdad de sus componentes.
La última columna de la tabla de verdad de una contradicción estará
formada únicamente por falso.

Por lo tanto, es una contingencia tiene valores de verdad verdaderos y

falsos.
Tabla de verdad manual:

(~pVq)^(r
P Q R S
s)
V V V V V
V V F F F
V F V V V
V F F F V
F V V V F
F V F F F
F F V V F
F F F F F

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que revise en el

Entorno de Conocimiento (Unidad 1), las siguientes referencias:

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

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

A. (𝑝∧�)→(� ⋀ �)
B. (𝑝→�)∧(� ⋀ �)
C. [(𝑝 ⋁�)⟷�]
D. (𝑝 ⋁�) ⋀ (� ⟶(� ⋀�))
E. [(𝑝 ⋀ �)⟶�]∧[(~ � ∨�) ⟶~�]

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, ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública
Definición de preposiciones simples:

p: el vehículo de mi esposa necesita mantenimiento

q: lo lleva al concesionario

r: lo lleva al taller de Carlos

Lenguaje natural de la exposición formal

p →q : Si el vehículo de mi esposa necesita mantenimiento entonces,

ella lo lleva al concesionario

¬q→r: si ella no lo lleva al concesionario entonces, lo lleva al taller de

Carlos

p →q ∨ ¬q→r: Si el vehículo de mi esposa necesita mantenimiento

entonces, ella lo lleva al concesionario o si ella no lo lleva al
concesionario entonces, lo lleva al taller de Carlos

Generar Tabla de la Verdad.

p →q ∨ ¬q→r

El argumento es contingencia. Tiene valores falsos y verdaderos

Tabla de verdad manual:

P Q R (p q)V(~q r)

V V V V
V V F V
V F V V
V F F F
F V V V
F V F V
F F V V
CONCLUSIONES

 Se demostró poseer y comprender conocimientos de acuerdo a las

lecturas de la unidad.

 Los temas generan una interpretación más sencilla de los

ejercicios y de las lecturas.

 Se desarrollaron habilidades practicas a la hora de ejercer los

ejercicios.
REFERENCIAS

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.act
ion?ppg=20&docID=3226457&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
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.a
ction?ppg=12&docID=3199701&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.a
ction?ppg=109&docID=3199701&tm=1529510366591.