Álgebra lineal Ing.

Gabriel Pérez Lance

Trabajo Práctico 1
Lógica Matemática
1. Dadas las proposiciones: p: Paula es simpática , q : María es atractiva
Expresar en lenguaje coloquial, cada uno de los siguientes enunciados:
a) − p b) − p ∧ −q c )p ∧ q d) − (p ∨ q)
e) p ⇒ q f ) q ∨ −p g) − q ⇒ p h) p ⇔ q
2. Dadas las proposiciones p: Nicolás es alto, q : Nicolás es elegante, escri-
bir cada una de las siguientes proposiciones en forma simbólica:
a ) Nicolás es alto y elegante.
b ) Nicolás es alto pero no elegante.
c ) No es cierto que Nicolás es alto o elegante.
d ) Nicolás no es alto ni elegante.
e ) Nicolás es alto, o es bajo y elegante.
f ) Si Nicolás es alto, es elegante.

3. Determinar el valor de verdad de cada una de las siguientes proposi-

ciones:

a) 2 + 3 = 4 y 4 + 4 = 8.
b) Londres está en Francia o Asunción está en el Paraguay.
c) No es cierto que Londres está en Francia.
d) Es falso que, si 4 + 4 = 8 entonces Londres está en Francia.
e) Es falso que, si Londres está en Francia entonces 4 + 4 = 8.

4. Dada la asiduidad con que tengo problemas dentales, he dispuesto cum-

plir con la siguiente regla: Si me duele la boca, iré al dentista.
Decir en cuales de los siguientes casos cumplo con la regla que me
impuse:
a ) No me duele la boca y voy al dentista.
b ) Me duele la boca y no voy al dentista.
c ) No me duele la boca y no voy al dentista.
d ) Me duele la boca y voy al dentista.

UCEMA TP 1 1
Álgebra lineal Ing. Gabriel Pérez Lance

5. En una empresa hacen una prueba de selección para incorporar perso-

nal, para ello han jado la siguiente norma. Los aspirantes que tengan
entre 25 y 30 años de edad y un mínimo de dos años de experiencia
en el ramo obtendrán empleo. Determinar en qué casos la empresa
cumple con su norma:
a ) Se presentó una persona de 26 años cuya experiencia en el ramo
es de un año, y no la tomaron.
b) Emplearon a un señor de 45 años cuya experiencia es de 15 años.
c) No emplearon a una señorita (muy fea de 26 años y con 4 años
de experiencia en el ramo.
d) Una hermosa rubia de 20 años, sin experiencia en ningún tipo de
trabajo, fue tomada.
e) Un muchacho de 27 años que nunca había trabajado en el ramo
le guiñó un ojo a la empelada que hacía la prueba y fue tomado.
f) El siguiente aspirante, de 28 años y con 7 de experiencia, quiso
usar el mismo truco que el anterior, pero como era tartamudo no
lo tomaron.
6. Mediante tablas de verdad, analizar la validez de las siguientes equiva-
lencias:
a) (p ⇒ q) ≡ (−p ∨ q) b) [−(p ⇒ q)] ≡ (−p ⇒ −q)
c) [−(p ∨ q)] ≡ (−p ∨ −q) d) [−(p ∧ q)] ≡ (−p ∨ −q)
e) [−(p ⇒ q)] ≡ (p ∧ −q) f ) (p ⇔ q) ≡ [(p ∧ q) ∨ (−p ∧ −q)]
7. Analizar la veracidad de la siguiente proposición: No es cierto que
Londres no está en Francia, comparar con el valor de verdad de la
armación Londres está en Francia. Notar que considerados como
lenguaje simbólico son proposiciones equivalentes. También notar que
a veces considerar una proposición equivalente a la que fue dada puede
resultar en un análisis de mayor simpleza.
8. Dadas las proposiciones cuanticadas, expresarlas en lenguaje colo-
quial:
a ) ∃x ∈ A / P (x)∧−Q(x), donde A = {juguetes}, P (x) : x funciona
a pila y Q(x) : x vuela.
b ) ∀x ∈ N : x2 > 0
c ) ∀x ∈ R : (∃y ∈ R / x + y = 0)

UCEMA TP 1 2
Álgebra lineal Ing. Gabriel Pérez Lance

d ) ∀x ∈ R : [ ∀y ∈ R : [x 6= y ⇒ (x > y ∨ y > x)] ]

9. Escribir en lenguaje simbólico (utilizando notación matemática cuando
sea apropiado), las siguientes proposiciones:
a ) Algunos mamíferos no son cuadrúpedos.
b ) Todas las mujeres son inteligentes.
c ) Cualquiera sea el número real x, hay un número real y , de modo
que el producto de ambos es 1.
d ) Si el producto de dos números es igual a 0, uno u otro es cero.
10. Negar las armaciones de los ejercicios 8 y 9 y expresar dichas nega-
ciones en forma simbólica. Usar las equivalencias dadas en 6)a), 6)c) y
6)d).
11. El acomodador del teatro dice al propietario: Todas las personas que
están dentro del teatro son mujeres. Para avalar su armación solicita
a la persona que está sentada más cerca de la puerta que salga al hall.
La persona resulta ser una mujer.
a ) ¾Basta esta comprobación para concluir que lo que dice el acomo-
dador es cierto?
b ) ¾Y si hiciera salir a todas las personas que ocupan las diez últimas
las del teatro y todas resultaran mujeres?
c ) Suponga ahora que el acomodador dice: No todas las personas
que están dentro del teatro son mujeres y nuevamente para avalar
su armación solicita a una persona que salga, resultando esta vez
que la persona es un hombre. ¾Podemos concluir de esto que lo
que ahora dice el acomodador es cierto? Notar que si es cierto,
resulta más sencillo vericar la segunda armación que certicar
la veracidad de la primer armación.
12. Analizar la validez de las siguientes proposiciones:
a) Todos los árboles son frutales.
b) No todas las plantas son carnívoras.
c) Algunas plantas son carnívoras.
d) La música gusta a todos los jóvenes si es moderna.
e) Un objeto es de buena calidad siempre y cuando es caro.
f) Todos los números enteros son múltiplos de 2.
g) Existen múltiplos de 5 que son múltiplos de 2.

UCEMA TP 1 3
Álgebra lineal Ing. Gabriel Pérez Lance

Trabajo Práctico 1
Respuestas
1. a ) Paula no es simpática.
b ) Paula no es simpática y María no es atractiva.
c ) Paula es simpática y María es atractiva.
d ) No es cierto que, Paula es simpática o María es atractiva.
e ) Si Paula es simpática entonces María es atractiva.
f ) María es atractiva o Paula no es simpática.
g ) Si María no es atractiva, Paula es simpática.
h ) Paula es simpática si y sólo si María es atractiva.

2. a) p ∧ q
b ) p ∧ −q
c ) −(p ∨ q)
d ) −p ∧ −q
e ) p ∨ (−p ∧ q)
f) p ⇒ q

3. a ) Falso
b ) Verdadero
c ) Verdadero
d ) Verdadero
e ) Falso

4. a ) Verdadero
b ) Falso
c ) Verdadero
d ) Verdadero

5. a ) Verdadero
b ) Verdadero
c ) Falso
d ) Verdadero
e ) Verdadero

UCEMA TP 1 4
Álgebra lineal Ing. Gabriel Pérez Lance

f ) Falso

6. a ) Son equivalentes
b ) No son equivalentes, dieren los valores de verdad cuando p y q
tienen el mismo valor de verdad.
c) No son equivalentes, dieren los valores de verdad cuando p y q
tienen distinto valor de verdad.
d) Son equivalentes
e) Son equivalentes
f) Son equivalentes
7. Si tomamos p : Londres está en Francia, la primer proposición es −(−p)
y la segunda es p. Ambas son falsas, pues p es falsa y equivalente con
−(−p).

8. a ) Algún juguete funciona a pila y no vuela

b ) Todo número natural, elevado al cuadrado es mayor que 0.
c ) Para todo número real, existe un número real que sumado a él da
como resultado 0.
d ) Si dos números reales, cualesquiera, son distintos entonces uno es
menor que el otro.
9. a ) ∃x ∈ A / − P (x), donde A = {Mamíferos} y P (x) : x es cua-
drúpedo.
b ) ∀x ∈ A : P (x), donde A = {Mujeres} y P (x) : x es inteligente.
c ) ∀x ∈ R : (∃y ∈ R / x.y = 1).
d ) ∀x ∈ R : [ ∀y ∈ R : [ x.y = 0 ⇒ (x = 0 ∨ y = 0)] ].

10. 8.
a ) Todos los juguetes no funcionan a pila o vuelan.
∀x ∈ A : −(P (x) ∧ −Q(x)) ≡ ∀x ∈ A : −P (x) ∨ Q(x)
b ) Existe un número natural cuyo cuadrado es negativo.
∃x ∈ N / x2 ≤ 0
c ) Existe un número real cuya suma con todo número real re-
sulta distinta de 0.
∃x ∈ R / (∀y ∈ R : x + y 6= 0)

UCEMA TP 1 5
Álgebra lineal Ing. Gabriel Pérez Lance

d ) Existen dos números reales que son distintos y ninguno es

mayor que el otro.
∃x ∈ R[ ∃y ∈ R / − [x 6= y ⇒ (x > y ∨ y > x)] ] ≡
≡ ∃x ∈ R[ ∃y ∈ R / − [−(x 6= y) ∨ (x > y ∨ y > x)] ] ≡
≡ ∃x ∈ R[ ∃y ∈ R / [x 6= y ∧ (x ≤ y ∧ y ≤ x)] ]
9.
a ) Todos los mamíferos son cuadrúpedos.
∀x ∈ A : P (x)
b ) Algunas mujeres no son inteligentes.
∃x ∈ A / − P (x)
c ) Existe un número real cuyo producto con cualquier número
es distinto de 1.
∃x ∈ R / (∀y ∈ R : x.y 6= 1)
d ) Existen dos números reales cuyo producto es 0 y ninguno de
los dos es 0.
∃x ∈ R[ ∃y ∈ R / − [x.y = 0 ⇒ (x = 0 ∨ y = 0)] ] ≡
≡ ∃x ∈ R[ ∃y ∈ R / − [−(x.y = 0) ∨ (x = 0 ∨ y = 0)] ] ≡
≡ ∃x ∈ R[ ∃y ∈ R / [x.y = 0 ∧ x 6= 0 ∧ y 6= 0] ]

11. a ) No
b ) No
c ) Sí

12. a ) Falso
b ) Verdadero
c ) Verdadero
d ) Falso
e ) Falso
f ) Falso
g ) Verdadero

UCEMA TP 1 6