cuantificadores

Páginas: 2 (283 palabras) Publicado: 24 de febrero de 2015
1. ¿Qué es un cuantificador?

RTA// Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto dado cumplen con cierta propiedad (porejemplo, pertenencia, equivalencia u orden).

2. ¿Qué es un cuantificador universal?
RTA// Se representa con una A al revés. Lo que quiere decir este primer tipo de cuantificador, esaquel que se que se utiliza para indicar algo que es cierto para todos los individuos.

son proposiciones que se escriben como “"x p(x) ”
EJEMPLO:
todos los gatos tienen cola.
Pararesolverlos:

Hallar primero el ámbito del cuantificador universal, que es “Si x es un gato, entonces x tiene cola” y se define como
Gx ↔ x es un gato Cx ↔ x tiene cola ∴
(∀x) Gx→ Cx

3. ¿Qué es un cuantificador existencial?
RTA//la cuantificación existencial de P(x) “es la preposición en que existe un elemento X en el universo de discurso tal que P(x) esverdad”, son proposiciones que se escriben como “$x p(x) y se leen: “hay un X tal que…”
FORMAS PARA CONVERTIR UNA PROPOSICION:
haciendo la sustitución de las variables por un terminoespecifico.
Anteponiendo el cuantificador universal o la expresión “para todo X”, y
Anteponiendo la expresión “existe al menos un X”
EJEMPLO:
Se desea formalizar la expresión “Algunosestudiantes de informática han estudiado programación” como una cuantificadora existencial.
Sea P(x)= “X ha estudiado programación”
Donde x= “alumno de informática”
Entonces se puedeexpresar como “$x p(x) que se lee “Existen algunos alumnos de informatica que ahn estudiado programacion”
http://es.wikipedia.org/wiki/Cuantificadorhttp://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/Apuntes/IA/Filminas-Cuantificadores.PDF
http://prezi.com/k2_z7pmb4mlb/cuantificadores-existenciales/
https://www.youtube.com/watch?v=k1atu-Fx-go
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Cuantificadores
  • Cuantificador
  • cuantificador
  • Cuantificador
  • Cuantificadores
  • Cuantificadores
  • Cuantificadores
  • Cuantificadores

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS