PENSAMIENTO LOGICO

EJERCICIO 3

Cindy Michely Medina Rodríguez

Universidad abierta y a distancia – UNAD

Marzo -2019

Contaduría Pública- Escuela de ciencias Administrativas, Contables, Económicas y Negocios.

Acacias- Meta
 1. A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)
para el desarrollo del ejercicio 3:
A. (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

P: si juan participo en los foros

q: entrego a tiempo el trabajo colaborativo
r: obtuvo una muy buena calificación.
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante

Si juan participo en los foros y entrego a tiempo el trabajo colaborativo entonces porque no
obtuvo una muy buena calificación.

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

p q r ¬q (p^q) (r˅¬q) (p^q)→(r˅¬q)

v v v f v v v
v v f f v f f
v f v v f v v
v f f v f v v
f v v f f v v
f v f f f f v
f f v v f v v
f f f v f v v

Resultado de la tabla de verdad: contingencia

 BIBLIOGRAFIA

 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/re
ader.action?ppg=20&docID=3226457&tm=152924625992
4

 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/re
ader.action?ppg=12&docID=3199701&tm=152933584901
3