Unidad 1

Tarea 1 Proposiciones y tablas de verdad

Carol Yineth Nova Salazar

Presentado a: Guillermo Manjarres

Grupo: 200611_560

Universidad Nacional Abierta y a Distancia

Escuela De Ciencias Básicas, Tecnología E Ingeniería
Ingeniería Industrial
Duitama Boyacá
2020
 Introducción
En el siguiente trabajo, abordaremos las temáticas de la unidad 1 llamada proposiciones y tablas
de verdad, se podrán identificar la conceptuación, análisis y argumentación de forma adecuada
de los procedimientos desde la lógica proporcional, utilizados para demostrar la veracidad y
validez de situaciones específicas del mundo real y así verificar si la tabla de verdad generada es
una tautología, contradicción o contingencia, la lógica matemática se mostrará a través de las
tablas de verdad de acuerdo al problema a solucionar con el respectivo pantallazo como
evidencia de la comprobación a través del simulador .
 Objetivos
 Identificar las clases de proporciones que se pueden encontrar en un enunciado.

 Traducir proporciones de lenguaje verbal a variables lógicas y viceversa.

 Comprender los principios de las operaciones del cálculo proporcional y sus aplicaciones.

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

 Identificar si un argumento es válido o invalido y de igual forma demostrar su validez.

Ejercicio 1: Conceptualización de cuantificadores
Ejercicio 2: Proporciones y tablas de verdad
D. Si las películas de Marvel han sido las más taquilleras en los últimos años entonces, la gran
mayoría de las personas las han visto y si la gran mayoría de las personas no las han visto
entonces The Avengers no es una película taquillera.
Proposiciones:

p: Las películas de Marvel han sido las más taquilleras en los últimos años.

q: la gran mayoría de las personas han visto las películas de Marvell.

q : la gran mayoría mayoría de las personas no han visto las películas de Marvel.

r: The Avengers no es una película taquillera.

Lenguaje simbólico:

( p → q)∧( q → r)

Tabla del simulador:

Tabla manual:
 p q r q r p→ q q→ r ( p → q)∧( q → r)

V V V F F V V V
V V F F V V V V
V F V V F F F F
V F F V V F V F
F V V F F V V V
F V F F V V V V
F F V V F V F F
F F F V V V V V

Se clasifica como: contingencia.

Ejercicio 3: problemas de aplicación

D. ¿
Sigmund Freud fue el padre del psicoanálisis, si solo si él era un médico neurólogo y trataba
pacientes con trastornos mentales actualmente las teorías de Sigmund Freud se utilizan para
analizar obras de arte literatura, cine o gran importancia en filósofos que han discutido sus
teorías.
Proposiciones

p: Sigmund Freud fue el padre del psicoanálisis

q: él era un médico neurólogo y trataba pacientes con trastornos mentales.
r: actualmente las teorías de Sigmund Freud se utilizan para analizar obras de arte
literatura, cine.
S: Gran importancia en filósofos que han discutido sus teorías.

lenguaje simbólico

¿
Tabla del simulador
Tabla manual

p q r s r∨s ¿

V V V V V V
V V V F V V
V V F V V V
V V F F F F
V F V V V F
V F V F V F
V F F V V F
V F F F F F
F V V V V F
F V V F V F
F V F V V F
F V F F F V
F F V V V V
F F V F V V
F F F V V V
F F F F F V

Se clasifica como: contingencia.

 Conclusiones

La lógica matemática nos ayuda a desarrollar los procesos de pensamiento encontrando sentido a
lo que normalmente realizamos, muchas veces utilizamos en nuestro racionamiento oraciones y
frases que pueden estudiarse en esa materia, las inferencias lógicas también cotidianas y las
hacemos sin darnos cuenta.
La utilización de la lógica tiene sus ventajas y de ventajas y por lo tanto hay que conocerlas y
analizarlas. La lógica ofrece métodos que enseñan como elaborar proposiciones evaluar su valor
de verdad y determinar si las conclusiones se han deducido correctamente a partir de
proposiciones supuestas. La proposición es elemento esencial de la lógica matemática.
Se aprendió como realizar tablas de verdad y sus proposiciones se logró entender perfectamente
esta tarea con sus respectivos ejercicios.
 Bibliografía
 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.action?
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.action?
ppg=109&docID=3199701&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

 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=3226457&tm=1529246259924