Pensamiento Lógico y Matemático

Tutora: María Andrea Botero

Tarea 1: Proposiciones y tablas de verdad

Nombre: Lesly Vanessa Mendoza Díaz

Código del estudiante: 200611_903

Valledupar, 08 de Marzo 2020

 Introducción
El propósito de este trabajo es el desarrolle habilidades, analice, interprete de la lógica de
cada punto, conocer y manejar cuantificadores para poder serlos explícito en una
presentación didáctica, entender proposiciones y manejar una tabla de verdad, se resuelve y
se identifica la proposición compuesta que puede ser tautología, contradicción o
contingencia.
 Objetivos

 Comprender los conceptos fundamentales de la lógica proposicional y aplicarlos

para la solución de problemas.
 Conceptualizar las proposiciones con cuantificadores
 Resolver problemas mediante la lógica proposicional y las tablas de verdad.
 Tarea 1 - Proposiciones y Tablas de Verdad
Ejercicio 1: Conceptualización de Cuantificadores
Ejercicio 2: Proposiciones y Tablas de Verdad
Argumento:
A. Si Elisa es docente de matemáticas entonces enseña el curso de Estadística o el de
Lógica matemática. Y si ella dicta Herramientas digitales, entonces Elisa no es
docente de matemáticas.

 Proposiciones Simples: (se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula).

 p: Elisa es docente de matemáticas

 q: entonces enseña el curso de Estadística o el de Lógica matemática
 r: Si dicta Herramientas digitales, entonces Elisa no es docente de matemáticas

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

(p ∧ q) ∨ (~q→r)

Lenguaje natural de la exposición formal:

p →q: Elisa es docente de matemáticas

¬q→r: enseña el curso de Estadística o el de lógica matemáticas, y si dicta

Herramientas digitales entonces no es docente de matemáticas.

p →q ∨ ¬q→r: Si Elisa es docente de matemáticas entonces enseña el curso

de Estadística o el de Lógica matemática. Y si ella dicta Herramientas digitales,
entonces Elisa no es docente de matemáticas.
P q R (p∧q)∨(~q→r)
V V V V
V V F V
V F V V
V F F F
F V V V
F V F V
F F V V
F F F F

Simulador lógica UNAD:

 El argumento es contingencia.  Tiene valores falsos y verdaderos.

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del ejercicio):

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
 Definición de las proposiciones simples

p: participo en los CIPAS

q: participo en los B-learning

r: obtengo buenas calificaciones

 Lenguaje natural de la expresión formal:

Si participo en los CIPAS entonces participo en los B-learning. Si no participo en los
CIPAS entonces obtengo buenas calificaciones. Por lo tanto, si no obtengo buenas
calificaciones entonces participo en los CIPAS

Tabla de la verdad:

p q r s ∼ ∼ (p⟶q (∼p (r⟶s (∼q⟶s [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟) [(𝑝⟶𝑞)∧(∼𝑝⟶

p q ) ⟶r) ) ) ∧(r⟶s)] 𝑟)∧(r⟶s) ] ⟶
(∼q⟶s)
V V V V F F V V V V V V
V V V F F F V V F V F V
V V F V F F V V V V V V
V V F F F F V V V V V V
V F V V F V F V V V F V
V F V F F V F V F F F V
V F F V F V F V V V F V
V F F F F V F V V F F V
F V V V V F V V V V V V
F V V F V F V V F F F V
F V F V V F V F V V F V
F V F F V F V F V F F V
F F V V V V F V V V V V
F F V F V V F V F F F V
F F F V V V F F V V F V
F F F F V V F F V F F V
Resultado de la tabla de verdad: TAUTOLOGÍA
 Conclusiones

La conceptualización de las proposiciones con cuantificadores de una forma clara y precisa

del tema escogido y los ejemplos solicitados.

La solución de problemas mediante el uso de la lógica proposicional con la definición de

las proposiciones simples y la construcción de las tablas de verdad.
 Referencias bibliográficas

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.

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

(pp. 9-28). Ediciones Elizcom, Madrid.

Simulador lógica UNAD.