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:

A. p: El estadio del Deportivo Cali se llama “Palmaseca”

q: Un equipo de futbol lo componen 12 jugadores

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

Proposición compuesta en lenguaje natural:

El estadio del deportivo Cali se llama “Palmaseca” y un equipo de futbol lo

componen 12 jugadores si y solo si el estadio del deportivo Cali no se llama
“Palmaseca” o un equipo de futbol no lo componen 12 jugadores.

Determinación del valor de la verdad:

p: V q: F (p⋀q) ↔ (¬p∨¬q)

(V ⋀ F) ↔ (F v V)

F V

F
Tarea 2: Tablas de verdad

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

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

 Generar la tabla de verdad manualmente y a través del simulador Truth
Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador
Truth Table.

Enunciado.

A. Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace

frio entonces en la noche llueve

Definición de proposiciones simples:

p: En las mañanas llueve.

q: en la tarde hace frio.

r: en la noche llueve

Determinación de conectores:

A. Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace

frio entonces en la noche llueve

Expresión en lenguaje formal:

(p →q) ⋀ (q→r)
Tabla de verdad

p q r p→q q→r (p →q) ⋀ (q→r)

V V V V V V
V V F V F F
V F V F V F
V F F F V F
F V V V V V
F V F V F F
F F V V V V
F F F V V V

Simulador Truth Table

El resultado final de la tabla de verdad es contingencia y el simulador es igual.

Tarea 3: Problemas de aplicación

A. [(p⟶q) ∧ (∼p⟶r) ∧ (r⟶s)] ⟶ (∼q⟶s)

Definición de las proposiciones simples

p: El computador es azul

q: Los audífonos son blancos

r: El lapicero es rojo

s: El mouse es amarillo

Lenguaje natural de la expresión formal

Si el computador es azul entonces los audífonos son blancos, y si el computador no

es azul entonces el lapicero es rojo, y si el lapicero es rojo entonces el mouse es
amarillo. Por lo tanto, si los audífonos no son blancos entonces el mouse es amarillo.
Tabla de verdad.

Simulador Truth Table