Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
50Activity
0 of .
Results for:
No results containing your search query
P. 1
clase CUANTIFICADORES

clase CUANTIFICADORES

Ratings:

4.8

(5)
|Views: 18,166 |Likes:
Published by harryarcila
Cuantificadores: Universales y Existenciales.
Cuantificadores: Universales y Existenciales.

More info:

Published by: harryarcila on Jun 13, 2007
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

06/02/2013

pdf

text

original

 
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.

Activity (50)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Steeven Paredes liked this
hepabe187 liked this
magniez liked this
Paola Cuenca liked this
rocioooooo liked this
fernandogecuador liked this
Cristhian Silva liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->