ÁLGEBRA (Ciencias) – año 2017
PRÁCTICA 1
Lógica
1. Determinar si los siguientes enunciados son proposiciones. Justificar
a) Siete es mayor que doce.
b) Si 6 > 4 entonces 6 > 2
c) Ella es inteligente.
d ) Quı́en es?
e) En otros planetas del sistema solar hay diversos tipos de seres vivos
f ) De 2 + 3 ≥ 5 + 4 se deduce 3 > 4.
g) Estudiaré música o canto.
h) Cualquier rectángulo tiene cuatro lados.
i ) x > 2.
2. Escribir las siguientes proposiciones en lenguaje simbólico. Para las últimas tres proposiciones
indicar su valor de verdad.
a) El gobierno argentino establece un control sobre la caza del zorro colorado, o esas espe-
cies se extinguirán en un futuro muy próximo.
b) Comprendo los puntos de vista de Marta, pero no los comparto.
c) Si me levanto temprano, tomo el tren de las ocho.
d ) 8 es par o 6 es impar
e) 8 es par y 6 es impar
f ) Si 8 es impar y 6 es impar, entonces 8 < 6.
3. Dadas la siguientes proposiciones, reescribirlas utilizando “necesario” y “suficiente”.
a) Si un número es múltiplo de 3 entonces su cuadrado es múltiplo de 9.
b) Un número es múltiplo de 4 sólo si es divisible por 2.
c) Un número es múltiplo de 7 si es múltiplo de 21.
Enunciar los condicionales: recı́proco, contrario y contrarrecı́proco. Decir cuáles son equiva-
lentes.
4. Construir las tablas de verdad de las siguientes proposiciones y clasificarlas en tautologı́as,
contradicciones y contingencias.
a) ∼ p → (q∨ ∼ p)
b) ((p ∧ q) → p) → q
c) (p ∧ q) →∼ p
d ) p ∧ (q∨ ∼ p)
e) (∼ p → q) → (∼ q → p)
f ) ((p ∧ q) ∨ (r∧ ∼ q)) ↔ ((∼ p∧ ∼ q) ∨ (∼ r∧ ∼ q))
5. Probar al menos una de las siguientes tautologı́as.
a) (p ∧ (p → q)) → q (Modus Ponens)
b) (∼ q ∧ (p → q)) →∼ p (Modus Tolens)
1
c) ((p ∨ q)∧ ∼ p) → q (Modus Tollendo Ponens)
d ) p → (p ∨ q) (Adición)
e) (p ∧ q) → p (Simplificación)
6. Probar al menos una de cada una de las siguientes equivalencias lógicas
a) Doble Negación:
p ⇐⇒ ∼ (∼ p)
b) Leyes Conmutativas:
p ∧ q ⇐⇒ q ∧ p
p ∨ q ⇐⇒ q ∨ p
c) Leyes Distributivas:
(p ∨ q) ∧ r ⇐⇒ (p ∧ r) ∨ (q ∧ r)
(p ∧ q) ∨ r ⇐⇒ (p ∨ r) ∧ (q ∨ r)
d ) Leyes Asociativas:
p ∧ (q ∧ r) ⇐⇒ (p ∧ q) ∧ r
p ∨ (q ∨ r) ⇐⇒ (p ∨ q) ∨ r
e) Leyes de De Morgan:
∼ (p ∧ q) ⇐⇒ ∼ p ∨ ∼ q
∼ (p ∨ q) ⇐⇒ ∼ p ∧ ∼ q
7. Simbolizar utilizando esquemas, cuantificadores y conectivos lógicos:
a) Todos los números son enteros.
b) Existen números impares o no todos los números son pares.
c) Para todo par de números, si son reales y su producto es uno entonces uno es el inverso
del otro.
d ) Para todo par de números reales, existe otro que es mayor que ambos.
e) Existen polı́ticos honestos.
f ) Todos los paises inexplorados son facinantes.
g) Cualquier rectángulo tiene cuatro lados.
8. Escribir en lenguaje corriente las siguientes proposiciones, siendo el universo el conjunto de
los números reales y los esquemas definidos como sigue:
p(x) : x es par
q(x) : x es divisible por 2
r(x) : x > 0
p(x, y) : y > x
q(x, y) : x + y = 0
a) (∀x) (p(x) → q(x))
b) (∃y)(∀x)(p(x, y))
c) (∀x)(∃y)(p(y, x + 3))
d ) (∀x) ( r(x) → ((∃y)(∼ r(y) ∧ q(x, y)))
9. Negar las proposiciones dadas de los dos ejercicios anteriores, obteniendo una forma equiva-
lente.
10. a) Hallar universo y esquemas para que las siguientes proposiciones sean verdaderas
1) (∀x)(p(x) ∧ q(x))
2) (∃x)(p(x) ∧ q(x))
2
3) (∀x)(p(x)) → (∃x)(q(x))
4) (∃x)(p(x)) → (∀x)(q(x))
5) (∀x)(∃y)(p(x, y))
6) (∃y)(∀x)(p(x, y))
b) Para las proposiciones dadas en el item anterior, hallar universo y esquemas para que
sean falsas.
