Universidad de Santiago de Chile

Facultad de Ciencia
Departamento de Matemática y C.C.
Pensamiento Matemático -IPeMat 1-2022

Control N◦ 1
Lógica Bivalente
Duración: 40 minutos.

Justique matemáticamente cada una de sus armaciones.

1. a ) (3 puntos) Sean w, t, v, z proposiciones. Determine el valor de verdad de la
proposición (w ⇒ v) ⇒ [(w ∨ t)∧ ∼ t] sabiendo que (w ⇒∼ t) ∨ (∼ v ⇒ z)
es falsa.

b) (3 puntos) Traduzca a lenguaje lógico matemático la siguiente proposición:

 Si a es un número par y b es un número impar, entonces c es igual a

a. O bien, c no es igual a a a menos que sea mayor que b. Pero c no es mayor
que b. Además, a es un número par. Luego, b no es un número impar.

SOLUCIÓN:
a ) Como (w ⇒∼ t) ∨ (∼ v ⇒ z) es falsa, entonces (w ⇒∼ t) es falsa y
(∼ v ⇒ z) también es falsa. Por lo que w y t son verdaderas, y v y z son
falsas. Al considerar el valor de verdad de cada proposición simple en la
proposición (w ⇒ v) ⇒ [(w ∨ t)∧ ∼ t], se concluye que su valor de verdad
es verdadero.
(0.5 puntos por el valor de verdad de cada proposición simple y 1
punto por el valor de verdad de la proposición compuesta.)
b ) Sean las proposiciones:

p: a es un número par.
q: b es un número impar.
r: c es igual a a.
s: c es mayor que b.
Luego, la proposición en lenguaje lógico matemático es:

{[((p ∧ q) ⇒ r) ∨ (s ⇒∼ r)∧ ∼ s] ∧ p} ⇒∼ q
(0.5 puntos por cada proposición simple y 1 punto por la proposi-
ción compuesta correcta.)

Página 1