Une la palabra con su significado
Cuantificador
Cuantificador existencial
Proposición abierta
Cálculo de predicados
Individuos
Cuantificador universal
Variables libres
Variables acotadas
Lógica de predicados
Universo de discurso/Dominio
Símbolo ∃, se lee como “existe algo/algún” o “existe por lo
menos un” y permite hacer afirmaciones que aplican a al
menos un elemento del dominio
Valores validos que puede tener una variable en una
proposición
Expresión que sirve para indicar la existencia de una
cantidad de algo o un todo dentro de un dominio y puede
funcionar como ligador de variables.
Proposición que contiene una o más variables
Símbolo ∀, se lee como “para todo” o “para cualquier” y
permite hacer afirmaciones que aplican a todos los
elementos de un dominio
Variable limitada por un cuantificador
Variable sin estar dentro del ámbito de un cuantificador
Extensión de la lógica proposicional para expresar
proposiciones que refieren a categorías de objetos y
situaciones, en vez de ser específicos
Elementos dentro de un dominio
Sistema estructurado para el estudio de la inferencia de los
lenguajes con cuantificadores que alcanzan solo a variables
de individuos
