UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

ALEJANDRO MAGNO GUERRERO HUILA

CODIGO:87940071

TUTORA:

AMELIA ELIZABETH CORDOBA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

INGENIERÍA ELECTRÓNICA GRUPO 200611B_761
PENSAMIENTO LÓGICO MATEMÁTICO
TUMACO-NARIÑO
2020
 Introducción

El presente trabajo tiene como finalidad dar a conocer el concepto de cuantificador

universal afirmativos soportado con ejemplos, a través de una presentación didáctico

PowerPoint. Luego, a partir de un argumento se desarrolla unas proposiciones simples,

lenguaje simbólico, tabla de verdad manual, simulador lógico UNAD y se determinar el

resultado de la tabla de verdad. Por último, se da solución a una problemática planteada en

lenguaje simbólico.

Objetivos

General

comprender los conceptos fundamentales de la lógica proposicional y aplicarlos para la

resolución de problemas.

Específicos

 Describir el concepto de cuantificador universal afirmativo.

 Construir tablas de verdad a partir de proposiciones simples y determinar si el

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

 Definir expresiones de argumento en lenguaje simbólico en proposiciones simples,

compuesto y lenguaje natural.
 Desarrollo de la actividad

Ejercicio 1: Conceptualización de Cuantificadores

A. Cuantificador Universal Afirmativo.

Ejercicio 2: Proposiciones y Tablas de verdad

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su área

mide 60 cm2

• Definir las proposiciones simples del argumento:

p = si la base de un triángulo mide 6 cm

q = su altura mide 10 cm

r = su área mide 60 cm2

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

[ ( p ∧q ) → r ]

• Tabla de verdad manual:

p q r ( p ∧q ) [ ( p ∧q ) → r ]
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F v

 Simulador Lógica UNAD:

 Resultado de la tabla de verdad: CONTINGENCIA

Ejercicio 3: Problemas de aplicación

A. [ p → ( q ⋀ r ) ]

 Proposiciones Simples:

p = estudio el examen final

q = obtengo malos resultados

r = reprobare la materia de matemáticas

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural:

Si no estudio el examen final entonces obtengo malos resultados y reprobare la
materia de matemáticas.

 Tabla de la verdad (manual):

p q r -p (q ⋀ r) [~p→(q ⋀ r)]
V V V f v v
V V F f f v
V F V f f v
V F F f f v
F V V v v v
F V F v f f
F F V v f f
F F F v f f
 Simulador Lógica UNAD:

 Resultado de la tabla de verdad: CONTINGENCIA

 Conclusión

A partir del desarrollo del trabajo se concluye, que las tablas de verdad son muy

trascendentales dado que nos permite analizar formulas y hallar sus posibles valores

verdaderos de alguna expresión.

Referencia bibliográfica

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
https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20
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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12
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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=109
Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de:
http://logicaunad.com/jtruth/