ÁLGEBRA

CLASE 04: CUANTIFICADORES

DOCENTE: PAULA ARÁNGUIZ P.ARANGUIZ@UDD.CL +569ÁLGEBRA

8405 3312
LINEAL
 LEYES DE LÓGICA PROPOSICIONAL
DENOMINACIÓN REPRESENTACIÓN LÓGICA
Leyes equipotenciales pvp p pʌp p
Leyes asociativas (p v q) v r→ p v (q v r) (p ʌ q) ʌ r p ʌ (q ʌ r)
Leyes conmutativas pvq qvp pʌq qʌp
Leyes distributivas p v (q ʌ r) (p v q) ʌ (p v r) p ʌ (q v r) (p ʌ q) v (p ʌ r)
Leyes de absorción p ʌ (p v q) p p v (p ʌ q) p
Leyes de identidad (p v F) p (p ʌ F) F
(p v V) V (p ʌ V) P
Leyes complementarias (p v ~ p) V (p ʌ ~ p) F
~~ p p ~V F, ~ F V

Leyes de Morgan ~ (p v q) ~ p ʌ ~q ~ (p ʌ q) ~pv~q

Leyes condicionales (p → q) (~ p v q) (p → q) ~ (p ʌ ~ q)
Leyes bicondicionales (p q) ((p → q) ʌ (q → p))
(p q) ((~p ʌ ~q) v (p ʌ q))
 EJEMPLO

Sean 𝑎, 𝑏 proposiciones. Pruebe, sin usar tabla de verdad, que la

siguiente proposición es una tautología:
𝑎 → 𝑏 ∧ 𝑎 →𝑏
 EJEMPLO

Sean 𝑝, 𝑞, 𝑟 proposiciones. Pruebe, sin usar tabla de verdad, que la

siguiente proposición es una tautología:

𝑝 → 𝑞 ∧ 𝑝 → 𝑠 → 𝑝 → 𝑠
 EJEMPLO

Sean 𝑝, 𝑞, 𝑟 proposiciones. Pruebe, sin usar tabla de verdad, que la

siguiente proposición es una tautología:

𝑝 → ¬𝑞 ∧ ~𝑝 ∨ 𝑞 ∧ 𝑟 → ¬𝑝
 EJEMPLO

Sean 𝑎, 𝑏, 𝑐, 𝑑 proposiciones. Pruebe, sin usar tabla de verdad,

que la siguiente proposición es una tautología:

𝑎 → 𝑏 ∧ ¬𝑑 → ¬𝑐 → ¬𝑎 ∨ ¬𝑐 ∨ 𝑏 ∧ 𝑑
 FUNCIÓN PROPOSICIONAL
Las proposiciones pueden combinarse para expresar conceptos más
complejos. Si una proposición da solo una información se denomina
simple; en cambio sí proporciona más de una información se
denomina compuesta.
Si en una proposición el sujeto está dado de forma simbólica y puede
ser reemplazado por alguno de elementos de un conjunto dado con
anterioridad, hablamos de una función proposicional.

𝑝 𝑥 ∶ 𝑥 es un número natural 𝑥 ∈ ℕ

Si 𝑥 = 2 “2 es número natural” es V
Si 𝑥 = 0,7 “0,7 es número natural” es F

El conjunto al que pertenece la variable se le denomina dominio o

universo de la función proposicional
 CUANTIFICADORES
Los cuantificadores son símbolos matemáticos; que permiten
construir proposiciones a partir de funciones proposicionales ya sea
particularizando o generalizando.

Sea la función proposicional:

𝑝 𝑥 : 𝑥 en ℝ es mayor que cero

Se puede particularizar esto diciendo: “Existe un número real que

es mayor que 0”, o generalizarlo diciendo “Todos los números
reales son mayores que 0”.

Nótese que tanto en la particularización como en la generalización

se especifica un conjunto en donde toma valores la variable, en este
ejemplo el conjunto son los números reales.
 CUANTIFICADORES

Existe una notación específica para la particularización y la

generalización:

∃ 𝑥 ∈ ℝΤ𝑥 > 0, que se lee existe un 𝑥 en los números reales tal

que 𝑥 es mayor que 0.

∀ 𝑥 ∈ ℝΤ𝑥 > 0 se lee para todo 𝑥 en los números reales se

cumple que 𝑥 es mayor que 0

El símbolo ∀ se llama cuantificador universal y el símbolo ∃ es el

cuantificador existencial.

Un cuantificador transforma una función proposicional en una

proposición, a la cual se le asigna un valor de verdad.
EJEMPLOS
EJEMPLOS
 EJEMPLOS

Negar la siguiente proposición:

r:  x  Q ; x > 0 ʌ x  IR
 CONJUNTOS

En este caso, al igual que en el concepto de Lógica hay más de

una definición, aquí presentamos un par de ellas; consideradas
más adecuadas a los objetivos de este curso.
Definición 1. Conjunto es una lista, clase o colección de objetos
bien definidos: números, personas, letras, etc. Estos objetos se
llaman elementos o miembros del conjunto.
Definición 2. Un conjunto es la reunión en un todo de objetos bien
definidos y diferenciables entre sí; que se llaman elementos del
mismo.
Los conjuntos se suelen identificar con letras mayúsculas A, B,
C….., etc. y sus elementos con letras minúsculas.
 CONJUNTOS
Si a es un elemento del conjunto A se denota con la relación de
pertenencia “a  A” y se lee: “a pertenece a A”. En caso contrario,
si a no es un elemento de A se denota “a ∉ A”.
Se puede definir un conjunto:
• Por extensión, enumerando todos y cada uno de sus elementos.
• Por comprensión, diciendo cuál es la propiedad que los
caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus

elementos, si se define por extensión, o su propiedad
característica, si se define por comprensión
 CONJUNTOS

Ejemplos

1. A = {1,2,3,4,5,6,7,8,9,10,11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 24, 25}, está escrito por extensión.

A = {n ℕ / 1 ≤ n ≤ 25} está escrito por comprensión.

También podemos afirmar, por ejemplo que: 1 A y 26 ∉ A

2. B = {z  Z | z es par} está escrito por comprensión

 CONJUNTOS NUMÉRICOS
Como ejemplos de conjuntos numéricos, que son los conjuntos
con los que se trabaja fundamentalmente en matemáticas,
destacamos los siguientes:

• ℕ: el conjunto de los números naturales.

• ℤ: el conjunto de los números enteros.
• ℚ el conjunto de los números racionales.
• I: el conjunto de los números irracionales.
• ℝ: el conjunto de los números reales.
• ℂ: el conjunto de los números complejos.

Estos conjuntos numéricos se analizarán y estudiarán en

detalle en la siguiente unidad.
CONJUNTOS
 SUBCONJUNTO
Se dice que A es un subconjunto de B (o que A está incluido
en B) y se denota 𝑨 ⊂ 𝑩, si todo elemento de A lo es también de
B. Simbólicamente, la definición de subconjunto corresponde a:

A  B  ( x A  xB).

Observamos que la simbología vista en Lógica la estamos utilizando

para definir subconjunto; que es la que nos permite trabajar y hacer
inferencias en matemáticas
 SUBCONJUNTOS
Ejemplos
1. El conjunto C = {1 ,3 ,5} es un subconjunto del D = {5, 4, 3, 2,
1} ya que todo elemento de C pertenece al conjunto D.

2. A ={el conjunto formado por todos los cuadriláteros }

B = {el conjunto formado por todos los cuadrados}

C = {el conjunto formado por todos los rombos}

En este caso se cumple que B  C, B  A y C  A; lo

cual se puede resumir en la siguiente secuencia B  C  A.
 IGUALDAD DE CONJUNTOS
Dos conjuntos A y B son iguales, lo cual se denota A = B, si A
está contenido en B y B está contenido en A; esto equivale a decir
que tienen los mismos elementos (o también la misma propiedad
característica).

Simbólicamente sería: A = B  ( A  B y B  A).

Ejemplo
A = {1, 3, 5, 7, 9, 11, 13, …. …., 99, 101}

B = {x IN / x = 2n - 1, 1 ≤ n ≤ 51}
Observamos que A = B, ya que los dos representan a los
números impares entre 1 y 101; ambos incluidos.
 CONJUNTOS

CARDINALIDAD DE UN CONJUNTO
Los conjuntos pueden ser finitos o infinitos, en relación al
número de elementos que poseen. Si son finitos, el número de
elementos se denomina cardinalidad del conjunto y se denota
por card(A) ó n(A); donde A representa un conjunto finito
cualquiera.
 CONJUNTOS
CONJUNTO POTENCIA (o partes de un conjunto)
Se denomina conjunto potencia de A o conjunto de las partes de
A y se denota P(A), a la familia de todos los subconjuntos del
conjunto A. Sí el conjunto A tiene n elementos, el conjunto potencia
de A tendrá 2n elementos.

Ejemplo
1. Si A = {a, b}, entonces P(A) = { ,{a},{b},{a, b}} y n (P(A))
= 22
2. Si A = {3, 4, 5}, entonces P(A) = {, {3}, {4},{5}, {3,4}, {3,5},
{4,5}, {3,4,5}} y n (P(A)) = 23
Observamos que el conjunto vacío y el propio conjunto A
pertenecen a P(A).