UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

EJERCICIO 3

Expresión simbólica: [(𝑝⟶𝑞) ∧ (∼𝑟⟶𝑠) ∧ (𝑝∨∼𝑟)] ⟶ (𝑞∨𝑠)

Premisas:

P1: (P → q)

P2: (∼𝑟⟶𝑠)

P3: (𝑝∨∼𝑟)

Conclusión: (q V S)

 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: Estudio en la U
q: La U es una buena universidad
r: realizo mis trabajos
s: pierdo el semestre

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

[(𝑝⟶𝑞) ∧ (∼𝑟⟶𝑠) ∧ (𝑝∨∼𝑟)] ⟶ (𝑞∨𝑠)

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

Estudio en la u entonces la u es una buena universidad y NO realizo mis

trabajos entonces pierdo el semestre y estudio en la u y no realizo mis
trabajos entonces la u es una buena universidad O pierdo el semestre.

 Generar una tabla de verdad con el simulador Lógica UNAD 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).

p q r s (∼q) (r⟶(∼q) (pvs) [(r⟶(∼𝑞) ]∧(𝑝vs) (q∧p) [((r⟶(∼𝑞))∧(𝑝vs))∧(q∧p)) (∼r) [(((r⟶(∼𝑞))∧(𝑝vs))∧(q∧p) ⟶(∼r)))

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

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

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

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

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

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

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

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

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

V F F V V V V V F F V V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

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

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

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

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

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

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

Tautología

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)

Conclusión: ¬r Modus Tollens (MT): "negar el consecuente"

De una fórmula condicional y la negación de su consecuente, puede concluirse la negación del

antecedente (no p). Sólo podremos aplicarla si encontramos suelto el consecuente negado (no q).
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

REFERENCIAS BIBLIOGRÁFICAS

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito

Federal, MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?p
pg=72&docID=4569631&tm=1529336365580

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?p
pg=81&docID=3199701&tm=1529336485971

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito

Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?p
pg=91&docID=4569631&tm=1529513879802

Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de

http://hdl.handle.net/10596/13869