Universidad de Santiago de Chile

Facultad de Ciencia
Departamento de Matemática y C.C.
Introducción al Pensamiento Matemático -IPeMat 2020

Taller N◦ 03
Lógica Bivalente
1) Decida si cada una de las siguientes oraciones es o no es una proposición lógica:

a) 5 + 7 = 12 d) ¿Habla usted inglés?

b) Tenga un feliz día. e) x es mayor que y
c) Santiago es la capital de Chile. f) 15 es un número primo.

2) Traduzca a lenguaje simbólico las siguientes proposiciones:

a) Marcela Orellana es la Directora del Programa de Bachillerato de la USACH y Mago Valdivia es

futbolista.
b) Estudio o voy al cine.
c) Si camino 10km., me canso.
d) Me voy a mi pieza, pero no hago la tarea.
e) J.K. Rowling es autora de “Animales fantásticos y dónde encontrarlos”, si J.K. Rowling escribió la
saga de Harry Potter.

3) Para cada una de las siguientes proposiciones, responda con un V si es verdadera o con una F si es falsa.

a) La suma de dos enteros positivos cualesquiera es un entero positivo.

b) La suma de dos enteros negativos cualesquiera es un entero negativo.
c) El producto de dos enteros positivos cualesquiera es un entero positivo.
d) El producto de dos enteros negativos cualesquiera es un entero negativo.
e) El doble de un número par es par.
f) El triple de un número par es impar.
g) El triple de un número impar es par.
h) 2+2=4 ⇒ 4 + 4 = 10
i) No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 = 10
j) 12 < 3 ⇒ −3 < −12
k) Es verdad que: 2 + 2 = 4 ∧ 3+3 = 6
l) No es verdad que: 7 + 4 = 21 ∨ 17 + 6 = 21
m) El triángulo equilatero solo tiene dos lados congruentes o el triángulo isósceles tiene tres lados
congruentes.
n) Si 2 + 6 = 8, entonces no es cierto que, 15 + 3 = 17 si y solo si 11 + 2 = 12.

Página 1
Universidad de Santiago de Chile
Facultad de Ciencia
Departamento de Matemática y C.C.
Introducción al Pensamiento Matemático -IPeMat 2020

4) Represente con la letra p a la proposición “ella tiene ojos azules” y con la letra q a la proposición “él
tiene 45 años de edad”. Traduzca cada proposición a lenguaje coloquial usual.

a) p∧ ∼ q d) p ⇐∼ q
b) ∼ p ∨ q e) ∼ (∼ p ⇔∼ q)
c) ∼ (p ⇒∼ q)

5) Dadas las proposiciones:

p: el triángulo es polígono de tres lados.

q: el triángulo de tres lados congruentes es equilátero.

5.1) Escribe en lenguaje coloquial usual las siguientes proposiciones:

a) ∼ p c) p ⇒∼ q
b) p∨ ∼ q d) ∼ (∼ p) ⇔∼ q

5.2) Escribe usando conectivos lógicos y las proposiciones p y q lo siguiente:

i) No es cierto que, el triángulo es un polígono de tres lados.
ii) Si el triángulo es un polígono de tres lados, entonces es falso que, el triángulo de tres lados es
equilátero.

6) Sean las proposiciones p, q y r tales que p es V , q es V y r es F . Determine el valor de verdad de las

siguientes proposiciones:

a) (p ⇒ q) ∧ (p ∨ q) c) (r∧ ∼ q) ⇔ (q ⇒ p)
b) (∼ p ∨ q) ⇒ (p ∧ r) d) (p ⇒ r) ⇔ (q ∧ r)

7) Se define las siguientes proposiciones:

p : 1 + 3 + 5 + 7 = 42 q : 23 > 32

Determine el valor de verdad de cada una de las siguientes proposiciones:

a) p ⇒ q d) (p ∧ q) ⇔ q g) ∼ q ⇒ (q ⇒ p)
b) ∼ p ⇒∼ q e) p ⇔∼ q
c) ∼ p ∨ q f) q ⇒ p h) p∧ ∼ q

8) Determine el valor de verdad para las proposiciones p y q, en cada caso, para que las siguientes afirma-
ciones tengan sentido:

a) Si p es Verdadero, entonces p ∧ q es Falso.

b) Si p es Verdadero, entonces p ∧ q es Verdadero.
c) Si p es Verdadero, entonces ∼ p ∨ q es Falso.

Página 2
 Universidad de Santiago de Chile
Facultad de Ciencia
Departamento de Matemática y C.C.
Introducción al Pensamiento Matemático -IPeMat 2020

d) Si p ⇒ q es Verdadero, entonces q ⇒ p es Falso.

e) Si p ⇒ q es Verdadero, entonces ∼ p ∧ q es Verdadero.
f) Si p ⇒ q es Verdadero, entonces p ⇔ q es Falso.
g) Si p ∨ q es Falso, entonces p ⇒ q es Verdadero.
h) Si p ∧ q es Falso, entonces q ⇒ p es Falso.
i) Si p ∨ q es Falso, entonces p ⇔ q es Verdadero.
j) Si p ∨ q es Verdadero, entonces ∼ p ⇔ q es Verdadero.
k) Si p ∧ q es Verdadero, entonces q ⇒ p es Falso.
l) Si p ∨ q es Verdadero, entonces ∼ (∼ p∨ ∼ q) es Verdadero.

9) Determine si las siguientes proposiciones son Tautología, Contradicción o ninguna de las dos. Además
obtenga la negación de estas proposiciones.

a) (p ∧ q) ⇒ (p ∨ q) h) (p ⇒ q) ∧ (∼ q ∧ p)
b) (p ⇒ q) ∧ (∼ p ⇔ q) i) (p ∧ q) ∧ (∼ p∨ ∼ q)
c) (p ⇒ q) ⇔ (∼ p ⇒∼ q)
j) p ∨ (p ∧ q)
d) (p ∧ r) ⇔ (q ∨ r)
k) [p ⇒ (q ⇒ r)] ⇔ [(p∧ ∼ r) ⇒∼ q ]
e) [(p ∧ q) ∨ p] ⇔ p
f) (p ⇒ q) ⇔ (∼ q ⇔∼ p) l) [[(p ∧ q) ∨ r] ∧ ∼ q] ∨ q ⇒ r ∨ q
g) (p ∨ q) ⇒ (p ∧ q) m) [p ⇒ (q ∧ (∼ q))] ⇒∼ p

10) Utilizando definiciones y propiedades de lógica matemática, demuestre que las siguientes proposiciones
son equivalentes:

a) [(p ∧ q) ⇒ r] ≡ [p ⇒ (q ⇒ r)]
b) [∼ p ⇔∼ q] ≡ [p ⇔ q]
c) [(p ⇒ r) ∨ (q ⇒ r)] ≡ [(p ∧ q) ⇒ r]
d) {[q ⇒ (r ∨ p)] ∧ [p ⇒ (∼ r ∧ q)]} ≡ [∼ p ⇔ (q ⇒ r)]
e) [(p ∧ q) ⇒ r] ≡ [q ⇒ (p ⇒ r)]

11) Determine el valor de verdad de las siguientes proposiciones y luego niéguelas:

a) (∀ x ∈ R) (x < 1 ⇒ x < 3)
b) (∀ x ∈ R) x2 < 0 ⇔ x4 = x3

c) (∀ x ∈ R) (∃ y ∈ R) x2 + y 2 = 1

d) (∀ x ∈ R) (∀ y ∈ R) (y < x ⇒ 2y < 10)

e) (∀ x ∈ R) (∀ y ∈ R) (x + y = 5)
f) (∀ x ∈ R) (∃ y ∈ R) (x + y = 5)
g) (∃ x ∈ R) (∀ y ∈ R) (x + y = 5)
h) (∃ x ∈ R) (∃ y ∈ R) (x + y = 5)

Página 3
Universidad de Santiago de Chile
Facultad de Ciencia
Departamento de Matemática y C.C.
Introducción al Pensamiento Matemático -IPeMat 2020

12) Problemas

a) Demuestre que: (p ∧ q ⇒ p ∨ q) es una Tautología.

b) Determine el valor de verdad de la proposición: (∀ n ∈ N) n2 par ⇒ n par

c) Determine la negación de la proposición: (∀ n ∈ N) n2 par ⇒ n par y escríbala en lenguaje usual.

d) Determine el valor de verdad de la proposición: (∃ x ∈ [0, 1]) x2 < x

e) Usando tablas de verdad, verifique que: [(p ⇒ q) ∧ p] ⇒ q, es una Tautología.

f) Demuestre que: [(p ⇒ q) ∧ p] ⇒ q, es una Tautología.
g) Determine el valor de verdad de las siguientes proposiciones:
i) (∼ p ⇒ q) ⇔ (p ∨ q)
ii) Si x = 8, entonces podemos decir que x ≤ 8
1
iii) ∀a ∈ R+ , ≤a
a

Página 4