Facultad de Ciencias Exactas y Tecnologías – UNSE 2022

Álgebra y Geometría Analítica

GUÍA DE TRABAJOS PRÁCTICOS N° 1

Elementos de la lógica proposicional

1.- Indicar cuáles de las siguientes expresiones son proposiciones:

a. Los triángulos rectángulos tienen un ángulo recto.
b. La representación gráfica de una función lineal es una recta.
c. √−25 es un número real.
d. ¿Está lloviendo?
e. La energía no se crea ni se destruye, solamente se transforma.
f. ¡Cuidado!
g. 𝑎2 + 8𝑎 + 16 = (𝑎 + 4)2

2.- Dadas las siguientes proposiciones:

a. La raíz cuadrada de 9 es igual a 3 o a -3.
b. Si un triángulo es equilátero, entonces es isósceles.
c. 24 es divisible por 4 y por 6, pero no es divisible por 5.
d. No es cierto que, la suma de los ángulos interiores de un polígono es 180°, si el polígono
es un cuadrado.
e. Marcelo regularizará la asignatura si y sólo si asiste a las clases y estudia en la casa.
f. Un número es racional solo si puede escribirse como una fracción.
g. La potenciación es distributiva respecto de la multiplicación, pero no respecto de la
suma.
h. Un polinomio tiene 2 raíces reales iguales o 2 raíces reales distintas o 2 raíces no reales,
si es un polinomio de grado 2.

2.1.- Señalar con una C las proposiciones compuestas y con una S las proposiciones simples.
2.2.- En cada proposición compuesta indicar el conectivo lógico utilizado y la operación
asociada.
2.3.- Traducir cada una de ellas al lenguaje lógico.

3.- Dadas las siguientes proposiciones simples:

𝑝 ∶ 6 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟.
𝑞 ∶ 9 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 15.
𝑟 ∶ −3 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙.
𝑠 ∶ 𝐿𝑜𝑠 𝑝𝑜𝑙𝑖𝑛𝑜𝑚𝑖𝑜𝑠 𝑑𝑒 𝑔𝑟𝑎𝑑𝑜 𝑑𝑜𝑠 𝑡𝑖𝑒𝑛𝑒𝑛 2 𝑟𝑎í𝑐𝑒𝑠.
3.1.- Interpretar en lenguaje coloquial (lenguaje corriente) las siguientes fórmulas.
a. ∼ 𝑝 ∧ ∼ 𝑟 d. 𝑝 ∧ (∼ 𝑞 ∧∼ 𝑟)
b. 𝑝 ∨ 𝑞 ⇒ ∼ 𝑠 e. 𝑠 ⇒ 𝑝 ∨ 𝑟
c. ∼ (𝑟 ∧ 𝑠) ⟺ 𝑞 ∨∼ 𝑝
3.2.- De acuerdo al valor de verdad de cada una de las proposiciones simples, determinar el
valor de verdad para las fórmulas del ítem anterior.

4.- Colocar paréntesis (si fuera necesario) para que la fórmula lógica corresponda a la
proposición que se indica en cada caso.
a. ∼ 𝑝 ∧ 𝑞 ⟺ 𝑟 ∨ 𝑝 ⟹ 𝑠 (Conjunción)

Guía de Trabajos Prácticos N°1 1

 Facultad de Ciencias Exactas y Tecnologías – UNSE 2022
Álgebra y Geometría Analítica

b. ∼𝑝∧𝑞 ⟺𝑟∨𝑝 ⟹𝑠 (Condicional)

c. ∼𝑝∧𝑞 ⟺𝑟∨𝑝 ⟹𝑠 (Bicondicional)
d. ∼𝑝∧𝑞 ⟺𝑟∨𝑝 ⟹𝑠 (Disyunción)
e. ∼𝑝∧𝑞 ⟺𝑟∨𝑝 ⟹𝑠 (Negación)

5.- Resolver los siguientes ítems:

5.1.- Sabiendo que los valores de verdad de las proposiciones 𝒑, 𝒒, 𝒓 y 𝒔 son 𝑭, 𝑽, 𝑽 y
𝑭 respectivamente, obtener los valores de verdad de:
a. 𝑝 ∨∼ 𝑞 ⟺ 𝑟 ⟹ 𝑠 c. ∼ (∼ 𝑟 ∨ 𝑞) ∧ 𝑝 ⟹ 𝑠
b. (∼ 𝑝 ∧ 𝑟) ∨ 𝑠 ⟺ 𝑝 d. 𝑝 ⟺ 𝑟 ∧∼ 𝑠 ⟹ 𝑞

5.2.- Sabiendo que 𝒑 ∨∼ 𝒒 es 𝑭 y que 𝒒 ⟺∼ 𝒑 ⟹ 𝒓 es 𝑽, determinar el valor de:

a. 𝑝 ∨ (𝑟 ∧∼ 𝑞) c. ∼ (𝑞 ∨ 𝑟) ⟹ 𝑝
b. ∼ 𝑟 ⟹ (𝑝 ⟺ 𝑞) d. 𝑟 ∧ 𝑝 ⟺ 𝑞 ⟹∼ 𝑟

5.3.- Sabiendo que la proposición (∼ 𝒑 ⟹ 𝒒) ∨ (𝒒 ⟺ 𝒓 ∧ 𝒔) es F, indicar el valor de:

a. ∼ (𝑝 ⟹ 𝑞 ∧ 𝑟) c. 𝑝 ∨ 𝑟 ⟹∼ 𝑞 ∧ 𝑠
b. 𝑞 ∧∼ 𝑠 ⟺ 𝑝 d. (𝑝 ∧∼ 𝑞) ∨ (𝑟 ∧ 𝑠) ⟺∼ 𝑝 ⟹ 𝑠

6.- Dadas las siguientes fórmulas, determinar si corresponden a una tautología, contingencia
o contradicción.
a. (𝑝 ⟹ 𝑞) ∧∼ 𝑞 ⟹∼ 𝑝 b. ∼ (𝑝 ⟹ 𝑞) ⟺ 𝑝 ∧∼ 𝑞 c. 𝑝 ∧∼ 𝑞 ⟹ (∼ 𝑝 ⟺ 𝑞)

7.- Determinar si las siguientes fórmulas son equivalentes:

a. ∼ 𝑝 ∧ 𝑞 ⟹ 𝑟 ≡ (𝑝 ∨∼ 𝑞) ∨ 𝑟
b. 𝑝 ⟹ 𝑞 ∨∼ 𝑟 ≡∼ 𝑝 ∧ 𝑞 ⟹ 𝑟
c. (𝑝 ⟹ 𝑞) ⟹ 𝑟 ≡∼ (∼ 𝑝 ∨ 𝑞) ∨ 𝑟

8.- En los siguientes enunciados, determinar la condición necesaria y/o la condición

suficiente.
a. Si estudio, aprobaré los parciales y regularizaré las materias.
b. La cantidad de movimiento de un cuerpo permanece constante en el tiempo, si la
fuerza total que actúa sobre él es nula.
c. Sólo si Mariana asiste a clases, comprenderá todos los temas.
d. Es suficiente que la suma de los ángulos interiores de un polígono sea 180° para que
sea un triángulo.

9.- A partir de las proposiciones del ejercicio anterior:

a. Expresarlas en lenguaje simbólico indicando las proposiciones simples que la
componen.
b. Formular simbólicamente y en lenguaje coloquial las implicaciones asociadas a las
dadas.
c. Negar las expresiones obtenidas en el apartado a. y traducirlas al lenguaje coloquial.

10.- De las siguientes expresiones, indicar cuáles son formas proposicionales y cuáles son
proposiciones.

Guía de Trabajos Prácticos N°1 2

 Facultad de Ciencias Exactas y Tecnologías – UNSE 2022
Álgebra y Geometría Analítica

a. Todos los animales que comen carne se denominan carnívoros.

b. t es un número natural.
c. Lucas tiene 20 años.
d. x es múltiplo de 5.

11.- Si 𝐴 = {2, 4, 6, 8, 10}, determinar si las proposiciones son 𝑽 (verdaderas) o 𝑭 (falsas).

a. ∃𝑥 ∈ 𝐴 / 2𝑥 = 8 d. ∀𝑥 ∈ 𝐴 ∶ 𝑥 − 2 > 3
b. ∀𝑥 ∈ 𝐴 ∶ 𝑥 + 1 < 5 e. ∃𝑥 ∈ 𝐴 / 𝑥 2 − 3 ≥ 4
c. ∃𝑥 ∈ 𝐴 / 𝑥 − 3 > 9 f. ∀𝑥 ∈ 𝐴 ∶ (𝑥 − 5)2 ≤ 25

12.- Dadas las siguientes formas proposicionales:

𝑝(𝑥): 𝑥 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 4
𝑞(𝑥): 𝑥 𝑒𝑠 𝑝𝑟𝑖𝑚𝑜
𝑟(𝑥): 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 2
escribir en lenguaje coloquial las siguientes proposiciones cuantificadas. En todos los casos,
considerar que 𝑈 = ℝ .
a. ∀𝑥: ~𝑞(𝑥) e. ∃𝑥 / ~𝑝(𝑥) ∧ 𝑞(𝑥)
b. ∃𝑥/ 𝑟(𝑥) f. ∃𝑥 / 𝑟(𝑥) ⟹ ∀𝑥 ∶ 𝑞(𝑥)
c. ∃𝑥 / 𝑝(𝑥) ∨ 𝑞(𝑥) g. ~[∀𝑥 ∶ 𝑝(𝑥)]
d. ∀𝑥 ∶ 𝑝(𝑥) ⟹ 𝑟(𝑥) h. ~[∀𝑥 ∶ 𝑞(𝑥)] ∧ ∃𝑥 / ~𝑟(𝑥)

13.- Negar las siguientes proposiciones cuantificadas.

a. ∀𝑥 ∶ 𝑝(𝑥) ∨ 𝑞(𝑥) d. ∃𝑥 / 𝑝(𝑥) ⟺ 𝑞(𝑥)
b. ∃𝑡 / 𝑝(𝑡) ⟹ 𝑞(𝑡) e. ∀𝑥 ∶ 𝑥 = 2 ∧ 𝑥 ≥ 5 ⟹ 𝑥 > 3
c. ∀𝑦 ∶ ~𝑝(𝑦) ⟹ 𝑞(𝑦) ∧ 𝑟(𝑦) f. ∃𝑧 / 𝑧 > −3 ⟺ 𝑧 ≥ −1

14.- Usando cuantificadores en cada una de las siguientes proposiciones, abstraer la forma
lógica, negar la expresión cuantificada y traducir al lenguaje corriente.
a. Algunos números naturales son divisores de 12. 𝑈 = {𝑥 /𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙}
b. Ningún cuadrado tiene 5 lados. 𝑈 = {𝑥 /𝑥 𝑒𝑠 𝑢𝑛 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜}
c. Todos números racionales son enteros y naturales. 𝑈 = {𝑥 /𝑥 ∈ ℚ}
d. Algunos números son múltiplos de 3 o de 4. 𝑈 = {𝑥 /𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜}
e. No todos los animales son vertebrados. 𝑈 = {𝑥 /𝑥 𝑒𝑠 𝑢𝑛 𝑎𝑛𝑖𝑚𝑎𝑙}
f. Todos los caballos son mamíferos. 𝑈 = {𝑥 /𝑥 𝑒𝑠 𝑢𝑛 𝑎𝑛𝑖𝑚𝑎𝑙}

15.- Usando el símbolo de Σ, abreviar las siguientes sumas.

a. 𝑎1 𝑥 + 𝑎2 𝑥 2 + ⋯ + 𝑎5 𝑥 5
b. 1 + 3 + 5 + 7 + 9 =
c. 1 + 2 + 4 + 8 + 16 + 32 =
1 1 1 1 1
d. 1 + 4 + 9 + 16 + 25 + 36 =

16.- Dadas las siguientes sumas:

5 4

i) ∑ 5𝑛 − 3 ii) ∑ 32𝑛−5
𝑛=1 𝑛=1

Guía de Trabajos Prácticos N°1 3

 Facultad de Ciencias Exactas y Tecnologías – UNSE 2022
Álgebra y Geometría Analítica

a. Desarrollarlas
b. Indicar el tercer término de las mismas.
3
c. Calcular 
n 1

17.- Usando el P.I.C. probar la validez de las siguientes proposiciones para cualquier 𝒏
natural.

a. 𝑝(𝑛): 2 + 4 + 6 + ⋯ + 2𝑛 = 𝑛(𝑛 + 1)
3
b. 𝑝(𝑛): 3 + 32 + 33 + ⋯ + 3𝑛 = 2 (3𝑛 − 1)
𝑛

c. 𝑝(𝑛): ∑ 4𝑖 + 1 = 𝑛(2𝑛 + 3)
𝑖=1

d. 𝑝(𝑛): ∑(4𝑖 − 2) = 2𝑛2

𝑖=1

𝑛
1 𝑛
e. 𝑝(𝑛): ∑ =
𝑖(𝑖 + 1) 𝑛 + 1
𝑖=1

𝑛
1 1
f. 𝑝(𝑛): ∑ =2−
2𝑖−1 2𝑛−1
𝑖=1

Guía de Trabajos Prácticos N°1 4