Trabajo Practico 1

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

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) [(𝑝 ∨ 𝑞 ) ∧ 𝑟] ⇒ 𝑠
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𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟
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)

𝑃 (𝑥 ): √𝑥 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

𝑃(𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙
𝑄 (𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜
𝑅 (𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑒𝑔𝑎𝑡𝑖𝑣𝑜
𝑆(𝑥 ): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 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

Trabajo Practico 1

Cargado por

Copyright:

Formatos disponibles

Trabajo Practico 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Trabajo Practico 1

Cargado por

Copyright:

Formatos disponibles

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, es decir lo estudiado de los

Resolver los siguientes ejercicios

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

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

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

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

i. Traducir las siguientes proposiciones compuestas

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

4. Para cada una de las siguientes proposiciones:

i. Indicar las proposiciones simples que la componen

b) p: Los paralelogramos tienen cuatro lados

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

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

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

Para profundizar lo aprendido en clase mirar el video publicado en

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

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

Para profundizar lo aprendido en clase mirar los videos publicados en

9. Dadas las siguientes funciones proposicionales:

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

10. Dadas las siguientes funciones proposicionales:

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

12. Dadas las siguientes funciones proposicionales:

También podría gustarte