tivo.
Jesús Daniel Rondón Arreaza.
Dirección: Puerto Carreño - Vichada.
CEAD: Puerto Carreño.
Periodo: Complementario 8-03.
Escuela de Ciencias Básicas, Tecnología e Ingeniería.
Programa: Tecnología en Producción de Audio.
Grupo: 200611_97
1. Cuantificador Universal
Afirmativo.
JESÚS DANIEL RONDÓN ARREAZA.
DIRECCIÓN: PUERTO CARREÑO - VICHADA.
CEAD: PUERTO CARREÑO.
PERIODO: COMPLEMENTARIO 8-03.
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA.
PROGRAMA: TECNOLOGÍA EN PRODUCCIÓN DE AUDIO.
GRUPO: 200611_97
2. ¿Que son los cuantificadores Universal
Afirmativo?
Los cuantificadores Universales Afirmativos, nos ayudan a representar alguna
particularidad general que se afirma a cada cosa dentro de un universo por
medio de frases como:
Todos x - Todo x
Para cada x
Cada x
Cada uno x
Siempre que x
Cualquiera x
Para todo x
3. Todas estas frases son simbolizadas con el siguiente símbolo:
Ejemplo:
Todos los Caraqueños son Venezolanos, se puede representar: Para todo x, si x es
Caraqueño, entonces x es Venezolano
x (Caraqueño(x) →Venezolano(x))A
4. El Cuantificador Universal Afirmativo, dentro de todas las
expresiones, siguen las normas generales:
- Si el cuantificador no va seguido de un paréntesis entonces su alcance
llega hasta la primera letra.
- Si va seguido de un paréntesis, su alcance abarca todo lo que este dentro
de el.
- A todas las variables que estén bajo el alcance de un cuantificador se
denomina Variable ligada y las que no, Variables Libres.
5. Bibliografia:
Copi, I., (2013). Introducción a la lógica, México: Limusa.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación, Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=3199701&tm=15293 35849013
Muchas Gracias