Actividad: Tarea 1 - Proposiciones y tablas de verdad

Curso: Pensamiento lógico y matemático

Grupo: 200611_1188
Presentado por:

Estudiante: Kevin Andrés Rincón Araque

CC: 1127046358

Presentado a tutor:
Jheimer Julián Sepúlveda

Programa: Ingeniería Industrial

Universidad Nacional Abierta y a Distancia UNAD

Escuela: Escuela de Ciencias Básicas, Tecnología e Ingeniería
1 de octubre 2018
 Introducción
Este trabajo me parecio bastante interesante ya que me ayudo a entender temas que a
futuro usare muy seguido, el estudiante comprende textos y ejercicios de la lógica
proposicional y los aplica para la resolución de problemas.
Ejercicio 2: Proposiciones
 Si la Selección Colombia va al mundial y James juega los partidos, entonces la
Selección Colombia será finalista del Mundial de Rusia.

Proposiciones simples
p: Selección Colombia va al mundial
q: James juega los partidos
r: La selección Colombia será finalista del mundial de Rusia.

Lenguaje simbólico o formal

(p ∧ q) → r : Si la Selección Colombia va al mundial y James juega los partidos, entonces
la Selección Colombia será finalista del Mundial de Rusia.

Tabla de la Verdad.

p q r (p ∧ q)→r
V V V V
V V F F
V V F F
V F F F
F F V F
F F F F
F F V F
F F F F

Definir si el argumento es:

El argumento es contingencia.
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
Definir las proposiciones simples
P: Kevin estudia a distancia
Q: Tiene buenas calificaciones
R: graduara el próximo año
Kevin estudia a distancia y tiene buenas calificaciones si kevin no estudiara a distancia no
podría graduarse el próximo año si kevin no se gradúa el próximo año no estudiara a
distancia
Definir si el argumento seleccionado
- Contingencia
Profesor comparto esta imagen para hacerle saber que no
funciono el programa
 Conclusión

Este trabajo se hizo con el fin de entender los temas aca vistos lógica proposicional,
tablas de verdad en proposiciones compuestas, álgebra de proposiciones, tautologías y
contradicciones y contingencias, proposiciones categóricas, cuantificadores.
 Bibliografías
Simulador Turner. http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
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
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
.