Pensamiento Lógico y Matemático

Proposiciones y Tablas de Verdad

María Paula Torres Rodríguez

1020817337

Grupo: ​200611_326

Alba Janneth Pinzon

Universidad Nacional Abierta y a Distancia

Bogotá, 2019
 Introducción

El presente trabajo presenta el desarrollo de las actividades propuestas para la unidad uno del
curso Pensamiento Lógico y Matemático de la UNAD, en el que se aborda la lógica
proposicional, abarcando ejercicios de proposiciones y tablas de verdad.
 Objetivos

● Entender y apropiarse de los términos relacionados con la lógica proposicional

● Saber cómo representar proposiciones y usar correctamente los conectores lógicos.
● Lograr elaborar tablas de verdad de manera acertada
 1. Conceptualización de Cuantificadores

● Presentación Prezi

https://prezi.com/view/x2JwoBJRrGpSQCj41uKd/
 2. Proposiciones y Tablas de Verdad

Proposición molecular 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 al taller de Fernando.

● Proposiciones atómicas:

p: El vehículo de Gabriela necesita mantenimiento

q: Gabriela lleva el vehículo al concesionario
r. Gabriela lleva el vehículo al taller de Fernando

● Expresión simbólica de la proposición:

(p →q) v (¬q→r)

● Tabla de verdad manual

p q r ¬q p ​→q ¬q→r p ​→q) v (¬q→r)

V V V F V V V

V V F F V V V

V F V V F V V

V F F V F F F

F V V F V V V

F V F F V V V

F F V V V V V

F F F V V F V
Es una ​contingencia​, puesto que contiene valores de verdad verdaderos y falsos

● Tabla de verdad con el simulador Lógica UNAL

3. Problemas de aplicación

Proposición: (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

● Proposiciones simples:

p: Hoy estudio Lógica Matemática

q: Hoy estudio Metodología de la Investigación
r: Mañana estudiaré Cibercultura
s: Mañana estudiaré Sociología Latinoamericana

● Proposición en lenguaje natural:

Si hoy estudio Lógica Matemática y Metodología de la Investigación, mañana estudiaré

Cibercultura y Sociología Latinoamericana.
 ● Tabla de verdad manual:

p q r s (𝑝 ∧ 𝑞) (𝑟 ⋀ 𝑠) (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

V V V V V V V

V V V F V F F

V V F V V F F

V V F F V F F

V F V V F V V

V F V F F F V

V F F V F F V

V F F F F F V

F V V V F V V

F V V F F F V

F V F V F F V

F V F F F F V

F F V V F V V

F F V F F F V

F F F V F F V

F F F F F F V

Es una ​contingencia​, puesto que contiene valores de verdad verdaderos y falsos

● Tabla de verdad con el simulador Lógica UNAL

 Conclusiones

La realización de los ejercicios anteriormente presentadas me permitieron afianzar y

poner en práctica los conocimientos adquiridos a partir de las lecturas propuestas para la
primera unidad del curso Pensamiento Lógico y Matemático, cumpliendo
adecuadamentes tanto con las competencias planteadas en la guía de actividades, como
con los objetivos personales.
 Referencias Bibliográficas

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

9-28). Ediciones Elizcom, Madrid.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

106 - 112). Ediciones Elizcom, Madrid

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.