MATEMÁTICA BÁSICA

Unidad I
Lógica - Conjuntos
Tema: Lógica proposicional
• Cuantificadores.
• Negación de cuantificadores.

Semana 01
OBJETIVO

Reconocer, interpretar y emplear los cuantificadores.

 Enunciado abierto
Llamado también FUNCIÓN PROPOSICIONAL, son expresiones que contienen
variables y no tienen la propiedad de ser verdaderos o falsos.

Ejemplo:
No tiene valor de verdad definido, depende del valor que tome x.

Ejemplo:
Tampoco tiene valor de verdad, depende de valor que tomen las variables x, y,
(aunque podemos afirmar que
 CUANTIFICADORES
Cuantificador es un símbolo lógico que permite transformar un enunciado
abierto en una proposición lógica.
Existen dos tipos de cuantificadores:

a) CUANTIFICADOR UNIVERSAL: ∀ 𝑆𝑒 𝑙𝑒𝑒: 𝑝𝑎𝑟𝑎𝑡𝑜𝑑𝑜 𝑥 𝑞𝑢𝑒 …

Un enunciado abierto cuantificado universalmente será verdadero si y solo

si son verdaderas todas las proposiciones particulares asociadas a ella.

Ejemplo: Determine el valor de:

Si , la expresión es falsa, por lo tanto

 Cuantificadores
b) EXISTENCIAL: ∃ 𝑆𝑒 𝑙𝑒𝑒: 𝐸𝑥𝑖𝑠𝑡𝑒𝑝𝑜𝑟 𝑙𝑜 𝑚𝑒𝑛𝑜𝑠𝑢𝑛 𝑥 𝑞𝑢𝑒 …

Un enunciado abierto cuantificado existencialmente será verdadero

si alguna de las proposiciones particulares asociadas a ella es
verdadera.

Ejemplo: Determine el valor de verdad de:

No existe ningún número natural que cumpla con la condición ,

por lo tanto
Negación de una proposición con
cuantificadores
 Negación de una proposición con
cuantificadores
Ejemplo: Dé el valor de verdad de la proposición y luego niéguela.

Si , entonces es falsa, entonces

Ahora negamos , entonces tendremos:

, entonces
Si , entonces es verdadera, entonces
 EJERCICIOS
1. Sea el conjunto:

𝐺 = { 0,1,2,3,4 }
a) Determine el valor de verdad de
[
𝑝 ( 𝑥 ): ∃ 𝑥 ∈ 𝐺 ∕
𝑥 2 −1
𝑥+2 ]
<−1 ;

02 − 1 −1
𝑆𝑖 𝑥 =0 → < −1 → <− 1 ( 𝐹 )
0 +2 2

𝑥2− 1 1
+1<0 <0
𝑥+ 2 𝑥 +2
Por lo tanto, ningún
elemento del conjunto G
𝑥 2 − 1+ x+2 𝑥+2< 0 forma parte de la solución
<0
𝑥 +2
𝑝( 𝑥 )≡ 𝐹
𝑥 2 + x+1 -2
<0
𝑥 +2
b) Dados los conjuntos: G

Determine el valor de verdad de 𝑟 : [ ∀ 𝑥 ∈G ∩ 𝐻 ∕ 𝑥 3 −1< 9 ]

H={2}

𝑥3 −1< 9

23 −1<9

8 −1< 9
Como es cierto que 7 es
7< 9≡ 𝑉 menor que 9 entonces 𝑟 ≡𝑉