PENSAMIENTO LOGICO MATEMATICO

Tarea 1 – Proposiciones y Tablas de Verdad

Presentado por.

Luis Eduardo Otero Román

Código. 1047373020.

Grupo. 20011_921

Tutor.

Maria Andrea Botero.

Universidad nacional abierta y a distancia.

Escuela de ciencias básicas, tecnología e ingeniería.

Programa de ingeniería industrial.

Cartagena, Mayo de 2020.

PENSAMIENTO LOGICO MATEMATICO

Introducción.

La siguiente presentación trata sobre la lógica y su validez en la vida, en lo cotidiano y

para la toma de decisiones. Se comprenden los conceptos fundamentales de la lógica
proposicional y los aplica para la resolución de problemas.
PENSAMIENTO LOGICO MATEMATICO

Objetivos.

 Definir proposiciones simples Lógica proposicional, tablas de verdad en

proposiciones compuestas, álgebra de proposiciones, tautologías y
contradicciones y contingencias, proposiciones categóricas, cuantificadores.
 Comprender terminologías de la lógica matemática y su uso en la tabla de
verdad.
PENSAMIENTO LOGICO MATEMATICO

Desarrollo.

Ejercicio 1: Conceptualización de Cuantificadores.

https://prezi.com/view/dqKl2dyHBtymInQK43o2/

Ejercicio 2: Proposiciones y Tablas de verdad.

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

E. 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:

p: Elisa es docente de matemáticas

q: enseña el curso de estadísticas o el de lógica matemática

R: dicta herramientas digitales

Lenguaje simbólico:
p→q ∧ r→¬p
Tabla de la verdad manual:
[(p→q)∧ (r→¬ p)]
p q r ¬p (p→q) (r→¬p)

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

Simulador UNAD.
PENSAMIENTO LOGICO MATEMATICO

 Resultado de la tabla de verdad: CONTINGENCIA

Ejercicio 3: Problemas de aplicación.

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

E. [ ( ∼ p⟶ q ) ∧( p ∧r ) ]

p ⟶ Has obtenido un sobresaliente en el parcial

q ⟶ realizar mas ejercicios para practica r

r⟶ Has obtenidoun sobresaliente en estamateria

 Si no has obtenido un sobresaliente en el parcial, entonces deberías realizar más

ejercicios para practicar y así obtendrás un sobresaliente en el parcial y en la
materia.

∼p ( ∼ p ⟶q ) ( p ∧r )
p q r [ ( ∼ p⟶ q ) ∧( p ∧r ) ]
V V V F V V V
V V F F V F F
V F V F V V V
PENSAMIENTO LOGICO MATEMATICO

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

Simulador de la UNAD

 Resultado de la tabla de verdad: CONTINGENCIA

Referencias bibliográficas.

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
PENSAMIENTO LOGICO MATEMATICO

 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.
 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.