Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1

Universidad Nacional de Salta 2025

RESOLUCIÓN -TRABAJO PRÁCTICO N° 1

LÓGICA – LENGUAJE MATEMÁTICO

ACTIVIDADES DE EJERCITACIÓN
1. Lea atentamente y luego responda:
a) Defina Proposición y Forma Proposicional, dando dos ejemplos de cada caso, uno
del contexto matemático y otro del contexto económico y social.
b) Defina proposición compuesta y de un ejemplo.
c) ¿Qué diferencia existe entre una proposición y una función proposicional?
d) ¿De qué forma se puede convertir una función proposicional en proposición?
a) Proposición: es un juicio declarativo del cual tiene sentido decir que es verdadero
(V) o falso (F)
O bien:
Toda oración respecto de la cual puede decidirse si es verdadera o falsa.
Ejemplos:
1) 5 es un número impar.
2) i. La economía es una ciencia social.
ii. Si la demanda aumenta, los ingresos de las empresas se incrementarán.
iii. La UNSa ofrece carreras de grado de modalidad presencial.
iv. Salta se ubica en el noroeste argentino.

Función proposicional en una variable o indeterminada x, es toda oración en la

cual figura x como sujeto.
1) x es divisor de 2.
2) i) x debe rendir examen final de Matemática I
ii) el impuesto aumentó.
iii) a es alumno de la Facultad y debe presentar la documentación para la
inscripción.
b) Una proposición es compuesta cuando se obtiene a partir de dos o más
proposiciones simples ligadas por los conectivos lógicos.
Un número es divisible por 5 si termina en 5 o en 0.
Salta y Tucumán son provincias de la Argentina.
c) nn
d) Asignando valores a la variable o usando los cuantificadores existrencial o universal
2. Señale si las siguientes oraciones son proposiciones. En caso afirmativo,
indique el valor de verdad. Luego, escríbalas en lenguaje simbólico e indique
su valor de verdad.

a) Ojalá llueva. No es b) 7< 3 Sí, Falsa

c) 9 es un número primo Sí, Falsa d) 𝑥 ≥ 0 No es

e) La contabilidad integra el sistema de f) Los libros de matemática.

información de una organización. Sí, No es
Verdadera
g) Mañana juega la selección. No es h) 3 es un número par o 2 es un
número impar Sí, Falsa
𝒑∨𝒒
p: 3 es un número par
q: 2 es un número impar
i) 24 es divisible por 4 y por 8. Sí, Verdadera j) −𝟐𝟐 ≤ 𝟎 Sí, Falsa
𝑟∧𝑠

MATEMÁTICA I 1
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

r: 24 es divisible por 4 𝑝: 𝐸𝑙 𝑜𝑝𝑢𝑒𝑠𝑡𝑜 𝑑𝑒 22 < 0

s: 24 es divisible por 8 𝑞: 𝐸𝑙 𝑜𝑝𝑢𝑒𝑠𝑡𝑜 𝑑𝑒 22 = 0
𝑝∨𝑞 𝑣(𝑝 ∨ 𝑞) = 𝑉

k) Un bien es un objeto material o inmaterial que l) 3 es mayor que 1 siempre

tiene valor. Sí, Verdadera que 2 sea mayor que 1.
𝑝: 𝑈𝑛 𝑏𝑖𝑒𝑛 𝑒𝑠 𝑢𝑛 𝑜𝑏𝑗𝑒𝑡𝑜 𝑚𝑎𝑡𝑒𝑟𝑖𝑎𝑙 𝑞𝑢𝑒 𝑡𝑖𝑒𝑛𝑒 𝑣𝑎𝑙𝑜𝑟 Sí, Verdadera
𝑞: 𝑈𝑛 𝑏𝑖𝑒𝑛 𝑒𝑠 𝑢𝑛 𝑜𝑏𝑗𝑒𝑡𝑜 𝑖𝑛𝑚𝑎𝑡𝑒𝑟𝑖𝑎𝑙 𝑞𝑢𝑒 𝑡𝑖𝑒𝑛𝑒 𝑣𝑎𝑙𝑜𝑟 𝒒: 𝟑 > 𝟏
𝑝∨𝑞 𝑣(𝑝 ∨ 𝑞) = 𝑉 𝒑: 𝟐 > 𝟏
𝑝⇒𝑞 𝑣(𝑝 ⇒ 𝑞) = 𝑉

m) Una condición necesaria y suficiente para n) 𝒙 > 𝟐, sólo sí 𝒙 − 𝟐 > 𝟎.

que una ecuación cuadrática tenga raíces Sí, Verdadera
reales es que su discriminante sea mayor ∀𝑥 ∈ 𝑅, 𝑥 > 2 ⟹ 𝑥 − 2 > 0
o igual que cero. Sí, Verdadera ∀𝑥 ∈ 𝑅, 𝑝(𝑥) ⟹ 𝑞(𝑥)
𝒑: 𝑬𝒍 𝒅𝒊𝒔𝒄𝒓𝒊𝒎𝒊𝒏𝒂𝒏𝒕𝒆 𝒅𝒆 𝒍𝒂 𝒆𝒄𝒖𝒂𝒄𝒊ó𝒏
𝒄𝒖𝒂𝒅𝒓á𝒕𝒊𝒄𝒂 𝒆𝒔 𝒎𝒂𝒚𝒐𝒓 𝒂 𝒄𝒆𝒓𝒐 𝑝(𝑥): 𝑥 > 2
𝒒: 𝑬𝒍 𝒅𝒊𝒔𝒄𝒓𝒊𝒎𝒊𝒏𝒂𝒏𝒕𝒆 𝒅𝒆 𝒍𝒂 𝒆𝒄𝒖𝒂𝒄𝒊ó𝒏 𝑞(𝑥): 𝑥 − 2 > 0
𝒄𝒖𝒂𝒅𝒓á𝒕𝒊𝒄𝒂 𝒆𝒔 𝒊𝒈𝒖𝒂𝒍 𝒂 𝒄𝒆𝒓𝒐
𝒓: 𝑳𝒂 𝒆𝒄𝒖𝒂𝒄𝒊ó𝒏 𝒄𝒖𝒂𝒅𝒓á𝒕𝒊𝒄𝒂 𝒕𝒊𝒆𝒏𝒆 𝒓𝒂í𝒄𝒆𝒔
𝒓𝒆𝒂𝒍𝒆𝒔
(𝑝 ∨ 𝑞) ⟺ 𝑟 𝑣[(𝑝 ∨ 𝑞) ⟺ 𝑟] = 𝑉

3. a) Determine si las siguientes proposiciones son Tautologías, Contingencias

o Contradicciones, empleando las tablas de verdad.
i. ~(𝑝 ⇔ 𝑞) ⟺ 𝑝 ∨ 𝑞 ii. [(𝑞 ⟹ 𝑟) ⟺ (∼ 𝑟 ⟹∼ 𝑞)]
𝐶𝑜𝑛𝑡𝑖𝑛𝑔𝑒𝑛𝑐𝑖𝑎 Tautología
iii. (𝑝 ∧∼ 𝑝) ∨ (𝑞 ∧∼ 𝑞) iv. (𝑝 ∧ 𝑞) ⟹ (𝑞 ∨ 𝑟)
Contradicción Tautología
v. [(𝑝 ⟹ 𝑞) ∧ (∼ 𝑝 ⟹ 𝑞)] ⟺ 𝑞 vi. (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑝 ∨ 𝑞)
Tautología Tautología
vii. ~(𝑟 ⟹ ~𝑠) ⟺ (𝑟 ∧ 𝑠) viii. [𝑚 ∨ (𝑠 ∧ 𝑡)] ⟹ [(𝑚 ∨ 𝑠) ∧ 𝑡]
Tautología 𝐶𝑜𝑛𝑡𝑖𝑛𝑔𝑒𝑛𝑐𝑖𝑎

b) Considerando las tautologías del punto anterior, identifique cuáles son

leyes lógicas
Son leyes lógicas:
[(𝒒 ⟹ 𝒓) ⟺ (∼ 𝒓 ⟹∼ 𝒒)]
(𝒑 ⟹ 𝒒) ⟺ (∼ 𝒑 ∨ 𝒒) y

~(𝑟 ⟹ ~𝑠) ⟺ (𝑟 ∧ 𝑠)
c) Demuestre las siguientes equivalencias usando leyes lógicas
i. [(𝒑 ∧ 𝒒) ⟹∼ 𝒓 ] ⟺ [~(𝒑 ∧ 𝒒) ∨ ~𝒓]
[(𝒑 ∧ 𝒒) ⟹∼ 𝒓 ] ⟺∼ {∼ [(𝒑 ∧ 𝒒) ⟹∼ 𝒓]} Por ley de involución
[(𝒑 ∧ 𝒒) ⟹∼ 𝒓 ] ⟺∼ [(𝒑 ∧ 𝒒) ∧ 𝒓] Por Negación de una implicancia
[(𝒑 ∧ 𝒒) ⟹∼ 𝒓 ] ⟺ [∼ (𝒑 ∧ 𝒒) ∨ ∼ 𝒓]Por ley de De Morgan
ii.[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺ [(𝒒 ∧ 𝒑) ⟹ 𝒓]
[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺∼ {∼ [𝒒 ⟹ (𝒑 ⟹ 𝒓)]} Por ley de involución
[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺∼ [𝒒 ∧ ∼ (𝒑 ⟹ 𝒓)] Por Negación de una implicancia
[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺∼ [𝒒 ∧ (𝒑 ∧ ∼ 𝒓)] Por Negación de una implicancia
[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺∼ [(𝒒 ∧ 𝒑) ∧∼ 𝒓] Por ley de Asociatividad
[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺ [∼ (𝒒 ∧ 𝒑) ∨ 𝒓] Por ley de De Morgan
[𝒒 ⟹ (𝒑 ⟹ 𝒓)] ⟺ [(𝒒 ∧ 𝒑) ⟹ 𝒓]Por equivalencia de implicancia

MATEMÁTICA I 2
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

d) Escriba en símbolos:
La negación de una 𝑝∧𝑞 ∼ 𝑝 ∨∼ 𝑞
conjunción
La negación de una 𝑝∨𝑞 ∼ 𝑝 ∧∼ 𝑞
disyunción
La negación de una 𝑝⟹𝑞 𝑝 ∧∼ 𝑞
implicación
La negación de una 𝑝⟺𝑞 Escriba aquí la ecuación.
doble implicación.

4. Responda las siguientes consignas, teniendo en cuenta las tablas de verdad

y analizando la información proporcionada:
a) Si el valor de verdad de [(~𝑝 ∧ 𝑞) ⇒ 𝑝] es falso, ¿Cuál es el valor de verdad de
𝑞?
𝑣[(~𝑝 ∧ 𝑞) ⇒ 𝑝] = 𝐹 Una implicación es falsa cuando el antecedente es verdadero y el
consecuente es falso
𝑣(~𝑝 ∧ 𝑞) = 𝑉
𝑣(∼ 𝑝 ) = 𝑉
𝑣(𝑞 ) = 𝑉
b) Si (𝑝 ∧∼ 𝑞) es verdadero, determine el valor de verdad de [(𝑝 ∧ 𝑞) ⇔ (𝑝 ∨ 𝑞)].
𝑣(𝑝 ∧∼ 𝑞 ) = 𝑉 Una conjunción es verdadera cuando ambas proposiciones que la conforman
son verdaderas.
𝑣(𝑝 ) = 𝑉
𝑣(∼ 𝑞 ) = 𝑉
𝑣(𝑞 ) = 𝐹
𝑣( 𝑝 ∧ 𝑞) = 𝐹
𝑣(𝑝 ∨ 𝑞 ) = 𝑉
𝑣[(𝑝 ∧ 𝑞) ⇔ (𝑝 ∨ 𝑞)] = 𝐹
c) Si el valor de verdad de (𝑝 ⇒ 𝑞)es verdadero, ¿puede determinar el valor de
verdad de [∼ 𝑝 ∨ (𝑝 ⇒ 𝑞)]?
𝑣(𝑝 ⇒ 𝑞) = 𝑉
Entonces, p no puede ser verdadero y q falso (porque la implicación sería falsa).
Observamos distintas alternativas:
Primera opción:
𝑣(𝑝) = 𝑉 𝑣(𝑞) = 𝑉 𝑣(∼ 𝑝) = 𝐹 𝑣[∼ 𝑝 ∨ (𝑝 ⇒ 𝑞)] = 𝑉
Segunda opción:
𝑣(𝑝) = 𝐹 𝑣(𝑞) = 𝑉 𝑣(∼ 𝑝) = 𝑉 𝑣[∼ 𝑝 ∨ (𝑝 ⇒ 𝑞)] = 𝑉
Tercera opción:
𝑣(𝑝) = 𝐹 𝑣(𝑞) = 𝐹 𝑣(∼ 𝑝) = 𝑉 𝑣[∼ 𝑝 ∨ (𝑝 ⇒ 𝑞)] = 𝑉
Por lo tanto, 𝑣[∼ 𝑝 ∨ (𝑝 ⇒ 𝑞)] = 𝑉

d) Cuando (∼ 𝑝 ∧∼ 𝑞) es verdadero ¿Cuál es el valor de verdad de [(𝑝 ∧ 𝑞) ⇔

(𝑝 ∨ 𝑞)]?
𝑣(∼ 𝑝 ∧∼ 𝑞 ) = 𝑉 Una conjunción es verdadera cuando ambas proposiciones que la
conforman son verdaderas.
𝑣(∼ 𝑝 ) = 𝑉
𝑣(∼ 𝑞 ) = 𝑉
𝑣(𝑞 ) = 𝐹
𝑣(𝑝 ) = 𝐹

MATEMÁTICA I 3
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

𝑣(𝑝 ∧ 𝑞) = 𝐹
𝑣(𝑝 ∨ 𝑞) = 𝐹
𝑣[(𝑝 ∧ 𝑞) ⟺ (𝑝 ∨ 𝑞)] = 𝑉

5. Dadas las siguientes implicaciones.

a) Represente simbólicamente la forma dada o directa.
b) Escriba las implicaciones asociadas en símbolos y en lenguaje
coloquial.
c) Determine la negación de cada una de las implicaciones asociadas.
i. Para todos los números enteros. Si x2 es par, x es par
ii. Todo número natural, si es impar es número primo.
iii. Dado que el mercado está en equilibrio, el exceso de demanda es
nulo.
iv. El número es dos, cuando el cuadrado es cuatro.
v. Los alumnos deberán asistir a las consultas presenciales, realizar
consultas a través de la plataforma y participar de los talleres, cuando
no logren entender un tema o resolver los ejercicios del trabajo
práctico.
vi. Para alcanzar la promoción de Matemática I, los alumnos deberán
aprobar cada uno de los parciales con un puntaje mayor o igual a 60.
SÍMBOLOS
Para todos los ∀𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝒁 ⟹ 𝒙 = 𝟐𝒉 𝒄𝒐𝒏 𝒉 ∈ 𝒁
números enteros.
Asociadas
C:∀𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟐𝒌 + 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝒁 ⟹ 𝒙 = 𝟐𝒉 + 𝟏 𝒄𝒐𝒏 𝒉 ∈ 𝒁
Si x2 es par, x es par
R:∀𝒙 ∈ 𝒁, 𝒙 = 𝟐𝒉 𝒄𝒐𝒏 𝒉 ∈ 𝒁 ⟹ 𝒙𝟐 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝒁
CR: ∀𝒙 ∈ 𝒁, 𝒙 = 𝟐𝒉 + 𝟏 𝒄𝒐𝒏 𝒉 ∈ 𝒁 ⟹ 𝒙𝟐 = 𝟐𝒌 + 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝒁
Negaciones
∼ 𝑫: ∃𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝒁 ∧ 𝒙 = 𝟐𝒉 + 𝟏 𝒄𝒐𝒏 𝒉 ∈ 𝒁
∼ 𝐶: ∃𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟐𝒌 + 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝒁 ∧ 𝒙 = 𝟐𝒉 𝒄𝒐𝒏 𝒉 ∈ 𝒁
∼ 𝑹:∃𝒙 ∈ 𝒁, 𝒙 = 𝟐𝒉 𝒄𝒐𝒏 𝒉 ∈ 𝒁 ∧ 𝒙𝟐 = 𝟐𝒌 + 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝒁
∼CR: ∃𝒙 ∈ 𝒁, 𝒙 = 𝟐𝒉 + 𝟏 𝒄𝒐𝒏 𝒉 ∈ 𝒁 ∧ 𝒙𝟐 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝒁

SÍMBOLOS
Todo número ∀𝒙 ∈ 𝑵, 𝒙 = 𝟐𝒌 − 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝑵 ⟹ 𝒙 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐
natural, si es
Asociadas
impar es número C:∀𝒙 ∈ 𝑵, 𝒙 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝑵 ⟹ 𝒙 𝒏𝒐 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐
primo. R:∀𝒙 ∈ 𝑵, 𝒙 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐 ⟹ 𝒙 = 𝟐𝒌 − 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝑵
CR: ∀𝒙 ∈ 𝑵, 𝒙 𝑛𝑜 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐 ⟹ 𝒙 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝑵
Negaciones
∼ 𝑫: ∃𝒙 ∈ 𝑵, 𝒙 = 𝟐𝒌 − 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝑵 ∧ 𝒙 𝒏𝒐 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐
∼ 𝐶: ∃𝒙 ∈ 𝑵, 𝒙 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝑵 ∧ 𝒙 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐
∼ 𝑹:∃𝒙 ∈ 𝑵, 𝒙 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐 ∧ 𝒙 = 𝟐𝒌 𝒄𝒐𝒏 𝒌 ∈ 𝑵
∼CR: ∃𝒙 ∈ 𝑵, 𝒙 𝑛𝑜 𝒆𝒔 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐 ∧ 𝒙 = 𝟐𝒌 − 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝑵
SÍMBOLOS
Dado que el 𝒑⟹𝒒
mercado está en 𝑝: 𝑒𝑙 𝑚𝑒𝑟𝑐𝑎𝑑𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑒𝑞𝑢𝑖𝑙𝑖𝑏𝑟𝑖𝑜
𝑞: 𝑒𝑙 𝑒𝑥𝑐𝑒𝑠𝑜 𝑑𝑒 𝑑𝑒𝑚𝑎𝑛𝑑𝑎 𝑒𝑠 𝑛𝑢𝑙𝑜.

MATEMÁTICA I 4
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

equilibrio, el Asociadas
exceso de C:~𝒑 ⟹ ~𝒒
demanda es R: 𝒒 ⟹ 𝒑
nulo. CR: ~𝒒 ⟹ ~𝒑
Negaciones
∼ 𝑫: 𝒑 ∧ ~𝒒
∼ 𝐶: ~𝒑 ∧ 𝒒
∼ 𝑹:𝒒 ∧ ~𝒑
∼CR: ~𝒒 ∧ 𝒑

SÍMBOLOS
El número es ∀𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟒 ⟹ 𝒙 = 𝟐
dos, cuando el
Asociadas
cuadrado es D: ∀𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟒 ⟹ 𝒙 = 𝟐
cuatro. R:∀𝒙 ∈ 𝒁, 𝒙 = 𝟐 ⟹ 𝒙𝟐 = 𝟒
C:∀𝒙 ∈ 𝒁, 𝒙𝟐 ≠ 𝟒 ⟹ 𝒙 ≠ 𝟐
CR: ∀𝒙 ∈ 𝒁, 𝒙 ≠ 𝟐 ⟹ 𝒙𝟐 ≠ 4
Negaciones
~D: ∃𝒙 ∈ 𝒁, 𝒙𝟐 = 𝟒 ∧ 𝒙 ≠ 𝟐
~R:∃𝒙 ∈ 𝒁, 𝒙 = 𝟐 ∧ 𝒙𝟐 ≠ 𝟒
~C:∃𝒙 ∈ 𝒁, 𝒙𝟐 ≠ 𝟒 ∧ 𝒙 = 𝟐
~CR: ∃𝒙 ∈ 𝒁, 𝒙 ≠ 𝟐 ∧ 𝒙𝟐 = 4

SÍMBOLOS
Los alumnos ∀𝒙 ∈ 𝑨, [∼ 𝒑(𝒙) ∨∼ 𝒓(𝒙)] ⟹ [𝒔(𝒙) ∧ 𝒕(𝒙) ∧ 𝒎(𝒙)]
deberán asistir a 𝐴 = {𝑥/ 𝑥 𝑒𝑠 𝑢𝑛 𝑎𝑙𝑢𝑚𝑛𝑜}
𝑝(𝑥): 𝑥 𝑙𝑜𝑔𝑟𝑎 𝑒𝑛𝑡𝑒𝑛𝑑𝑒𝑟 𝑢𝑛 𝑡𝑒𝑚𝑎
las consultas 𝑟(𝑥): 𝑥 𝑙𝑜𝑔𝑟𝑎 𝑟𝑒𝑠𝑜𝑙𝑣𝑒𝑟 𝑙𝑜𝑠 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖𝑜𝑠 𝑑𝑒𝑙 𝑡𝑟𝑎𝑏𝑎𝑗𝑜 𝑝𝑟á𝑐𝑡𝑖𝑐𝑜
presenciales, 𝑠(𝑥): 𝑥 𝑑𝑒𝑏𝑒𝑟á 𝑎𝑠𝑖𝑠𝑡𝑖𝑟 𝑎 𝑙𝑎𝑠 𝑐𝑜𝑛𝑠𝑢𝑙𝑡𝑎𝑠 𝑝𝑟𝑒𝑠𝑒𝑛𝑐𝑖𝑎𝑙𝑒𝑠
realizar consultas 𝑡(𝑥): 𝑥 𝑑𝑒𝑏𝑒𝑟á 𝑟𝑒𝑎𝑙𝑖𝑧𝑎𝑟 𝑐𝑜𝑛𝑠𝑢𝑙𝑡𝑎𝑠 𝑎 𝑡𝑟𝑎𝑣é𝑠 𝑑𝑒 𝑙𝑎 𝑝𝑙𝑎𝑡𝑎𝑓𝑜𝑟𝑚𝑎
a través de la 𝑚(𝑥): 𝑥 𝑑𝑒𝑏𝑒𝑟á 𝑝𝑎𝑟𝑡𝑖𝑐𝑖𝑝𝑎𝑟 𝑑𝑒 𝑙𝑜𝑠 𝑡𝑎𝑙𝑙𝑒𝑟𝑒𝑠
plataforma y Asociadas
participar de los C:∀𝒙 ∈ 𝑨, [𝒑(𝒙) ∧ 𝒓(𝒙)] ⟹ [∼ 𝒔(𝒙) ∨∼ 𝒕(𝒙) ∨∼ 𝒎(𝒙)]
R:∀𝒙 ∈ 𝑨, [𝒔(𝒙) ∧ 𝒕(𝒙) ∧ 𝒎(𝒙)] ⟹ [∼ 𝒑(𝒙) ∨∼ 𝒓(𝒙)]
talleres, cuando
CR: ∀𝒙 ∈ 𝑨, [∼ 𝒔(𝒙) ∨∼ 𝒕(𝒙) ∨∼ 𝒎(𝒙)] ⟹ [𝒑(𝒙) ∧ 𝒓(𝒙)]
no logren
entender un Negaciones
∼ 𝑫: ∃𝑥 ∈ 𝐴, [∼ 𝑝(𝑥) ∨∼ 𝑟(𝑥)] ∧ [∼ 𝒔(𝒙) ∨∼ 𝒕(𝒙) ∨∼ 𝒎(𝒙)]
tema o resolver ∼ 𝐶: ∃𝑥 ∈ 𝐴, [𝑝(𝑥) ∧ 𝑟(𝑥)] ∧ [𝑠(𝑥) ∧ 𝑡(𝑥) ∧ 𝑚(𝑥)]
los ejercicios del ∼ 𝑹: ∃𝑥 ∈ 𝐴, [𝑠(𝑥) ∧ 𝑡(𝑥) ∧ 𝑚(𝑥)] ∧ [𝑝(𝑥) ∧ 𝑟(𝑥)]
trabajo práctico. ∼CR: ∃𝒙 ∈ 𝑨, [∼ 𝒔(𝒙) ∨∼ 𝒕(𝒙) ∨∼ 𝒎(𝒙)] ∧ [∼ 𝑝(𝑥) ∨∼ 𝑟(𝑥)]

SÍMBOLOS
Para ∀𝒙 ∈ 𝑨, [𝒑(𝒙) ∨ 𝒓(𝒙)] ⟹ [𝒔(𝒙)]
alcanzar la 𝐴 = {𝑥/ 𝑥 𝑒𝑠 𝑢𝑛 𝑎𝑙𝑢𝑚𝑛𝑜}
𝑝(𝑥): 𝑥 𝑎𝑝𝑟𝑢𝑒𝑏𝑎 𝑐𝑎𝑑𝑎 𝑢𝑛𝑜 𝑑𝑒 𝑙𝑜𝑠 𝑝𝑎𝑟𝑐𝑖𝑎𝑙𝑒𝑠 𝑐𝑜𝑛 𝑢𝑛 𝑝𝑢𝑛𝑡𝑎𝑗𝑒 𝑑𝑒 60
promoción 𝑟(𝑥): 𝑥 𝑎𝑝𝑟𝑢𝑒𝑏𝑎 𝑐𝑎𝑑𝑎 𝑢𝑛𝑜 𝑑𝑒 𝑙𝑜𝑠 𝑝𝑎𝑟𝑐𝑖𝑎𝑙𝑒𝑠 𝑐𝑜𝑛 𝑐𝑜𝑛 𝑝𝑢𝑛𝑡𝑎𝑗𝑒 𝑚𝑎𝑦𝑜𝑟 𝑎 60
de 𝑠(𝑥): 𝑥 𝑎𝑙𝑐𝑎𝑛𝑧𝑎 𝑙𝑎 𝑝𝑟𝑜𝑚𝑜𝑐𝑖ó𝑛 𝑒𝑚 𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎 𝐼
Matemática Asociadas
I, los D: ∀𝒙 ∈ 𝑨, [𝒑(𝒙) ∨ 𝒓(𝒙)] ⟹ [𝒔(𝒙)]

MATEMÁTICA I 5
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

alumnos R: ∀𝒙 ∈ 𝑨, [𝒔(𝒙)] ⟹ [𝒑(𝒙) ∨ 𝒓(𝒙)]

deberán C: ∀𝒙 ∈ 𝑨, ~[𝒑(𝒙) ∨ 𝒓(𝒙)] ⟹ [~𝒔(𝒙)]
CR: ∀𝒙 ∈ 𝑨, [~𝒔(𝒙)] ⟹ ~[𝒑(𝒙) ∨ 𝒓(𝒙)]
aprobar
CR: ∀𝒙 ∈ 𝑨, [~𝒔(𝒙)] ⟹ [~𝒑(𝒙) ∧ ~𝒓(𝒙)]
cada uno
Negaciones
de los
∼ 𝑫: ∃𝒙 ∈ 𝑨, [𝒑(𝒙) ∨ 𝒓(𝒙)] ∧ [~𝒔(𝒙)]
parciales ∼ 𝐶: ∃𝒙 ∈ 𝑨, ~[𝒑(𝒙) ∨ 𝒓(𝒙)] ∧ [𝒔(𝒙)]
con un ∼ 𝑹: ∃𝒙 ∈ 𝑨, [𝒔(𝒙)] ∧ ~[𝒑(𝒙) ∨ 𝒓(𝒙)]
puntaje ∼CR: ∃𝒙 ∈ 𝑨, [~𝒔(𝒙)] ∧ [𝒑(𝒙) ∨ 𝒓(𝒙)]
mayor o
igual a 60.

6. Demuestre o refute según el valor de verdad de la proposición dada:

a) ∀ 𝒙, 𝒚 𝝐 𝑹, 𝒙 + 𝒚 = 𝟏
b) ∀ 𝒙, 𝒚 𝝐 𝑹, 𝒙 > 𝟐 ⟹ 𝒙 > 𝟎
c) ∀ 𝒙 𝝐 𝒁, 𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 ⟹ 𝟑𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓
d) ∀ 𝒙 𝝐 𝒁, 𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 ⟹ 𝟐𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓
e) ∃𝒙, 𝒚 ∈ 𝑵, 𝒙𝒚 𝒆𝒔 𝒎𝒖𝒍𝒕𝒊𝒑𝒍𝒐 𝒅𝒆 𝟔
f) ∃ 𝒙, 𝒚 𝝐 𝑹, 𝒙 + 𝒚 = 𝟏

∀ 𝒙, 𝒚 𝝐 𝑹, 𝒙 + 𝒚 = 𝟏 ∃ 𝒙 = 𝟏, 𝒚 = 𝟐 𝝐 𝑹, 𝒙 + 𝒚 = 𝟏 + 𝟐 ≠ 𝟏
FALSO
∀ 𝒙, 𝒚 𝝐 𝑹, 𝒙 > 𝟐 ⟹ 𝒙 > 𝟎 ∀ 𝒙, 𝒚 𝝐 𝑹, 𝒙 > 𝟐 ∧ 2 > 0
VERDADERO 𝒑𝒐𝒓 𝒑𝒓𝒐𝒑𝒊𝒆𝒅𝒂𝒅 𝒕𝒓𝒂𝒏𝒔𝒊𝒕𝒊𝒗𝒂
𝒙>𝟎

∀ 𝒙 𝝐 𝒁, 𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 ⟹ 𝟑𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 𝑯𝒊𝒑𝒐𝒕𝒆𝒔𝒊𝒔) 𝒙 = 𝟐𝒌 + 𝟏 𝒄𝒐𝒏 𝒌 ∈ 𝒁

VERDADERO 𝑻𝒆𝒔𝒊𝒔) 𝟑𝒙 = 𝟐𝒉 + 𝟏 𝒄𝒐𝒏 𝒉 ∈ 𝒁
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑐𝑖ó𝑛) 3𝑥 = 3(2𝑘 + 1)
3𝑥 = 2(3𝑘 + 1) + 1
3𝑥 = 2ℎ + 1 𝑐𝑜𝑛 ℎ = (3𝑘 + 1)
∴ (𝑃𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜) 3𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
∀ 𝒙 𝝐 𝒁, 𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 ⟹ 𝟐𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 ∃ 𝒙 𝝐 𝒁, 𝒙 = 𝟓 ∧ 𝟐𝒙 = 𝟏𝟎 𝒏𝒐 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓
FALSO
∃𝒙, 𝒚 ∈ 𝑵, 𝒙𝒚 𝒆𝒔 𝒎𝒖𝒍𝒕𝒊𝒑𝒍𝒐 𝒅𝒆 𝟔 ∃𝑥 = 6, 𝑦 = 3 ∈ 𝑁, 𝑥𝑦 = 18 𝑒𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 6
VERDADERO
∃ 𝒙, 𝒚 𝝐 𝑹, 𝒙 + 𝒚 = 𝟏 𝟐 𝟏 𝟐 𝟏
∃𝒙= , 𝒚 = 𝝐 𝑹, 𝒙 + 𝒚 = + = 𝟏
VERDADERO 𝟑 𝟑 𝟑 𝟑

7. Dadas las siguientes afirmaciones:

i. Traduzca a lenguaje simbólico o coloquial según corresponda.
ii. Indique si son verdaderas o falsas, justifique considerando lo aportado
por el siguiente cuadro

MATEMÁTICA I 6
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

Considerando la proposición propuesta y el valor de verdad

determinado, tenga en cuenta que:
A. Si la afirmación es verdadera y está cuantificada universalmente
debe usar propiedades y teoremas para demostrar.
B. Si la implicación es verdadera y está cuantificada universalmente,
puede realizar una demostración utilizando los métodos directo o
indirecto en forma general (no son únicos); si fuera falsa debe
presentar un contraejemplo para demostrar su falsedad.
C. Si la afirmación o implicación es verdadera y está cuantificada con el
cuantificador existencial alcanza con presentar un caso particular
que verifique dicha aseveración.
D. Si la afirmación o implicación es falsa y está cuantificada con el
cuantificador existencial debe justificar o demostrar

a) Algunos números enteros son pares.

b) Todos los números enteros son pares.
c) ∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑦 𝑏 𝑒𝑠 𝑝𝑎𝑟 ⟹ 𝑎𝑏 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
d) ∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 𝑦 𝑏 𝑠𝑜𝑛 𝑖𝑚𝑝𝑎𝑟𝑒𝑠, solo sí 𝑎 + 𝑏 𝑒𝑠 𝑝𝑎𝑟
e) ∀ 𝑥, 𝑦 ∈ 𝑍, 𝑥 𝑒 𝑦 𝑠𝑜𝑛 múltiplos 𝑑𝑒 3, 𝑥 − 𝑦 𝑒𝑠 múltiplo 𝑑𝑒 3
f) Si el cuadrado de un número entero es impar, el número es impar.
g) ∀ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 es racional
h) ∃ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 es racional
i) Ningún número irracional es solución de una ecuación lineal.
j) Ningún número racional es real.
k) Si 𝑥 es múltiplo de 2, 𝑥 2 es múltiplo de 4.
l) ∃ 𝑦 ∈ 𝑅, 2𝑦 2 + 18 = 12
m) ∃ 𝑏 ∈ 𝑍, 𝑏 + 5 = 2
n) ∀ 𝑏 ∈ 𝑍, 𝑏 + 5 = 2
o) ∃ 𝑏 ∈ 𝑍, 𝑏 2 − 5 = 2
p) Un número es par, sólo sí su cuadrado es par.
q) ∀ 𝑥, 𝑦 ∈ R, 𝑥. 𝑦 > 0 ⟹ [𝑥 > 0 ∧ 𝑦 > 0]

Traducción
Algunos números enteros son ∃ 𝑥 ∈ 𝑍, 𝑥 = 2𝑡 𝑐𝑜𝑛 𝑡 ∈ 𝑍
pares.
Todos los números enteros son ∀ 𝑥 ∈ 𝑍, 𝑥 = 2𝑡 , 𝑡 ∈ 𝑍
pares.
∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑦 𝑏 𝑒𝑠 𝑝𝑎𝑟 ⟹ ∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 = 2𝑡 − 1, 𝑡 ∈ 𝑁 ∧
𝑎𝑏 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑏 = 2ℎ , ℎ ∈ 𝑁 ⟹ 𝑎𝑏 = 2𝑘 − 1 , 𝑘 ∈ 𝑁
∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 𝑦 𝑏 𝑠𝑜𝑛 𝑖𝑚𝑝𝑎𝑟𝑒𝑠, solo sí ∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 = 2𝑡 − 1 , 𝑡 ∈ 𝑁 ∧
𝑎 + 𝑏 𝑒𝑠 𝑝𝑎𝑟 𝑏 = 2ℎ − 1 , ℎ ∈ 𝑁 ⟹ 𝑎 + 𝑏 = 2𝑘 , 𝑘 ∈ 𝑁
∀ 𝑥, 𝑦 ∈ 𝑍, 𝑥 𝑒 𝑦 𝑠𝑜𝑛 múltiplos 𝑑𝑒 3, 𝑥 ∀ 𝑥, 𝑦 ∈ 𝑍, 𝑥 = 3𝑘 , 𝑘 ∈ 𝑍 ∧ 𝑦 = 3𝑝, 𝑝 ∈ 𝑍
− 𝑦 𝑒𝑠 múltiplo 𝑑𝑒 3 ⟹ 𝑥 − 𝑦 = 3𝑚, 𝑚 ∈ 𝑍
Si el cuadrado de un número entero es ∀ 𝑥 ∈ 𝑍, 𝑥 2 = 2𝑡 + 1 , 𝑡 ∈ 𝑍 ⟹ 𝑥 = 2𝑚 + 1, 𝑚 ∈ 𝑍
impar, el número es impar.
∀ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 es racional ∀ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 ∈ 𝑄

MATEMÁTICA I 7
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

∃ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 es racional ∃ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 ∈ 𝑄
Ningún número irracional es solución ∀ 𝑥 ∈ 𝐼, ~(𝑎𝑥 = 𝑏) 𝑐𝑜𝑛 𝑎, 𝑏 ∈ 𝑅
de una ecuación lineal. ∀ 𝑥 ∈ 𝐼, 𝑎𝑥 ≠ 𝑏 𝑐𝑜𝑛 𝑎, 𝑏 ∈ 𝑅
Ningún número racional es real. ∀ 𝑥 ∈ 𝑄, 𝑥 𝑛𝑜 𝑒𝑠 𝑛ú𝑚𝑒𝑟𝑜 𝑟𝑒𝑎𝑙
Si 𝑥 es múltiplo de 2, 𝑥 2 es múltiplo ∀ 𝑥 ∈ 𝑍, 𝑥 = 2𝑘, 𝑘 ∈ 𝑍 ⟹ 𝑥 2 = 4𝑡 , 𝑡 ∈ 𝑍
de 4.
∃ 𝑦 ∈ 𝑅, 2𝑦 2 + 18 = 12 ∃𝑦 ∈ 𝑅, 2𝑦 2 + 18 = 12
∃ 𝑏 ∈ 𝑍, 𝑏 + 5 = 2 ∃𝑏 ∈ 𝑍, 𝑏 + 5 = 2
∀ 𝑏 ∈ 𝑍, 𝑏 + 5 = 2 ∀𝑏 ∈ 𝑍, 𝑏 + 5 = 2
∃ 𝑏 ∈ 𝑍, 𝑏 2 − 5 = 2 ∃𝑏 ∈ 𝑍, 𝑏 2 − 5 = 2
Un número es par, sólo sí su ∀ 𝑥 ∈ 𝑍, 𝑥 = 2𝑘, 𝑘 ∈ 𝑍 ⟹ 𝑥 2 = 2𝑡 , 𝑡 ∈ 𝑍
cuadrado es par.

Valor de verdad y justificación

Algunos números enteros son pares. VERDADERO
∃ 𝑥 ∈ 𝑍, 𝑥 = −4 𝑒𝑠 𝑝𝑎𝑟
Todos los números enteros son pares. FALSO
∃ 𝑥 ∈ 𝑍, 𝑥 = 3 𝑛𝑜 𝑒𝑠 𝑝𝑎𝑟
∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑦 𝑏 𝑒𝑠 𝑝𝑎𝑟 ⟹ 𝑎𝑏 FALSO
𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 ∃ 𝑎, 𝑏 ∈ 𝑁, 𝑎 = 3 ∧
𝑏 = 4 ∧ 𝑎𝑏 = 3.4 = 12 𝑛𝑜 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
∀ 𝑎, 𝑏 ∈ 𝑁, 𝑎 𝑦 𝑏 𝑠𝑜𝑛 𝑖𝑚𝑝𝑎𝑟𝑒𝑠, solo sí 𝑎 VERDADERO
+ 𝑏 𝑒𝑠 𝑝𝑎𝑟
𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠) 𝑎 = 2𝑡 − 1 , 𝑡 ∈ 𝑁 ∧
𝑏 = 2ℎ − 1 , ℎ ∈ 𝑁
𝑇𝑒𝑠𝑖𝑠) 𝑎 + 𝑏 = 2𝑘 , 𝑘 ∈ 𝑁
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑐𝑖ó𝑛)
𝑎 + 𝑏 = (2𝑡 − 1) + 2ℎ − 1)
𝑎 + 𝑏 = 2(𝑡 + ℎ − 1)
𝑎 + 𝑏 = 2𝑘 𝑐𝑜𝑛 𝑘 = 𝑡 + ℎ − 1 ∈ 𝑍
∴ 𝑎 + 𝑏 𝑒𝑠 𝑝𝑎𝑟
∀ 𝑥, 𝑦 ∈ 𝑍, 𝑥 𝑒 𝑦 𝑠𝑜𝑛 múltiplos 𝑑𝑒 3, 𝑥 − 𝑦 VERDADERO
𝑒𝑠 múltiplo 𝑑𝑒 3
𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠) 𝑥 = 3𝑘 , 𝑘 ∈ 𝑍 ∧ 𝑦 = 3𝑝, 𝑝 ∈ 𝑍
𝑇𝑒𝑠𝑖𝑠) 𝑥 − 𝑦 = 3𝑚, 𝑚 ∈ 𝑍
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑐𝑖ó𝑛)
𝑥 − 𝑦 = 3𝑘 − 3𝑝
𝑥 − 𝑦 = 3(𝑘 − 𝑝)
𝑥 − 𝑦 = 3𝑚 𝑐𝑜𝑛 𝑚 = 𝑘 − 𝑝 ∈ 𝑍
∴ 𝑥 − 𝑦 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 3
Si el cuadrado de un número entero es VERDADERO
impar, el número es impar.
∀ 𝑥 ∈ 𝑍, 𝑥 2 = 2𝑡 + 1 , 𝑡 ∈ 𝑍 ⟹ 𝑥 = 2𝑚 + 1, 𝑚
∈𝑍
Usamos el método indirecto, es decir
demostramos la contrarrecíproca de la
implicación dada (son equivalentes)
𝐶𝑅: ∀ 𝑥 ∈ 𝑍, 𝑥 = 2𝑚, 𝑚 ∈ 𝑍 ⟹ 𝑥 2 = 2𝑡 , 𝑡 ∈ 𝑍
𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠) 𝑥 = 2𝑚, 𝑚 ∈ 𝑍
𝑇𝑒𝑠𝑖𝑠) 𝑥 2 = 2𝑡 , 𝑡 ∈ 𝑍
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑐𝑖ó𝑛)
𝑥 = 2𝑚, 𝑚 ∈ 𝑍
𝑥 2 = 𝑥. 𝑥

MATEMÁTICA I 8
 Facultad de Ciencias Económicas, Jurídicas y Sociales SOLUCIONES DEL T P Nº 1
Universidad Nacional de Salta 2025

𝑥 2 = 2𝑚2𝑚, 𝑚 ∈ 𝑍
𝑥 2 = 2(2𝑚2 ), 𝑚 ∈ 𝑍
2
𝑥 = 2𝑡, 𝑡 = 2𝑚2 ∈ 𝑍
∴ 𝑥 𝑎𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑒𝑠 𝑝𝑎𝑟
Si la contrarrecíproca es verdadera ,
también lo es la directa o dada
∀ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 es racional FALSO
∃ 𝑥 = √2, 𝑦 = 1 𝜖 𝑅, 𝑥 + 𝑦 = √2 + 1 ∉ 𝑄
∃ 𝑥, 𝑦 𝜖 𝑅, 𝑥 + 𝑦 es racional VERDADERO
∃ 𝑥 = 1, 𝑦 = 2 𝜖 𝑅, 𝑥 + 𝑦 = 1 + 2 ∈ 𝑄
Ningún número irracional es solución de FALSO
una ecuación lineal. √2𝑥 = 2 𝑡𝑖𝑒𝑛𝑒 𝑝𝑜𝑟 𝑠𝑜𝑙𝑢𝑐𝑖ó𝑛 𝑥 = √2 ∈ 𝐼
Ningún número racional es real. FALSO
1 1
∃𝑥 = ∈ 𝑄𝑦 𝑥 = ∈ 𝑅
2 2
Si 𝑥 es múltiplo de 2, 𝑥 2 es múltiplo de 4. VERDADERO
∀ 𝑥 ∈ 𝑍, 𝑥 = 2𝑘, 𝑘 ∈ 𝑍 ⟹ 𝑥 2 = 4𝑡 , 𝑡 ∈ 𝑍
𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠) 𝑥 = 2𝑘, 𝑘 ∈ 𝑍
𝑇𝑒𝑠𝑖𝑠) 𝑥 2 = 4𝑡 , 𝑡 ∈ 𝑍
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑐𝑖ó𝑛)
𝑥 = 2𝑘 , 𝑘 ∈ 𝑍
𝑥 2 = 𝑥. 𝑥
2
𝑥 = (2𝑘)(2𝑘), 𝑘 ∈ 𝑍
𝑥 2 = 4𝑘 2 , 𝑘 ∈ 𝑍
∴ 𝑥 𝑎𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑒𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 4

∃ 𝑦 ∈ 𝑅, 2𝑦 2 + 18 = 12 FALSO
2𝑦 2 + 18 = 12
𝑦 2 = −3
𝑺 = ∅ 𝒆𝒏 𝑹
∃ 𝑏 ∈ 𝑍, 𝑏 + 5 = 2 VERDADERO
∃ 𝑏=-3 ∈ 𝑍, 𝑏 + 5 = 2
∀ 𝑏 ∈ 𝑍, 𝑏 + 5 = 2 FALSO
∃𝑏=0 ∈ 𝑍, 𝑏 + 5 ≠ 2
∃ 𝑏 ∈ 𝑍, 𝑏 2 − 5 = 2 FALSO
𝑏2 − 5 = 2
𝑺 = {±√𝟕}
Un número es par, sólo sí su cuadrado VERDADERO
es par. ∀ 𝑥 ∈ 𝑍, 𝑥 = 2𝑘, 𝑘 ∈ 𝑍 ⟹ 𝑥 2 = 2𝑡 , 𝑡 ∈ 𝑍
𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠) 𝑥 = 2𝑘, 𝑘 ∈ 𝑍
𝑇𝑒𝑠𝑖𝑠) 𝑥 2 = 2𝑡 , 𝑡 ∈ 𝑍
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑐𝑖ó𝑛)
𝑥 = 2𝑘 , 𝑘 ∈ 𝑍
𝑥 2 = 𝑥. 𝑥
2
𝑥 = (2𝑘)(2𝑘), 𝑘 ∈ 𝑍
𝑥 2 = 2(2𝑘 2 ), 𝑘 ∈ 𝑍
𝑥 = 2𝑡 𝑐𝑜𝑛 𝑡 = 2𝑘 2 , 𝑡 ∈ 𝑍
2

∴ 𝑥 𝑎𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑒𝑠 𝑝𝑎𝑟

Prof. Graciela Méndez, Lic. Lorena Martínez Benicio

MATEMÁTICA I 9