Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
EJERCICIO 3
Premisas:
P1: (P → q)
P2: (∼𝑟⟶𝑠)
P3: (𝑝∨∼𝑟)
Conclusión: (q V S)
p: Estudio en la U
q: La U es una buena universidad
r: realizo mis trabajos
s: 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
P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)
REFERENCIAS BIBLIOGRÁFICAS