Unidad 1: Proposiciones y Tablas de Verdad

Yeraldine Ascanio

Grupo:

200611_735

Tutor:

Hilder Moscote

Universidad Nacional Abierta y a Distancia UNAD

Pensamiento Lógico y Matemático

Licenciatura en Pedagogía Infantil

Valledupar

2019
 Introducción

Con el desarrollo del presente trabajo estudiaremos la teoría entre conjuntos y principios de
lógica, donde nos formaremos en la comprensión de las definiciones de la lógica formal; uso de
conectores lógicos y las leyes de las proposiciones, las cuales nos darán las bases para formalizar
nuestros conocimientos; todas estas herramientas nos ayudarán a desempeñarnos en nuestro
campo profesional.
 Objetivos

Desarrollar las temáticas de proposiciones, tablas de verdad, en proposiciones compuestas,

álgebra de proposiciones, tautologías y contradicciones y contingencias, proposiciones
categóricas, cuantificadores.

Específicos

• Utilizar estrategias basadas en problemas

• Interactuar con los diferentes compañeros

• Adquirir herramientas útiles para nuestra vida profesional

Ejercicio 1: Conceptualización de Cuantificadores

Cuantificador Existencial Único

 Ejercicio 2: Proposiciones y Tablas de Verdad

D. Juan juega básquet por hobby o practica tenis de forma profesional. Si practica tenis de forma
profesional entonces juega por más de tres horas diarias y quema muchas calorías.

Proposiciones Simples:

p: Juan juega básquet por hobby

q: practica tenis de forma profesional

r: juega por más de tres horas diarias

s: quema muchas calorías

Lenguaje Simbólico:
(p v q) Q → r ∧ s

 Generar una tabla de verdad con el simulador Lógica UNAD

Tabla de la verdad (manual)

q r s Q→r Q→rꓥs
V V V V V
V V F V F
V F F F F
F V V V V
F F V V V
F F F V F
El argumento es contingencia.
 Ejercicio # 3

“problemas de aplicación”

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

 Definición de las proposiciones simples

P: Carlos estudia en la UNAD

q: la UNAD es una universidad publica

r: licenciatura en pedagogía infantil

 Lenguaje natural de la expresión formal

Carlos estudia en la UNAD, licenciatura en pedagogía infantil. Carlos debe obtener buenas
calificaciones. Si obtiene buenas calificaciones, y mantiene el promedio para la beca lograra
terminar su carrera. La UNAD es una universidad pública y le brinda oportunidades y beneficios
a Carlos, Para que pueda llegar hacer un gran licenciado.

 Simulador Lógica UNAD

 Tabla de verdad manualmente

p q r (p ꓥ q) (q∨¬r) (𝑝 ∧ 𝑞) → (𝑞 ∨ ¬𝑟)
V V V V V V
V V F F V V
V F V F F V
V F F F V V
F V V F V V
F V F V V V
 F F V V F V
F F F F V V

El resultado de la tabla de la verdad demuestra que la expresión lógica inicial es una Tautología.

Conclusiones

 Desarrollamos las temáticas de proposiciones, tablas de verdad, conjuntos y sus operaciones

 Utilizamos estrategias basadas en problemas
 Interactuamos con los diferentes compañeros
 Adquirimos herramientas útiles para nuestra vida profesional
 Bibliografía

 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

 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