Cuantificadores

A una palabra o frase que indica cuántos objetos cumplen con

determinada propiedad se le llama cuantificador.

Los cuantificadores se clasifican como:

a) Existenciales: “existe”, “algún”, “por lo menos uno”, etc..

Notación:

b) Universales: “para todo”, “ninguno”.
Notación:

 Cuantificador Proposición Negación

Existencial  (existe) 
Universal  (para todo) 
Algunos Ningún

Ningún Algunos

Todos Algunos no…

Algunos no… Todos

Ejemplo: Escriba la negación de cada uno de los siguientes
enunciados

1) Todos los números son enteros.

Negación: Algunos números no son enteros.

2) Ninguno de mis compañeros es extranjero.

Negación: Algunos de mis compañeros son extranjeros.
Definición: Una frase declarativa es una
proposición abierta si:

1) Contiene una o más variables

2) No es una proposición, pero
se convierte en una proposición cuando las
variables que aparecen en ella se reemplazan
por ciertas opciones permisibles (universo).
Ejemplo 1: Sea el universo todos los números dígitos impares, las
proposiciones abiertas p(x), q(x), r(x) y s(x) están dadas por:
p x : x  0
q  x  : x2  0
r  x  : x 2  3x  4  0
s  x  : x 2  3  0.

Determine los valores de verdad de las proposiciones

abiertas:

1) x  p  x   r  x  3) x  q  x   s  x 

2) x  p  x   q  x  4) x  r  x   s  x 
5) x  r  x   p  x 
Ejemplo 2: Sea el universo todos los números reales, las
proposiciones abiertas p(x), q(x), r(x) y s(x) están dadas por:

p x : x  0
q  x  : x2  0
r  x  : x 2  3x  4  0
s  x  : x 2  3  0.

Muestre que las proposiciones abiertas 1) y 2) son

verdaderas:

1) x  p  x   r  x 
2) x  p  x   q  x 
 p  x : x  0
q  x  : x2  0
r  x  : x 2  3x  4  0
s  x  : x  3  0.
2

Muestre que las siguientes proposiciones abiertas 3), 4) y

5) son falsas

3) x  q  x   s  x 
4) x  r  x   s  x 
5) x  r  x   p  x 
Equivalencias e implicaciones lógicas para proposiciones
cuantificadas de una variable

Para un universo dado y cualquiera proposiciones abiertas p(x), q(x) en la

variable x.

1) x  p  x   q  x  
 xp  x   xq  x 
2) x  p  x   q  x    xp  x   xq  x 
3) x  p  x   q  x   xp  x   xq  x 
4) x  p  x   q  x  
 xp  x   xq  x 
Reglas para negar proposiciones con un
cuantificador

  xp  x   xp  x 

  xp  x   xp  x 
  xp  x   xp  x   xp  x 
  xp  x   xp  x   xp  x 