Prezi

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in the manual

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Cuantificadores Existenciales

Cuantificadores Existenciales de la Lógica de Predicados.
by Freddy Íñiguez López on 23 April 2013

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Cuantificadores Existenciales

Cuantificador Existencial Cuantificador Existencial La cuantificación existencial de P(x) "Es la proposición en que existe un elemento x en el universo de discurso tal que P(x) es verdad".

Se denota por:

o con el símbolo de la disyunción (Vx)

Se lee:

"hay un x tal que...", "hay al menos un x tal que..." o "para algún x...". Cuantificadores
Existenciales Equipo 3:

Rosa Adriana Gómez Arcos
Marco Iván Zavala Chávez
Jorge Monserrat
Freddy Íñiguez López Cuantificador Existencial Ejemplo:

1. Se desea formalizar la expresión "Algunos estudiantes de informática han estudiado programación" como una cuantificación existencial.

Sea P(x) = "x ha estudiado programación".
Donde x = "Alumno de Informática".
entonces se puede expresar como: x P(x) que se lee "Existen algunos alumnos de Informática que han estudiado programación". Cuantificador Existencial Universidad Veracruzana Lógica La negación de

x p(x) : “Existe x que satisface p(x)”
es
- [ x p(x)]

“No es cierto que exista x, que verifique p(x)”

“Ningún x satisface p(x)”

“Todo x satisface p(x)” Cuantificador Existencial Cuantificador Existencial Formas para convertir una proposición:

1. Haciendo la sustitución de las variables por un término específico,

2. Anteponiendo el cuantificador universal o la expresión "para todo x", y

3. Anteponiendo la expresión "existe al menos un x".
See the full transcript