IES ESTANISLAO MALDONES PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA

ÁLGEBRA CONJUNTISTA - Prof. Lucía Micaela Cuello Año Lectivo 2022

TRABAJO PRÁCTICO Nº 1
Nociones de Lógica

Para profundizar lo aprendido en clase, es decir lo estudiado de los

apuntes de la Unidad 1 y lo explicado por la Profesora mirar con mucha
atención el video publicado en
https://www.youtube.com/watch?v=vKe0UKSpNQQ

Resolver los siguientes ejercicios

1. Determinar cuál de las siguientes oraciones son proposiciones y de ellas indicar

su valor de verdad:
LA ORACIÓN ES PROPOSICIÓN VALOR DE VERDAD

a) La suma de dos números pares es par

b) ¿El Álgebra es disciplina de la Matemática?

c) Todos los números son impares

d) La Geometría es disciplina de la Matemática

e) En Aritmética se resuelven operaciones

f) Calcular la división entre 15 y 3

g) La división entre 8 y 0 resulta 8

h) ¿Cuántos múltiplos de 5 hay hasta 100?

i) Los múltiplos de 4 son pares

j) Determinar los 20 primeros naturales múltiplos de

3

2. Enunciar 9 oraciones, 3 proposiciones verdaderas, 3 proposiciones falsas y 3 que

no sean proposiciones.

3. Considerar las tres proposiciones simples p, q y r:

p: La figura dibujada es rectángulo
q: La figura dibujada es equilátera
r: La figura dibujada tiene los ángulos agudos

i. Traducir las siguientes proposiciones compuestas

a) 𝑝∨𝑞 e) 𝑟 ∨ ~𝑝
b) ~𝑞 f) ~𝑝 ∧ 𝑟
c) ~𝑞 ∧ 𝑝 g) 𝑝 ⇔ ~𝑞
d) 𝑝 ⇒ 𝑟 h) (~𝑝 ∧ 𝑞 ) ⇒ 𝑟

ii. Indicar el valor de verdad de cada una de ellas

IES ESTANISLAO MALDONES PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA
ÁLGEBRA CONJUNTISTA - Prof. Lucía Micaela Cuello Año Lectivo 2022

4. Para cada una de las siguientes proposiciones:

a) El número 6 no es primo
b) El número 5 es dígito y es impar
c) El número entero 15 no es fraccionario ni irracional
d) Si el número 12 es par entonces es múltiplo de 4
e) Si el número -11 no es natural y es negativo, entonces es menor que cero
f) Si la multiplicación de números enteros es conmutativa, asociativa y resulta
siempre entera; entonces el neutro es 1 o -1

i. Indicar las proposiciones simples que la componen

ii. Aplicando los conectores escribirlas simbólicamente
iii. Determinar el valor de verdad

5. Con las operaciones lógicas, en cada caso combinar las proposiciones p y q para
obtener una proposición compuesta verdadera y una falsa:

a) p: 2 es un número primo
q: 2 es un número impar

b) p: Los paralelogramos tienen cuatro lados

q: El rombo es un paralelogramo

c) p: La suma de dos números racionales siempre existe

q: La suma de dos números racionales siempre es decimal

d) p: La figura es un triángulo acutángulo

q: La figura es un triángulo isósceles

6. Determinar el valor de verdad de cada una de las siguientes proposiciones

compuestas sabiendo que 𝑝 (V), 𝑞 (F), 𝑟 (V) y 𝑠 (F):

a) 𝑟 ∨ ~𝑝
b) ~(𝑝 ∨ 𝑠)
c) (𝑝 ∧ 𝑞 ) ⇔ 𝑟
d) (𝑟 ⇒ 𝑝) ∧ ~𝑞
e) (𝑝 ∨ 𝑟) ∧ (𝑟 ∧ ~𝑠)
f) [(𝑝 ∨ 𝑞 ) ∧ 𝑟] ⇒ 𝑠
IES ESTANISLAO MALDONES PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA
ÁLGEBRA CONJUNTISTA - Prof. Lucía Micaela Cuello Año Lectivo 2022

Para profundizar lo aprendido en clase mirar el video publicado en

https://www.youtube.com/watch?v=a5cEaETtTNo
7. Confeccionar las tablas de valores de verdad de las proposiciones:

a) 𝑝 ∧ (−𝑝 ⇒ 𝑞) f) 𝑝 ∧ [(−𝑟 ⇒ 𝑞 ) ∨ −𝑝]

b) (−𝑝 ∨ 𝑞 ) ⇔ (−𝑝 ∧ −𝑞 ) g) [(𝑝 ∧ 𝑟) ⇒ 𝑝] ⇔ 𝑞
c) (𝑝 ∧ 𝑞 ) ⇒ 𝑟 h) [(𝑝 ⇒ 𝑞 ) ∧ (𝑞 ⇒ 𝑟)] ∨ (𝑝 ⇒ 𝑟)
d) (𝑝 ∨ 𝑞 ) ∨ (𝑝 ∧ 𝑟 ) i) (𝑝 ∧ 𝑞 ) ⇒ (−𝑟 ∧ 𝑠)
e) (𝑝 ∨ 𝑞 ) ∧ (𝑝 ⇒ 𝑟 ) j) (−𝑝 ⇒ 𝑠) ⇔ (𝑞 ∧ −𝑟)

8. Aplicando el método demostrativo directo, verificar la validez de los siguientes

razonamientos deductivos:

a) 1. p  q b) 1. -p  -q c) 1. p  q
2. p  r 2. r p  -r 2. q  r
3. -q  r 3. -r  s
4. -s  -p

d) 1. p  -q e) 1. r  q   p  -q f) 1. p  -q
2. r  q  -q  -r 2. p  q  (p  q)  -s

g) 1. p  q h) 1. - (p  q) i) 1. p  (q  s)
2. p  h   q 2. r  p   -r 2. -p  -s   -q

j) 1. p  (q  r) k) 1. –p
2. (q  r)  s 2. -q  p
3. -s  t t 3. -q  (r  s) r

Para profundizar lo aprendido en clase mirar los videos publicados en

https://www.youtube.com/watch?v=bA3OvkZpgFY
https://www.youtube.com/watch?v=jKOEc7wUesk

9. Dadas las siguientes funciones proposicionales:

𝑃 (𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜
𝑄 (𝑥 ): 𝑥 + 5 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
𝑅 (𝑥 ): 2𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟
IES ESTANISLAO MALDONES PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA
ÁLGEBRA CONJUNTISTA - Prof. Lucía Micaela Cuello Año Lectivo 2022

Determinar cuáles de las proposiciones planteadas a continuación son verdaderas:

a) 𝑃 (7) e) 𝑅 (1) ∨ 𝑅 (−1)
b) 𝑄 (3) f) 𝑃 (5) ⇒ 𝑄 (5)
c) 𝑅 (−5) g) ∽ [𝑃 (4) ∨ 𝑄 (−5)]
d) 𝑃(11) ∧ 𝑃(6) h) ∼ 𝑃 (20) ⟹ 𝑅 (20)

10. Dadas las siguientes funciones proposicionales:

𝑃 (𝑥 ): √𝑥 no se puede expresar como el cociente de dos números enteros
𝑄 (𝑥 ): √𝑥 no es un número racional
𝑅 (𝑥 ): √𝑥 es un número irracional
𝑆(𝑥 ): √𝑥 es un número real
𝑇(𝑥 ): √𝑥 tiene infinitas cifras decimales

Traducir y determinar cuáles de las proposiciones planteadas a continuación son

verdaderas:
a) ∃𝑥 = 2⁄𝑃 (𝑥 ) ⇔ 𝑄 (𝑥 ) e) ∀𝑥 ∈ ℕ: 𝑇(𝑥 ) ⇒ 𝑅 (𝑥 )
b) ∀𝑥 ∈ ℕ: 𝑄 (𝑥 ) ⇒ 𝑅(𝑥 ) f) ∀𝑥 ∈ ℕ: 𝑄 (𝑥 ) ⇒ ~𝑅 (𝑥 )
c) ∃𝑥 ∈ ℤ⁄𝑆(𝑥 ) ⇒ 𝑇(𝑥 ) g) ∃𝑥 ∈ ℕ⁄~𝑄 (𝑥 ) ⇒ ~𝑆(𝑥 )
d) ∀𝑥 ∈ ℕ: 𝑆(𝑥 ) ⇒ 𝑇(𝑥 ) h) ∃𝑥 ∈ ℕ⁄𝑄 (𝑥 ) ∧ 𝑆(𝑥 )

11. Indicar si las siguientes afirmaciones sobre los números enteros son verdaderas o
falsas:
a) ∀𝑥: ∀𝑦: 𝑥 + 𝑦 = 0 e) ∀𝑥: ∀𝑦: 𝑥𝑦 = 0
b) ∀𝑥: ∃𝑦⁄𝑥 + 𝑦 = 0 f) ∀𝑥: ∃𝑦 ⁄𝑥 + 𝑦 = 0
c) ∃ 𝑥 ⁄∀ 𝑦: 𝑥 + 𝑦 = 0 g) ∃ 𝑥 ⁄∀ 𝑦: 𝑥 + 𝑦 = 0
d) ∃𝑥 ⁄∃ 𝑦 ⁄𝑥 + 𝑦 = 0 h) ∃𝑥⁄∃ 𝑦 ⁄𝑥 +𝑦 = 0

12. Dadas las siguientes funciones proposicionales:

𝑃(𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙
𝑄 (𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜
𝑅 (𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑒𝑔𝑎𝑡𝑖𝑣𝑜
𝑆(𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 0
𝑇(𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑚𝑎𝑛𝑜𝑟 𝑞𝑢𝑒 0
a) A cada una, en forma particular, cuantificarla existencialmente en forma restringida
b) A cada una, en forma particular, cuantificarla universalmente en forma restringida
c) Combinarlas con las operaciones lógicas para expresar 5 proposiciones verdaderas