1.

p: el estadio del deportivo Cali se llama ‘‘palmaseca’’

q: un equipo de futbol lo componen 12 jugadores
(p∧q) (¬p∨¬q)
Preposició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 verdad

p=f
q=f
(p∧q) (¬p∨¬q)
(f∧f) (v∨v)
f v
f

2.
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 simbólico

(p q)∧(q r)

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

Manualmente

p| q | r | (p q)| (q r)| (p q) ∧ (q r)

p q r ( ( p > q ) & ( q > r ) )

v v v v V v V v v v
v v f v V v F v f f
v f v v F f F f v v
v f f v F f F f v f
f v v f V v V v v v
f v f f V v F v f f
f f v f V f V f v v
f f f f V f V f v f
Comprobar el resultado de la tabla de verdad manual versus el simulador de
Truth Table.

p q r ( ( p → q ) ∧ ( q → r ) )
v v v v V v V v v v
v v f v V v F v f f
v f v v F f F f v v
v f f v F f F f v f
f v v f V v V v v v
f v f f V v F v f f
f f v f V f V f v v
f f f f V f V f v f

Vemos que la tabla de verdad manual y la tabla del programa son coherentes,
acertadas y coinciden una con la otra.

3.
((p q) ∧ (~p r) ∧ (r s) ∧) (~q s)
Definición de preposiciones simples.
p: si paso matemática básica
q: pasare al siguiente semestre
r: si vuelvo a ver la materia
s: quedaré condicional

Lenguaje natural de la expresión formal

Si paso matemática básica entonces pasaré el semestre y si no paso matemática
básica entonces si vuelvo a ver la materia y si vuelvo a ver la materia entonces
quedare condicional si no pasaré al siguiente semestre entonces quedaré
condicional.

Tabla manual
[ ( p →Q ) ∧ ( ~ p → r ) ∧ ( r →S ) ] → ( ~ q → s )
v v V V F V V V v V V V f V v
v V V V F V V F V F F V f V f
v V V V F V F V F V V V F V V
v v V V F V F V F V F V F V F
v F F F F V V F V V V V V V V
v F F F F V V F V F F V V F F
v F F F F V F F F V V V V V V
 v F F F F V F F F V F V V F F
f V V V V V V V V V V V F V V
f V V V V V V F V F F V F V F
f V V F V F F F F V V V F V V
f V V F V F F F F V F V F V F
f V F V V V V V V V V V V V V
f V F V V V V F V F F V V F F
f V F F V F F F F V V V V V V
f V F F V F F F F V F V V F f

Tabla en el simulador