Álgebra: Clase 3

Jhonattan Gaona

UPLA

1 de abril de 2016

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 1/1

Índice

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 2/1

Notación

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 3/1

Notación

Utilizaremos los sı́mbolos ”∀“ y ”∃“. Su uso lo detallaremos más adelante.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 3/1

Notación

Utilizaremos los sı́mbolos ”∀“ y ”∃“. Su uso lo detallaremos más adelante.

”∀“ se lee para todo, para cada, cualquiera sea.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 3/1

Notación

Utilizaremos los sı́mbolos ”∀“ y ”∃“. Su uso lo detallaremos más adelante.

”∀“ se lee para todo, para cada, cualquiera sea.
”∃“ se lee existe al menos uno, o hay al menos un, o simplemente existe o
hay.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 3/1

Notación

Utilizaremos los sı́mbolos ”∀“ y ”∃“. Su uso lo detallaremos más adelante.

”∀“ se lee para todo, para cada, cualquiera sea.
”∃“ se lee existe al menos uno, o hay al menos un, o simplemente existe o
hay.
Escribimos a ∈ A para indicar que el objeto a es un elemento del conjunto
A.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 3/1

Notación

Utilizaremos los sı́mbolos ”∀“ y ”∃“. Su uso lo detallaremos más adelante.

”∀“ se lee para todo, para cada, cualquiera sea.
”∃“ se lee existe al menos uno, o hay al menos un, o simplemente existe o
hay.
Escribimos a ∈ A para indicar que el objeto a es un elemento del conjunto
A.
Anotaremos además A 6= φ para indicar que A tiene al menos un elemento

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 3/1

Funciones proposicionales

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Funciones proposicionales

Definición

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Funciones proposicionales

Definición
Una función proposicional en la variable x es una expresión formal p(x) tal
que se tiene lo siguiente: Cada vez que se reemplaza la letra x por un
elemento a de un conjunto A previamente dado, resulta una proposición
p(a). Análogamente se define una función proposicional en las variables
x, y , z como una expresión formal p(x, y , z)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Funciones proposicionales

Definición
Una función proposicional en la variable x es una expresión formal p(x) tal
que se tiene lo siguiente: Cada vez que se reemplaza la letra x por un
elemento a de un conjunto A previamente dado, resulta una proposición
p(a). Análogamente se define una función proposicional en las variables
x, y , z como una expresión formal p(x, y , z)

Ejemplo

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Funciones proposicionales

Definición
Una función proposicional en la variable x es una expresión formal p(x) tal
que se tiene lo siguiente: Cada vez que se reemplaza la letra x por un
elemento a de un conjunto A previamente dado, resulta una proposición
p(a). Análogamente se define una función proposicional en las variables
x, y , z como una expresión formal p(x, y , z)

Ejemplo
Si el conjunto A = R y p(x) : 6 − x = 4, entonces

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Funciones proposicionales

Definición
Una función proposicional en la variable x es una expresión formal p(x) tal
que se tiene lo siguiente: Cada vez que se reemplaza la letra x por un
elemento a de un conjunto A previamente dado, resulta una proposición
p(a). Análogamente se define una función proposicional en las variables
x, y , z como una expresión formal p(x, y , z)

Ejemplo
Si el conjunto A = R y p(x) : 6 − x = 4, entonces
1 p(x) es una función proposicional,

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Funciones proposicionales

Definición
Una función proposicional en la variable x es una expresión formal p(x) tal
que se tiene lo siguiente: Cada vez que se reemplaza la letra x por un
elemento a de un conjunto A previamente dado, resulta una proposición
p(a). Análogamente se define una función proposicional en las variables
x, y , z como una expresión formal p(x, y , z)

Ejemplo
Si el conjunto A = R y p(x) : 6 − x = 4, entonces
1 p(x) es una función proposicional,
2 p(2) y p(0) son proposiciones.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 4/1

Cuantificador universal

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Cuantificador universal

Definición

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Cuantificador universal

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Cuantificador universal

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∀x ∈ A)p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Cuantificador universal

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∀x ∈ A)p(x)

es una proposición que significa que al reemplazar la variable x por

cualquier elemento a de A, p(a) resulta verdadera.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Cuantificador universal

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∀x ∈ A)p(x)

es una proposición que significa que al reemplazar la variable x por

cualquier elemento a de A, p(a) resulta verdadera.
La expresión (∀x ∈ A)p(x) se lee:

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Cuantificador universal

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∀x ∈ A)p(x)

es una proposición que significa que al reemplazar la variable x por

cualquier elemento a de A, p(a) resulta verdadera.
La expresión (∀x ∈ A)p(x) se lee:

para todo x en A se cumple p(x).

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 5/1

Ejemplo

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.
3
2 Si A es Q y q(x) : x es racional, entonces
(∀x ∈ A)q(x) es

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.
2 Si A es Q y q(x) : x3 es racional, entonces
(∀x ∈ A)q(x) es falsa.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.
2 Si A es Q y q(x) : x3 es racional, entonces
(∀x ∈ A)q(x) es falsa.
3 Si A es N y r (x) : (x + 2)2 = x 2 + 4x + 4, entonces
(∀x ∈ A)r (x) es

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.
2 Si A es Q y q(x) : x3 es racional, entonces
(∀x ∈ A)q(x) es falsa.
3 Si A es N y r (x) : (x + 2)2 = x 2 + 4x + 4, entonces
(∀x ∈ A)r (x) es verdadera.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.
2 Si A es Q y q(x) : x3 es racional, entonces
(∀x ∈ A)q(x) es falsa.
3 Si A es N y r (x) : (x + 2)2 = x 2 + 4x + 4, entonces
(∀x ∈ A)r (x) es verdadera.
4 Si A es ”El curso“ y t(x) : x tiene más de 16 años, entonces
(∀x ∈ A)t(x) es

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Ejemplo

Se tiene:
1 Si A es R y p(x) : 3 + x = 8, entonces
(∀x ∈ A)p(x) es falsa.
2 Si A es Q y q(x) : x3 es racional, entonces
(∀x ∈ A)q(x) es falsa.
3 Si A es N y r (x) : (x + 2)2 = x 2 + 4x + 4, entonces
(∀x ∈ A)r (x) es verdadera.
4 Si A es ”El curso“ y t(x) : x tiene más de 16 años, entonces
(∀x ∈ A)t(x) es verdadera.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 6/1

Cuantificador existencial

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Cuantificador existencial

Definición

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Cuantificador existencial

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Cuantificador existencial

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∃x ∈ A)p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Cuantificador existencial

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∃x ∈ A)p(x)

es una proposición que significa que al menos para un elemento a de A se

tiene que p(a) resulta verdadera.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Cuantificador existencial

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∃x ∈ A)p(x)

es una proposición que significa que al menos para un elemento a de A se

tiene que p(a) resulta verdadera.
La expresión (∃x ∈ A)p(x) se lee:

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Cuantificador existencial

Definición
Si p(x) es una función proposicional y A un conjunto, entonces la expresión

(∃x ∈ A)p(x)

es una proposición que significa que al menos para un elemento a de A se

tiene que p(a) resulta verdadera.
La expresión (∃x ∈ A)p(x) se lee:

existe x en A tal que se cumple p(x).

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 7/1

Ejemplo

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 8/1

Ejemplo

Si A = R, p(x) : 2 + x = 5, q(x) : x 2 = −1, entonces

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 8/1

Ejemplo

Si A = R, p(x) : 2 + x = 5, q(x) : x 2 = −1, entonces

1 (∃x ∈ A)p(x) es

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 8/1

Ejemplo

Si A = R, p(x) : 2 + x = 5, q(x) : x 2 = −1, entonces

1 (∃x ∈ A)p(x) es verdadera

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 8/1

Ejemplo

Si A = R, p(x) : 2 + x = 5, q(x) : x 2 = −1, entonces

1 (∃x ∈ A)p(x) es verdadera
2 (∃x ∈ A)q(x) es

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 8/1

Ejemplo

Si A = R, p(x) : 2 + x = 5, q(x) : x 2 = −1, entonces

1 (∃x ∈ A)p(x) es verdadera
2 (∃x ∈ A)q(x) es falsa

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 8/1

Negación de cuantificadores

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Negación de cuantificadores

La negación de la proposición ∀x ∈ A : p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Negación de cuantificadores

La negación de la proposición ∀x ∈ A : p(x)se denota por (∀x ∈ A)p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Negación de cuantificadores

La negación de la proposición ∀x ∈ A : p(x)se denota por (∀x ∈ A)p(x) y

es equivalente
∃x ∈ A : p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Negación de cuantificadores

La negación de la proposición ∀x ∈ A : p(x)se denota por (∀x ∈ A)p(x) y

es equivalente
∃x ∈ A : p(x)

La negación de la proposición ∃x ∈ A : p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Negación de cuantificadores

La negación de la proposición ∀x ∈ A : p(x)se denota por (∀x ∈ A)p(x) y

es equivalente
∃x ∈ A : p(x)

La negación de la proposición ∃x ∈ A : p(x) se denota por (∃x ∈ A)p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Negación de cuantificadores

La negación de la proposición ∀x ∈ A : p(x)se denota por (∀x ∈ A)p(x) y

es equivalente
∃x ∈ A : p(x)

La negación de la proposición ∃x ∈ A : p(x) se denota por (∃x ∈ A)p(x) y

es equivalente
∀x ∈ A : p(x)

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 9/1

Ejemplo

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 10 / 1

Ejemplo

Ejercicio 1
Sean A = {−1, 2, 3, 4, 1} y B = {1, π}.
Determinemos el valor de verdad de la afirmación

∃x ∈ A, ∀y ∈ B : x + y < y .

Justifique.

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 10 / 1

Hasta el jueves!!

Jhonattan Gaona (UPLA) Álgebra: Clase 3 1 de abril de 2016 11 / 1