Академический Документы
Профессиональный Документы
Культура Документы
Presentado por:
Stifen Manfred Pohl R.
UNAD - (90004A_612)
BOGOTA 2019
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
III. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)
p q r s ((p∧q)→r)→((~q∨s)~r)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
IV. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.
p q r p∧q ~r (p ∧ q)→(~r)
V V V V F F
V V F F V V
V F V F F V
V F F F V V
F V V F F V
F V F F V V
F F V F F V
F F F F V V
V. Bibliografía