Unidad 1- Proposiciones y Tablas de Verdad

Tutor/a: Yersson David Moquera

Estudiante: Johan Sebastian Ramirez Herrera

Código: 1004518425

Grupo:200611_1837

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación

Tecnologia en Logistica Industrial

Pensamiento Lógica y Matemática

Dosquebradas, Septiembre del 2019

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.

R/ Separemos las proposiciones simples, (o sea simples afirmaciones):

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.

R/ 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 (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)

R/

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

R/ (p → q) ∨ (-q → r): El resultado de una contingencia.

 p q r -q p→q -q → r (p → q) ∨ (-q → r)
v v v f v f v
v v f f v f v
v f v v f v v
v f f v f f f
f v v f v f v
f v f f v f v
f f v v v v v
f f f v v f v

Bibliografía

Simulador Lógica UNAD

Marín J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/

Proposiciones y Conectores lógicos

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