PENSAMIENTO LOGICO MATEMATICO

UNIDAD 1

Ejercicio 3:

Proposiciones y Tablas de verdad

Cindy Paola Bermúdez

GRUPO:

200611_41

TUTOR

Arnol Ortiz Armero

UNIVERCIDAD NACIONAL ABIERTA Y A DSITANCIA UNAD

Septiembre del 2018

Descripción del ejercicio:

 A continuación, encontrará proposiciones compuestas en lenguaje
simbólico (argumento) para el desarrollo del ejercicio 3:

C [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

p. Si salgo este fin de semana

q. Bailo
r. Llegue tarde a casa
Si salgo este fin de semana entonces bailo, y no bailo, y si llegue
tarde a casa entonces bailo. Entonces llegue tarde a casa.

 Generar una tabla de verdad con el simulador TruthTable a

partir del lenguaje simbólico.

 Tabla de verdad manualmente.

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

 𝑞 ) q )
V V V F V F V F V
V V F F V F V F V
V F V V F F F F V
V F F V F F V F V
F V V F V F V F V
F V F F V F V F V
F F V V V V F F V
F F F V V V V V F