Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el valor

de verdad de la proposición compuesta, a partir del valor de verdad de cada proposición
simple:

C.
𝑝: Falcao García fue el mejor jugador de Colombia en la copa mundial de
Brasil 2014

𝑞: Colombia llegó a la semifinal de la copa mundial de Brasil 2014

¬(𝒑⋀𝒒) ↔ (¬𝒑∨𝒒)

Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 o
Colombia no llegó a la semifinal de la copa mundial de Brasil 2014 si y solo si Falcao García
no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 o Colombia llegó a
la semifinal de la copa mundial de Brasil 2014

¬(𝒑⋀𝒒) ↔ (¬𝒑∨𝒒)
¬ (V ⋀ F) ↔ (¬V ∨ F)
¬V ∨¬F ↔ (¬V ∨ F)
F∨V↔F∨F
V↔F
F
Tarea 2: Tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su

escogencia en el foro, de tal forma que no coincida con los compañeros

C. Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa

La solución de los enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico o formal.

𝑝: Tengo una moto

𝑞: Tengo licencia
𝑟: Los policías me paran
𝑠: Me harán una multa

((𝑝 ⋀ ¬𝑞) ⋀ 𝑟) ⟶s
((V ⋀ ¬V) ⋀ V) ⟶ V
((V ⋀ F) ⋀ V) ⟶ V
(F ⋀ V) ⟶ V
F⟶V
V

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Tabla de Verdad Manualmente

24= 2 x 2 x 2 x 2 = 16

p q r t p ⋀ ¬𝑞 ⋀ r ⟶ s
1 V V V V V F F F V V V
2 V V V F V F F F V V F
3 V V F V V F F F F V V
4 V V F F V F F F F V F
5 V F V V V V V V V V V
6 V F V F V V V V V F F
7 V F F V V V V F F V V
8 V F F F V V V F F V F
9 F V V V F F F F V V V
10 F V V F F F F F V V F
 11 F V F V F F F F F V V
12 F V F F F F F F F V F
13 F F V V F F V F V V V
14 F F V F F F V F V V F
15 F F F V F F V F F V V
16 F F F F F F V F F V F

Tabla de Verdad a través del Simulador Truth Table

p q r s ((pΛ¬q) Λ r) →s

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

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

MANUAL TRUTH TABLE

V T
V T
V T
V T
V T
F F
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
Tarea 3: Problemas de aplicación

B. {(𝑝⟶𝑞) ∧(𝑟⟶𝑠) ∧[(𝑞∧𝑠) ⟶𝑡]∧(𝑝∧𝑟)} ⟶𝑡

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo
una descripción basada en el contexto académico, remplazando las variables expresadas
simbólicamente para llevarlas al lenguaje natural.

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples.

𝑝: La UNAD ofrece programas de educación a Distancia

𝑞: El ambiente virtual de aprendizaje de la UNAD está compuesto por 6 entornos
𝑟: El Syllabus del curso es un documento en donde está plasmada toda la información
referente al desarrollo del curso
𝑠: Estudiando en la UNAD puedo administrar mi tiempo para lograr mis metas.
t: La UNAD ofrece acompañamiento por medio de actividades sincrónicas y asincrónicas.

 Lenguaje natural de la expresión formal.

Si la UNAD ofrece programas de educación a Distancia entonces el ambiente virtual de
aprendizaje de la UNAD está compuesto por 6 entornos y si el Syllabus del curso es un
documento en donde está plasmada toda la información referente al desarrollo del curso
entonces estudiando en la UNAD puedo administrar mi tiempo para lograr mis metas y si el
ambiente virtual de aprendizaje de la UNAD está compuesto por 6 entornos y estudiando
en la UNAD puedo administrar mi tiempo para lograr mis metas entonces la UNAD ofrece
acompañamiento por medio de actividades sincrónicas y asincrónicas y la UNAD ofrece
programas de educación a Distancia y el Syllabus del curso es un documento en donde está
plasmada toda la información referente al desarrollo del curso entonces la UNAD ofrece
acompañamiento por medio de actividades sincrónicas y asincrónicas

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Tabla de Verdad Manualmente

25= 2 x 2 x 2 x 2 x 2 = 32

p q r s t p ⟶ q ⋀ r ⟶ s ⋀ q ⋀ s ⟶ t ⋀ p ⋀ r ⟶ t
1 V V V V V V V V V V V V V V V V V V V V V V V V
2 V V V V F V V V V V V V F V V V F F F V V V V F
3 V V V F V V V V F V F F F V F F V V V V V V V V
 4 V V V F F V V V F V F F F V F F V F V V V V V F
5 V V F V V V V V V F V V F V V V V V F V F F V V
6 V V F V F V V V V F V V F V V V F F F V F F V F
7 V V F F V V V V V F V F F V F F V V F V F F V V
8 V V F F F V V V V F V F F V F F V F F V F F V F
9 V F V V V V F F F V V V F F F V V V V V V V V V
10 V F V V F V F F F V V V F F F V V F V V V V V F
11 V F V F V V F F F V F F F F F F V V V V V V V V
12 V F V F F V F F F V F F F F F F V F V V V V V F
13 V F F V V V F F F F V V F F F V V V F V F F V V
14 V F F V F V F F F F V V F F F V V F F V F F V F
15 V F F F V V F F F F V F F F F F V V F V F F V V
16 V F F F F V F F F F V F F F F F V F F V F F V F
17 F V V V V F V V V V V V F V V V V V F F F V V V
18 F V V V F F V V V V V V F V V V F F F F F V V F
19 F V V F V F V V F V F F F V F F V V F F F V V V
20 F V V F F F V V F V F F F V F F V F F F F V V F
21 F V F V V F V V V F V V F V V V V V F F F F V V
22 F V F V F F V V V F V V F V V V F F F F F F V F
23 F V F F V F V V V F V F F V F F V V F F F F V V
24 F V F F F F V V V F V F F V F F V F F F F F V F
25 F F V V V F V F V V V V F F F V V V F F F V V V
26 F F V V F F V F V V V V F F F V V F F F F V V F
27 F F V F V F V F F V F F F F F F V V F F F V V V
28 F F V F F F V F F V F F F F F F V F F F F V V F
29 F F F V V F V F V F V V F F F V V V F F F F V V
30 F F F V F F V F V F V V F F F V V F F F F F V F
31 F F F F V F V F V F V F F F F F V V F F F F V V
32 F F F F F F V F V F V F F F F F V F F F F F V F

Tabla de Verdad a través del Simulador Truth Table

p q r s t {(p→q)Λ(r→s)Λ[(qΛs)→t]Λ(pΛr)}→t

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

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

MANUAL TRUTH TABLE

V T
V T
V T
V T
V T
V T
V T
 V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T

 Definir si el argumento es una Tautología, contradicción o contingencia.

El argumento es una Tautología, ya que todos los valores de la tabla de verdad son
Verdaderos.