PENSAMIENTO LÒGICO Y MATEMÀTICO

Unidad 1 “Proposiciones y Tablas de Verdad”

Estudiante
Diana Isabel Mendieta Quintero

Grupo No. 200611_351

Tutor
Nini Johanna Vargas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Mariquita, Tolima. Mayo de 2019
 INTRODUCCION

Este trabajo trata de instruir que por medio de la interpretación investigación y

realización de ejercicios adquirir conceptos claros y dar solución a ejercicios de
proposiciones y tablas de verdad aplicando cada uno de los cuantificadores y haciendo
uso de las expresiones del lenguaje simbólico y del lenguaje normal donde se hace uso
de conectores. Aprendiendo a utilizar y solucionar ejercicios con proposiciones simples
y compuestas en las tablas de verdad y definir a partir de la generación de la tabla de
verdad si el resultado es una proposición tautológica, contradictoria e indeterminado o
contingencia aprendiendo la diferencia entre cada una de ellas.

Objetivos

 Aprender a dar soluciones a argumentos con desarrollado los ejercicios

propuestos con sus expresiones simbólicas por medio de las tablas de verdad
para así determinar el valor de verdad.

 Definir e identificar y dar ejemplos claros del Cuantificador Universal

afirmativo, cuantificador universal negativo, cuantificador existencial,
cuantificador existencial único y las equivalencias entre cuantificadores.

 Encontrar el resultado de las tablas de verdad y definir si es proposición

tautológica, contradictoria e indeterminado o contingencia.

 Identificar los nexos lógicos con sus respectivos símbolos y significados para
facilitar la de los ejercicios de proposiciones expuestos.
 EJERCICIO 1 UNIDAD 1

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.
EJERCICIO 2 UNIDAD 1

Ejercicio 2: Proposiciones y Tablas de verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una
alta probabilidad de accidentarse o Laura puede dañar su automóvil
Solución:
p: Laura chatea en su celular
q: Laura conduce por la autopista
r: Laura tiene una alta probabilidad de accidentarse
s: Laura puede dañar su automóvil
(𝐩 ∧ 𝐪) → (𝐫 ∨ 𝐬)

p q r s p˄q rvs (p˄q)→(rvs)

V V V V V V V

V V V F V V V

V V F V V V V

V V F F V F F

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

V F F V F V V

V F F F F F V

F V V V F V V

F V V F F V V

F V F V F V V

F V F F F F V

F F V V F V V

F F V F F V V

F F F V F V V

F F F F F F V

Resultado de la tabla de verdad: Contingencia

EJERCICIO 3 UNIDAD 1

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:

(𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

Solución:

p: César es amigo de sus compañeros de clase.

q: A César lo eligen como el líder del salón.

r: César tiene liderazgo.

Si César es amigo de sus compañeros de clase y lo eligen como el líder del salón,
entonces César tiene liderazgo o a César no lo eligen como el líder de su salón.

p q r ¬q (p˄q) (rv¬q) (𝒑 ∧ 𝒒) → (𝒓 ∨ ¬𝒒)

V V V F V V V

V V F F V F F

V F V V F V V

V F F V F V V

F V V F F V V

F V F F F F V

F F V V F V V

F F F V F V V

Resultado de la tabla de verdad: Contingencia.

 CONCLUSIONES

Es importante tener el concepto claro de las proposiciones y así dar desarrollo a los
ejercicios definiendo sus cuantificadores, sus nexos lógicos y sus respectivos
símbolos para realizar manualmente una tabla de verdad a partir del ejercicio
propuesto y determinar un resultado real, se recomienda también generar una tabla de
verdad con el simulador Lógica UNAD a partir del lenguaje simbólico y así poder tener
seguridad en el resultado entregado.
 REFERENCIAS BIBLIOGRAFICAS

 J.P. (2019, Febrero 26). Cuantificador universal afirmativo UNAD.

Recuperado de https://www.youtube.com/watch?v=0eZ2OMwY1K4

 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=2
0&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
dehttps://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

 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las

matemáticas universitarias. México: McGraw-Hill Interamericana.

Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?docID=10473069