Elementos de Logica Cuantificacional

Lógica Cuantificacional
Es una rama de la lógica que utiliza determinados símbolos llamados CUANTIFICADORES, los
cuales permiten indicar el número de elementos de un conjunto que al ser sustituidos en un
enunciado hacen de él una proposición verdadera.
Función lógica o proposicional

Es una afirmación que contiene una o más variable.
Las funciones proposicionales se denotan por letras minúsculas, y las variables se escriben
dentro de un paréntesis, por ejemplo:
p(x) ; q(x) ; r(y) son funciones proposicionales, x e y son variables.
Ejemplo 1:
Sea A ={1,2,3} y la función proposicional
p(x): x+2 ≤ 5 , x A
Determine que valores cumple la función
Respuesta
Sea x=1  p(1)= 1+2 ≤ 5

3≤5 V
Sea x=2  p(2)= 2+2 ≤ 5

4≤5 V
Sea x=3  p(3)= 3+2 ≤ 5

5≤5 V
Observe que :
" todos los elementos que están en A cumplen la proposición : p(x) ", esto se puede
simbolizar por el cuantificador:  y es el Cuantificador Universal.
 se lee " para todo "
Simbólicamente escribimos todo el enunciado de la siguiente forma:
(  x  A )(p(x) : x + 2  5)
Esta función lógica es cuantificada.
1
Ejemplo 2:
Sea A ={-1,0,1} y la función proposicional
q(x): x + 3 = 4 , x  A
Respuesta
Sea x=-1  q(-1)= −1 +3 = 4

4=4 V
Sea x=0  q(0)= 0 +3 = 4

3=4 F
Sea x=1  p(1)= 1 +3 = 4

4=4 V
Observe que sólo algunos elementos de A cumplen la proposición q(x) , esto se simboliza por
otro cuantificador:  , llamado Cuantificador Existencial.
 se lee "existen " , "algunos elementos " o " existe al menos un …"
(  x  A ) ( q(x) : x + 3 = 4 )
 x, x  A, q(x) : x + 3 = 4
Ejemplo 3:
Sea A ={-2, 3 ,-3} y la función proposicional
r(x): x2 + 6 = x 4 , x  A
Respuesta
Sea x=-2  r(-2)= ( −2) + 6 = ( −2)

2 4
2
4 + 6 =16 F
( 3) ( 3)
2 4
Sea x= 3 0  r( 3 )= +6 =
3 + 6 =9 V
Sea x=-3  r(-3)= ( −3) + 6 = ( −3)

2 4
9 + 6 =81 F
En este ejemplo, de todos los elementos de A , sólo 3 cumple con la proposición, esto se
simboliza por ! , el cual es otro Cuantificador Existencial.
! se lee "existe un unico "
!x  A; r (x) : x2 + 6 = x 4
Ejemplo
Sea p(x) una función proposicional, sobre el conjunto , use cuantificadores para escribir:
Todo real cumple con p(x)
Respuesta
x, x  , p(x)
Ejercicios
Sea p(x) una función proposicional, sobre el conjunto , use cuantificadores para escribir
los siguientes enunciados.
a) Existe un real que cumple con p(x) : ……………...............………………….

b) Algún real cumple con p(x) : ………………………………………..……….
c) Todo real al cuadrado es positivo o cero : ……………………………………….
d) La ecuación 2x+3=0 tiene solución única en :
ÞÞÞÞÞ......................................……………………………………………….
e) Existe por lo menos un real tal que su raíz cuadrada no es real :
.............................…………………………………………………………..
f ) No todos los números enteros son positivos :
........................................................................................................................
3
Respuesta
Si, en un conjunto llamado Conjunto de Validez.

Por lo tanto, el conjunto de validez es aquel en el cual están todos los valores
para los cuales la proposición es verdadera.
Su notación es Vp ,p indica la proposición.
¡¡ Veamos un ejemplo de esto !!
Ejemplo 2:
Sea A ={2,3,4} y la función proposicional
s(x): x-1>2 , x  A
Respuesta
Sea x=2  s(2)= 2 -1>2

1 >2 F
Sea x=3  s(3)= 3 -1 >2

2>2 F
4
Sea x=4  s(4)= 4 -1 >2
3 >2 V
Es decir, el conjunto de Validez es Vp = 4 , ya que sólo el 4 cumple con la

proposición s(x).
Valor de Verdad de una función proposicional
El valor de verdad de una función proposicional depende del cuantificador y del

conjunto de validez.
¡¡ Más ejemplos !!
Ejemplo
Sea A={1,2,3} y la función: x, x  A, p(x) :2x + 1 = 5
Respuesta:
Si sustituimos cada elemento de A en p(x), se observa que sólo cuando x=2 , la
proposición se cumple, es decir:
p(2): 2(2)+1=5
Vp = 2
Como la función lógica decía que:

Para todos los elementos de A se cumple la proposición p(x) , obviamente esto es
FALSO, ya que sólo se cumple para un elemento.
Por lo tanto: x, x  A, p(x) :2x + 1 = 5 es falso
5
Ejercicios 1
Determine el conjunto de validez y el valor de verdad para cada función lógica
dada:
6
Ahora, recurriremos a las tablas verdad vistas anteriormente, pero las
llamaremos Tablas de doble Entrada para resolver las siguientes funciones
lógicas:
Ejemplo
Determine el valor de verdad de:
7
Respuesta:
Se construye la tabla de doble entrada:
p(x) q(x) p(x) → q(x) p(x)  p(x) → q(x)

-1
0
1
2
Luego, se sustituyen los elementos de A, en cada una de las proposiciones, para

determinar cuáles de ellos cumplen con la proposición dada:
p(x) q(x) p(x) → q(x) p(x)  p(x) → q(x)

-1 V V V V
0 V V V V
1 V V V V
2 F V V F
Conjunto Validez
Vp,q = −1, 0,1
Valor de Verdad : FALSO
Ejercicios
En cada uno de los siguientes ejercicios, determine:
a) Tabla de verdad
b) Conjunto de validez
c) Valor de verdad
8
9
10
11
NEGACION DE PROPOSICIONES QUE CONTIENEN CUANTIFICADORES
Para negar una proposición cuantificada hay que cambiar el cuantificador y negar
la función proposicional reduciéndola al máximo usando las leyes proposicionales.
Por ejemplo:
x, x  A, p(x) → q(x) A es un conjunto numérico cualquiera
La negación es:
( x, x  A,p(x) → q(x) )

La negación de  es 
La negación de  es 
La negación de p(x) → q(x) la desarrollaremos aparte:
(p → q)
( p  q)
p q
Por lo tanto, la expresión negada de:

x, x  A, p(x) → q(x) resulta:
x, x  A, p(x) q(x)
12
Ejercicios
I)
II) Sea A = x  : −5  x  5 . Determine todos los valores de A para los cuales la

función proposicional dada es una proposición verdadera. Certamen N°1 2018 UCSC
(a) s(x) : 2 x > 3

(b) q(x) : x es primo → x es positivo
III) Considere los conjuntos
A = x  : 2  x + 1  7 , B = −2, 4, 6
a) Determine el valor de verdad de la proposición:
r : x  B, y  A : x  y → x2  y2
b) niegue la proposición r
Certamen N°1 recuperativo 2018 UCSC
IV) Escriba la negación de la proposición

p :   0,   0 ; x − 1   → x2 − 1  
Certamen N°1 2015 UDEC
V) Escriba la negación de la proposición

p : (  x  )(  y  ) x3 − y3 = ( x − y ) ( x2 + xy + y2 ) 
13
VI) Considere la proposición
p : x  : x  3 → x2  9
a) escriba la negación de la proposición

b) Decida, justificando adecuadamente si p es verdadera o falsa
I)
II)
14
III)
a)
b)
IV) p :   0,   0 ; x − 1    x2 − 1  
V) p : (x  )(  y  ) x3 − y3  ( x − y ) ( x2 + xy + y2 )
VI) La negación a la proposición es

p : x  : x  3  x2  9
La proposición es falsa dado que:  − 5  : −5  3 : x2 = 25  9

Es decir hay un contraejemplo para la proposición
15
16

Elementos de Logica Cuantificacional

Cargado por

Copyright:

Formatos disponibles

Elementos de Logica Cuantificacional

Cargado por

Información del documento

Descripción 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

Elementos de Logica Cuantificacional

Cargado por

Copyright:

Formatos disponibles

Lógica Cuantificacional

Función lógica o proposicional

p(x) ; q(x) ; r(y) son funciones proposicionales, x e y son variables.

Determine que valores cumple la función

Sea x=1  p(1)= 1+2 ≤ 5

Sea x=2  p(2)= 2+2 ≤ 5

Sea x=3  p(3)= 3+2 ≤ 5

 se lee " para todo "

Simbólicamente escribimos todo el enunciado de la siguiente forma:

Determine que valores cumple la función

Sea x=-1  q(-1)= −1 +3 = 4

Sea x=0  q(0)= 0 +3 = 4

Sea x=1  p(1)= 1 +3 = 4

Simbólicamente escribimos todo el enunciado de la siguiente forma:

Determine que valores cumple la función

Sea x=-2  r(-2)= ( −2) + 6 = ( −2)

Sea x=-3  r(-3)= ( −3) + 6 = ( −3)

! se lee "existe un unico "

Simbólicamente escribimos todo el enunciado de la siguiente forma:

a) Existe un real que cumple con p(x) : ……………...............………………….

Si, en un conjunto llamado Conjunto de Validez.

Su notación es Vp ,p indica la proposición.

¡¡ Veamos un ejemplo de esto !!

Determine que valores cumple la función

Sea x=2  s(2)= 2 -1>2

Sea x=3  s(3)= 3 -1 >2

Es decir, el conjunto de Validez es Vp = 4 , ya que sólo el 4 cumple con la

Valor de Verdad de una función proposicional

El valor de verdad de una función proposicional depende del cuantificador y del

Como la función lógica decía que:

Por lo tanto: x, x  A, p(x) :2x + 1 = 5 es falso

p(x) q(x) p(x) → q(x) p(x)  p(x) → q(x)

Luego, se sustituyen los elementos de A, en cada una de las proposiciones, para

p(x) q(x) p(x) → q(x) p(x)  p(x) → q(x)

Vp,q = −1, 0,1

Valor de Verdad : FALSO

( x, x  A,p(x) → q(x) )

Por lo tanto, la expresión negada de:

x, x  A, p(x) q(x)

II) Sea A = x  : −5  x  5 . Determine todos los valores de A para los cuales la

(a) s(x) : 2 x > 3

III) Considere los conjuntos

Certamen N°1 recuperativo 2018 UCSC

IV) Escriba la negación de la proposición

V) Escriba la negación de la proposición

a) escriba la negación de la proposición

V) p : (x  )(  y  ) x3 − y3  ( x − y ) ( x2 + xy + y2 )

VI) La negación a la proposición es

La proposición es falsa dado que:  − 5  : −5  3 : x2 = 25  9

También podría gustarte