Ejercicio # 3

- A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

- [[(𝑝→𝑞) ∧[(𝑞∧r)→p]∧ 𝑟]→p

- 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 =Camila asiste cada 15 días a la UNAD

 Q =el tutor deja trabajos para subir a plataforma
 R = interactúa con Camila por el foro para aclarar dudas

- Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

 Camila asiste cada 15 días a la UNAD entonces el tutor deja trabajos para subir a la
plataforma y el tutor deja trabajos para subir a plataforma, pero además interactúa
con Camila por el foro para aclarar dudas. Entonces por ello Camila asiste cada 15
días a la UNAD y el tutor interactúa con Camila por el foro para aclarar dudas, luego
Camila asiste cada 15 días a la UNAD

- Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico
 p q r [[(p→q)Λ[(qΛr)→p]Λ r]]→p

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T F
F F F T

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

[[(p→q)Λ[(qΛr)→p]Λ r]]→p

P q r p → q Λ q Λ r → p Λ r → p
V V V V v V V V V V V V V V V V
V V F v F V F V F F V V F F V V
V F V V V F F F F V V V V V V V
V F F V V F F F F F V V F F V V
F V V F V V V V V V F F F V V F
F V F f F V F V F F V F F F V F
F F V f V F F F F V V F V V F F
F F f F V f f F F f V f f f v f
Orden de desarrollo 1 3 2 7 4 6 5 9 8 11 10 13 12

respuesta

- Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

- Es una proposición contingencia porque se obtuvo valores verdaderos y falsos