UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Unidad 1 Lógica proposicional

Alexander Gil Montoya_ 16076135

Tutor: Norbey Romero

Curso: 200611_1012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERÍA

INGENIERÍA INDUSTRIAL

CCAV Dosquebradas, septiembre de 2018

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCION

En el presente trabajo podremos conceptos fundamentales de la lógica proposicional y la

aplicación de estos en la resolución de problemas. Se propone expresar las proposiciones simples

del argumento asi como la tabla de la verdad.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

EJERCICIO C

c. [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

Si Carlos estudia a conciencia, entonces obtiene buenas calificaciones, sin embargo en esta

ocasión no obtendrá buenas calificaciones y solo esforzándose más será capaz de obtenerlas, por

lo tanto debe esforzarse más

Definir las proposiciones simples

P: Carlos estudia a conciencia

Q: obtiene buenas calificaciones

R: debe esforzarse más

Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Generar una tabla de verdad manualmente a partir del lenguaje

Simbólico (En Word, Excel o foto del desarrollo manual).

∼ (𝑝⟶𝑞)∧(∼ q) (𝑝⟶𝑞)∧(∼ q)∧(r⟶𝑞) (𝑝⟶𝑞)∧(∼ q)∧(r⟶𝑞)⟶r

p q r q (𝑝⟶𝑞) (r⟶𝑞)
v v v f v v f f v
v v f f v v f f v
v f v v f v f f v
v f f v f v f f v
f v v f v f f f v
f v f f v v f f v
f f v v v f v f v
f f f v v v v v f

Contingencia
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

BIBLIOGRAFIA

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=31997

01&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&docID=3199

701&tm=1529510366591

https://www.youtube.com/watch?v=vtzznU68L5g&t=429s