PENSAMIENTO LÓGICO MATEMATICO

UNIDAD 1: TAREA 1

PROPOSICIONES Y TABLAS DE LA VERDAD

TUTOR:

YIMMER CAMILO VARGAS

PRESENTADO POR:

KIMBERLY DANIELA PINEDA CAICEDO

GRUPO: 1984
 Introducción.

En el siguiente trabajo se podrá ver como se realizan 3 ejercicios en los cuales se aplicaron
los conocimientos adquiridos sobre cuantificadores, proposiciones y tablas de la verdad
 Objetivos.

Reconocer los cuantificadores y como se expresan.

Graficar los datos de un silogismo en la tabla de la verdad.

Saber cuándo un argumento es una tautología, contradicción o contingencia.

Ejercicio 1:

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.

A. Cuantificador Universal Afirmativo.

Pantallazos de las diapositivas:

Ejercicio 2:

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 taller de
Fernando

 Definir las proposiciones simples del argumento.

p: El vehículo de Gabriela necesita mantenimiento.

q: Gabriela lleva su vehículo al concesionario.
r: Gabriela lleva su vehículo al taller de Fernando.
  Definir la expresión del argumento en lenguaje simbólico o formal
SI el vehículo de Gabriela necesita mantenimiento ENTONCES Gabriela lleva su vehículo
al concesionario.
SI p ENTONCES q.
p⇒q

Si Gabriela no lleva su vehículo al concesionario entonces Gabriela lleva su vehículo al

taller de Fernando.
Si no q entonces r
-q ⇒ r
Como a las dos anteriores los une un "o" (∨), el párrafo entero quedaría así:
(p ⇒ q) ∨ (-q ⇒ r)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico:
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.

p q r -q (p ⇒ q) (-q ⇒ r)

V V V F V F
V V F F V V
V F V F F F
V F F F F V
F V V V V V
F V F V V V
F F V V V v
F F F V V V

El argumento es contingencia, Tiene valores falsos y verdaderos.

Ejercicio 3:

continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para

el desarrollo del ejercicio 3:

A. (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

Contexto:

Ashley está estudiando administración de empresas y gastronomía, si esta semana son los
exámenes, entonces debe estudiar para las dos carreras y esforzarse el doble

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico.

P: Ashley estudia administración de empresas.

q: Ashley estudia gastronomía.

r: debe estudiar para las dos carreras

s: esforzarse el doble.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

P y q entonces r y s.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
p q r s (p⋀q) (r⋀s) (p⋀q)→(r⋀s)

F F F F F F V

F F F V F F V

F F V F F F V

F F V V F V V

F V F F F F V

F V F V F F V

F V V F F F V

F V V V F V V

V F F F F F V

V F F V F F V

V F V F F F V

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

V V F V V F F

V V V F V F F

V V V V V V V
 Conclusiones.

Este trabajo me permitió conocer con claridad el concepto de cuantificador universal afirmativo y
como trabajarlo, desarrolando tablas de la verdad a partir del lenguaje simbolico y determinando
si el resultado es una tautología, contingencia o contradicción.
 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. 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
 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&docI
D=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