PROPOSICIONES Y TABLAS DE VERDAD

ENTREGADO POR: JOSÉ LUÍS RODRÍGUEZ BETANCOURTH

TUTOR: DARWIN WILLIAM BARROS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD FLORENCIA

DICIEMBRE DE 2019
Solución ejercicio 2

A. Si estudio en la UNAD entonces podré cumplir mis sueños, si y sólo si soy dedicado
con mis estudios y aprovecho el acompañamiento académico en los centros.

P= estudio en la universidad
q= cumplimiento de mis sueños
r= dedicado a mis estudios
s= centros académicos

[(P→ q) ↔ r→s ]
p q r s (P→ q) (P → q) ↔ r [(P→ q) ↔ r→s ]
v v v v v v v
v v v f v v v
v v f v v f f
v f v v f f v
f v v v f f v
v v f f v f f
v f v f f f v
f v v f f f v
v f f v f f v
f v f v f f v
f f v v v f f
v f f f f f v
f v f f f f v
f f v f v f f
f f f v v f f
f f f f v f f
Simulador lógica UNAD
pqrs [(P→ q) ↔ r→s ]
vvvv v
vvvf v
vvfv f
vfvv v
fvvv v
vvff f
vfvf v
fvvf v
vffv v
fvfv v
ffvv f
vfff v
fvff v
ffvf f
fffv f
ffff f

B. Si pertenezco a la Escuela de Ciencias Básicas de la UNAD, entonces podré

graduarme con un proyecto aplicado o un proyecto de investigación.

P= Pertenezco a la escuela
r = graduarse con un proyecto aplicado
s proyecto de investigación

p → (r v s )

p r s p→ r P → (r v s)
v v v v v
v v f v f
v f v f f
v f f f f
v v v v v
v v f v f
v f v f f
v f f f f
f v v f f
f v f f f
f f v v f
f f f v v
f v v f f
f v f f f
f f v v f
f f f v v
Simulador lógica UNAD

prs P → (r v s)
vvv v
vvf f
vfv f
vff f
vvv v
vvf f
vfv f
vff f
fvv f
fvf f
ffv f
fff v
fvv f
fvf f
ffv f
fff v

C. Este periodo matriculé Pensamiento Lógico y Matemático y podré ganar puntos

adicionales, si y sólo si, asisto a los Blearning y realizo los talleres bien.

P= matricule pensamiento lógico matemático

q= Ganar puntos adicionales
r= asisito a los bleaming
s= Realizo los talleres

p^q↔r^s
p q r s p^q p^q↔r P^ q ↔ r ^s
v v v v v v v
v v v f v v v
v v f v v f f
v v f f v f f
v f v v f f v
v f v f f f v
v f f v f f v
v f f f f f v
f v v v f f v
f v v f f f v
f v f v f f v
f v f f f f v
f f v v f f v
f f v f f f v
f f f v f v f
f f f f f v f
Simulador lógico UNAD
pq rs P^ q ↔ r ^s
vvvv v
vvvf v
vvfv f
vvff f
vfvv v
vfvf v
vffv v
vfff v
fvvv v
fvvf v
fvfv v
fvff v
ffvv v
ffvf v
fffv f
ffff f

D. Los trabajos del curso no se pueden dejar para último momento, entonces los trabajos
se deben presentar a tiempo y con eso puedo obtener la retro-alimentación del tutor.

P = dejar los trabajos para ultimo momento

Q= presentar a tiempo los trabajos
R = retroalimentción del tutor

-P → q → r

p q r -p -P → q -P → q → r
v v v v v v
v v v f f v
v v f v v v
v f v v f f
f v v v v v
v v f f f v
v f v f f v
f v v f f v
v f f v f f
f v f v v v
f f v v f f
v f f f f v
f v f f f v
f f v f f v
f f f v f f
f f f f f v
Simulador lógico UNAD

p q r -p -P → q → r
vvvv v
vvvf v
vvfv v
vfvv f
fvvv v
vvff v
vfvf v
fvvf v
vffv f
fvfv v
ffvv f
vfff v
fvff v
ffvf v
fffv f
ffff v

E. . Si los cursos en la UNAD se aprueban con 300 puntos, entonces se debe realizar la
participación oportuna y realizar a tiempo las actividades o Si no se realizan a tiempo las
actividades, entonces no se debe realizar la participación oportuna.

P: Los cursos de la UNAD se aprueban con 300 pts

Q: realizar la participación oportuna
R: realizar las actividades a tiempo
P→ q ^ r v -q→ -r

p q r -q -r p→ q p→ q ^ r p→ q ^ r v -q p→ q ^ r v -q → -r
v v v v f v v f f
v v v f v v v f f
v f f v v f f f f
v f v v v f f f f
f v v v v f f f f
v v v f f v v f v
v v f v f v f f f
v f v v f f f f f
f v v v f f f f f
v v f f v v f v f
v f v f v f f v f
f v v f v f f v f
v f f v v f f f f
f f v v v v v f f
v v f f f v f v v
f f f f f v f v f

Simulador lógico UNAD

pqr p→ q ^ r v -q → -r
vvv f
vvv f
vff f
vfv f
fvv f
vvv v
vvf f
vfv f
fvv f
vvf f
vfv f
fvv f
vff f
ffv f
vvf v
fff f
 Ejercicio 3

A. si apruebo los créditos en la UNAD me gradúo, y si no apruebo los créditos entonces

hay que validar, entonces si no valido entonces apruebo los créditos.

P: apruebo los creditos

Q: me gradúo
R valido los créditos

(p ⟶ q) ∧ (∼ p ⟶ r)] ⟶ (∼ r ⟶ p)
p q r -p -r P→ q -p → r (P → q) ∧ (-p → r) (-r → p) (p ⟶ q) ∧ (∼ p ⟶ r)] ⟶ (∼ r ⟶ p)
v v v f f v f f f v
v v f f v v v v v v
v f v f f f f v v v
f v v v f f f f f v
v f f f v f f f f v
f v f v v v v v f f
f f v v f v f f v f
f f f v v f f f v f

B.

{(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)

C. [(p ⟶ q) ∧ (∼ q) ∧ (r ⟶ q)] ⟶ r
D. {[p → (q ∨ r)] ∧ (p →∼ r) ∧ r} → q
E. [[(? → ?) ∧ [(? ∧ ?) → ?] ∧ ?] → p