• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
CUANTIFICADORES.
 Las expresiones:Todo hombre es mortal.Algunos hombres son sabios.Pueden traducirse respectivamente como:Para todo x, si x es hombre entonces x es mortal.Existe un x, tal que x es hombre y x es sabio.Otros giros utilizados para la expresión "para todo x", son:Todo xCualquiera xCada xque se simbolizan por "
∀
x" y se llama
cuantificador universal.
 Otros giros utilizados para la expresión "Existe un x" son:Hay xExiste x, tal queAlgún xAlgunos xQue se simbolizan por "
∃
x" y se llama cuantificador existencial.Existen tres formas de convertir una función proposicional Px en unaproposición a saber:
•
Haciendo la sustitución de las variables por un términoespecífico.
•
Anteponiendo la expresión "para todo x" o cuantificadoruniversal.
•
Anteponiendo la expresión "existe almenos un x" ocuantificador existencial.El enunciado "existe almenos un x tal que Px" se representa como:(
∃
x)(Px)El enunciado "para todo x, Px" se representa como:(
∀
x
)(
Px
).
Al anteponer a la función proposicional Px un cuantificador, se diceque la variable x ha pasado a ser una
variable ligada
.Una proposición de la forma (
∀
x
)(
Px
)
es verdadera cuando todas lasustituciones de la variable x por términos específicos del conjunto dereferencia convierten a Px en enunciado verdadero.Un enunciado de la forma (
∃
x)(Px) es verdadero cuando al menos uncaso de sustitución de la variable x por un término específico delconjunto de referencia, convierte a Px en un enunciado verdadero.
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...