ELEMENTOS DE ÁLGEBRA

(2do cuatrimestre de 2021)

TRABAJO PRÁCTICO N◦ 1: Lógica proposicional.

1. Identificar cuáles de las siguientes expresiones son proposiciones, y para las que lo sean, dar su valor
de verdad:
a) Un cubo tiene 8 caras d ) Por favor, cierre la puerta.
b) 4 ≥ 0 e) x + 2 = 10
c) ¿Qué dı́a es hoy? f ) El número uno es primo

2. Dados los siguientes enunciados, determinar las proposiciones simples que intervienen, expresarlas
simbólicamente y determinar su valor de verdad.

a) Si 3 + 2 = 5 entonces 4 + 4 = 8.
b) No es verdad que, 2 + 2 = 5 si y sólo si 4 + 4 = 10.
c) Parı́s está en Inglaterra ó Londres está en Francia.
d ) No es cierto que, 1 + 1 = 3 y 2 + 1 = 3.
e) Es falso que, si Parı́s está en Inglaterra entonces Londres está en Francia.
f ) 4 es un número par si y sólo si 4 es divisible por dos.
g) 8 < −9, si −9 es negativo y 8 positivo.

3. Una proposición se dice que es una contingencia si no es una tautologı́a ni es una contradicción.
Construir las tablas de verdad de las siguientes formas proposicionales e indicar si se trata de tauto-
logias, contradicciones o contingencias.
a) (p ∧ (p =⇒ q)) =⇒ q c) ((p ∨ q) =⇒ r) ⇐⇒ (q =⇒ (p =⇒ r))
b) (p =⇒ q) ∧ p ∧ ∼ q d ) [∼ p ∧ (q ∨ ∼ q)] ⇐⇒ (∼ p)

4. Considerando como implicaciones directas las proposiciones que figuran a continuación, indicar la
recı́proca, contraria y contrarrecı́proca de las mismas.

a) Si tengo vacaciones, me voy a Mar del Plata.

b) Me pongo un abrigo si hace frı́o.

5. El siguiente razonamiento lógico es correcto. Indicar las equivalencias lógicas que se utilizan en cada
paso.
(1) (2)
[(p ∧ p) =⇒ (∼ (q ∧ ∼ r))] ∧ [(q ∧ s) =⇒ (∼ p)] ⇐⇒ [p =⇒ (∼ (q ∧ ∼ r))] ∧ [(q ∧ s) =⇒ (∼ p)] ⇐⇒
(3) (4)
[p =⇒ (∼ (q ∧ ∼ r))] ∧ [∼ (∼ p) =⇒ (∼ (q ∧ s))] ⇐⇒ [p =⇒ (∼ (q ∧ ∼ r))] ∧ [p =⇒ (∼ (q ∧ s))] ⇐⇒
(5) (6)
[∼ p ∨ (∼ (q ∧ ∼ r))] ∧ [∼ p ∨ (∼ (q ∧ s))] ⇐⇒ [∼ (p ∧ (q∧ ∼ r))] ∧ [∼ (p ∧ (q ∧ s))] ⇐⇒
(7) (8)
[∼ ((p ∧ q)∧ ∼ r)] ∧ [∼ ((p ∧ q) ∧ s)] ⇐⇒ [∼ (p ∧ q)∨ ∼ (∼ r)] ∧ [∼ (p ∧ q)∨ ∼ s] ⇐⇒
(9) (10) (11)
[∼ (p ∧ q) ∨ r)] ∧ [∼ (p ∧ q)∨ ∼ s] ⇐⇒ [∼ (p ∧ q)] ∨ (r∧ ∼ s) ⇐⇒ ∼ (p ∧ q) ∨ (∼ s ∧ r) ⇐⇒

(∼ s ∧ r)∨ ∼ (p ∧ q)

1
 6. a) Sabiendo que (p ∨ q) es V , ∼ q es V y (r ∨ s) es V hallar el valor de verdad de:
i) [(p ∨ q) ∧ ∼ q] =⇒ q ii) [q ∨ (∼ p ∧ ∼ q)] =⇒ q iii) (∼ r∧ ∼ s) ⇐⇒ (∼ q =⇒∼ p)
b) Si v(p∨ ∼ q) = V , es posible determinar el valor de verdad de (p ∧ q) ⇐⇒ (p ∨ q)? Justificar la
respuesta.
c) Hallar todos los posibles valores de verdad que pueden tomar las proposiciones simples p, q y r
sabiendo que:
i) p =⇒ (q ∧ ∼ r) es F ii) q =⇒ (r ∧ ∼ p) es V

7. Dadas las siguientes proposiciones, expresarlas simbólicamente usando cuantificadores. Analizar el

valor de verdad de las proposiciones enunciadas y justificar.

a) El cuadrado de todo número real es mayor que dos.

b) Existen enteros cuyo cubo aumentado en uno es igual al cubo del siguiente.
c) Todos los números pares son múltiplos de cuatro.
d ) Existe un natural u tal que para todo natural n se verifica u · n = n.
e) No es cierto que, todo primo es impar.
f ) Algunos enteros son pares y múltiplos de 3.

8. Negar cada una de las siguientes proposiciones.

a) ∀x ∈ N : (x > 3 ⇒ x + 3 > 6) c) ∃x ∈ Z ∀y ∈ R ∀z ∈ R (z > y ⇒ (x · z < y · z))
b) ∃x ∈ R ∃y ∈ R/(x2 = y 2 ∧ x 6= y) d ) ∀x, y ∈ R : (x · y = 0 ⇒ (x = 0 ∨ y = 0))

9. Escribir las proposiciones del ejercicio 7 utilizando solamente el cuantificador universal y los conectivos
“∼” y/o “∨”

10. a) Demostrar por el método directo, por el contrarrecı́proco y por el absurdo la siguiente implicación:
“Si b + 2 es par entonces b es par”
b) Enunciar la recı́proca de la proposición anterior y determinar su valor de verdad.

11. Usando cualquiera de los métodos de demostracion, probar:

a) Si a es par entonces a2 + 1 es impar.

b) a3 es impar si a es impar.
c) Si b + c es múltiplo de 7 y b es múltiplo de 7, c es múltiplo de 7.
d ) Un número no es múltiplo de 3 sólo si no es múltiplo de 6.
e) x · y es número par implica que x o y son pares.

12. Analizar el valor de verdad de las siguientes proposiciones:

a) ∀x ∈ R ∃y ∈ R/ (x + y = 0)
e) ∀x ∈ Z ∃y ∈ Z/ (x · y = 1)
b) ∀x ∈ R ∃y ∈ Z/ (x + y = 0)
f ) ∃y ∈ Z ∀x ∈ Z : (x · y = 0)
c) ∃y ∈ R ∀x ∈ R : (x + y = 0)
g) ∃y ∈ N ∀x ∈ N : (x · y = 0)
d) ∃x, y ∈ N/ (x + y = 0)

2
 EJERCICIOS ADICIONALES

1. Escribir oraciones que correspondan a las siguientes proposiciones:

a) (∼ p ∧ q) ⇒ q b) r ⇒ (p ∨ q)

2. a) Demostrar las leyes de absorción

b) Analizar si las proposiciones p y ∼ (p =⇒ q) ∨ p son equivalentes.
En caso que la equivalencia sea verdadera, hacer una demostración utilizando equivalencias lógi-
cas. En caso que la equivalencia sea falsa, indicar justificando su razonamiento si alguna de las
implicaciones que intervienen en la equivalencia es verdadera.

3. a) Dada la proposición p =⇒ (r ∧ q), escribir una proposición equivalente a la dada donde aparezcan
únicamente los conectivos “∼” y/o “∨”.
b) Considerar las proposiciones enunciadas en el ejercicio 8 y escribirlas utilizando únicamente el
cuantificador existencial y los conectivos “∼” y/o “∧”.

4. a) Consideremos el enunciado verdadero:

“si dos números son pares entonces la suma es par ”
¿Los casos: 4 + 6 = 10 y 2 + 4 = 6 prueban la validez de la afirmación? Por qué?
b) Consideremos el enunciado falso:
“si la suma de dos números es par, entonces ambos números son pares ”
¿El caso 5 + 7 = 12 justifica la falsedad del enunciado? Por qué?

5. a) Demostrar que: la suma de 5 enteros consecutivos cualesquiera es un múltiplo de 5.

b) Usando dos métodos de demostración diferentes, probar que:
si 3x + 4 no es impar entonces x no es impar

6. Escribir en lenguaje simbólico usando cuantificadores, determinar su valor de verdad y negar las
siguientes proposiciones.

a) Todo entero positivo, cuyo cuadrado es par verifica que su cubo es impar.
b) La suma de dos números enteros es par.

7. Sobre una mesa hay apoyadas cuatro cartas

A 2 D 7

Se sabe que cada carta tiene impreso un número de un lado y una letra del otro lado.
Dada la proposición:

“todas las cartas que tienen la letra D de un lado, tienen el 2 del otro lado”

Indicar los movimientos que debo realizar con las cartas para determinar el valor de verdad de la
proposición dada. Justificar cada paso.

3
 TABLA DE EQUIVALENCIAS LOGICAS

1. Doble negación: (∼ (∼ p)) ⇐⇒ p 6. Leyes de absorción:

p ∨ (p ∧ q) ⇐⇒ p
2. Leyes conmutativas:
p ∧ (p ∨ q) ⇐⇒ p
(p ∧ q) ⇐⇒ (q ∧ p)
(p ∨ q) ⇐⇒ (q ∨ p) 7. Leyes de De Morgan:
(p ⇐⇒ q) ⇐⇒ (q ⇐⇒ p) ∼ (p ∧ q) ⇐⇒ (∼ p∨ ∼ q)
∼ (p ∨ q) ⇐⇒ (∼ p∧ ∼ q)
3. Leyes asociativas:
[(p ∧ q) ∧ r] ⇐⇒ [p ∧ (q ∧ r)]
8. Implicación:
[(p ∨ q) ∨ r] ⇐⇒ [p ∨ (q ∨ r)]
(p =⇒ q) ⇐⇒ (∼ p ∨ q)
4. Leyes distributivas:
9. Negación de la implicación:
[p ∧ (q ∨ r)] ⇐⇒ [(p ∧ q) ∨ (p ∧ r)]
∼ (p =⇒ q) ⇐⇒ (p∧ ∼ q)
[p ∨ (q ∧ r)] ⇐⇒ [(p ∨ q) ∧ (p ∨ r)]
5. Leyes de idempotencia: 10. Contrarrecı́proca:
(p ∧ p) ⇐⇒ p (p =⇒ q) ⇐⇒ (∼ q =⇒∼ p)
(p ∨ p) ⇐⇒ p

Representando con t una tautologı́a y con c una contradicción:

11. Leyes de identidad: 12. Reducción al absurdo:

(p ∨ c) ⇐⇒ p (p =⇒ q) ⇐⇒ [(p ∧ ∼ q) =⇒ c]
(p ∨ t) ⇐⇒ t
(p ∧ c) ⇐⇒ c
(p ∧ t) ⇐⇒ p

TABLA DE IMPLICACIONES LOGICAS

1. Adición: 5. Silogismo disyuntivo:

p =⇒ (p ∨ q) [(p ∨ q)∧ ∼ p] =⇒ q

2. Simplificación: 6. Silogismo hipotético:

(p ∧ q) =⇒ p (transitividad de “ =⇒”)
[(p =⇒ q)∧(q =⇒ r)] =⇒ (p =⇒ r)
3. Modus ponens:
[p ∧ (p =⇒ q)] =⇒ q 7. Absurdo:
(p =⇒ c) =⇒∼ p
4. Modus tollens:
[(p =⇒ q)∧ ∼ q] =⇒∼ p