Introducing
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
Cuantificadores
17
Cuantificador universal
Pensamiento lógico y matemático
Carolina Cardenas
Tutor: Alexis Trujillo
Grupo: 10
Cuantificadores
Cuantificadores
Símbolos que determinan la cantidad de una proposición categorical
Tipos:
Universal
Existencial
Cuantificador universal afirmativo
c. universal afirmativo
El cuantificador universal indica que algo es cierto para TODOS los individuos.
Siendo A una expresión (o ámbito) y sea x una variable.Si deseamos indicar que A es verdad para todo los posibles valores de x escribiremos (x) A
Frases con las que se denota :
- Para todo x - todos x
- Para cada x
- Cada uno x
- Siempre que x
- Cualquier x
Signo
Si se agrega este símbolo quedara en negación
Ejemplos
Ejemplos
1.
1. Expresar "todos los gatos tienen una cola" en calculo de predicado
Solución:
Hallar primero el ámbito del cuantificador universal que es "si x es un gato, entonces x tiene cola" y se define como :
2.
Cada número positivo es mayor que cero
1 es un número positivo
3 es un número positivo
Por lo tanto, 1 y 3 son mayores que cero.
BibliografÍa
Bibliografia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109
Calameo. (s.f). Cuantificardor universal afirmativo.Recuperado de
https://es.calameo.com/read/0058512028a8f5df8fa54
Lopez Bruno .(s.f) .Cuantificadores universales.Recuperado
http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/Apuntes/IA/Filminas-Cuantificadores.PDF