PENSAMIENTO LOGICO Y MATEMATICO
Conceptualización de Proposiciones con Cuantificadores
Yazmin Alexandra AyalaGrupo:
Cuantificador Existencial
Definición:
Este cuantificador nos indica que uno o varios valores de un contexto o dominio son verdaderos Su símbolo es: ∃ y se lee: “Existe por lo menos uno” , este va antepuesto a la variable para decir que existe, de un conjunto al que hace referencia la variable y cumple con la proposición
Simbología :
∃x P(x)
Se lee:"Existe al menos un x en A que cumple P(x)"
Este cuantificador se caracteriza por algunas frases como:
Existe al menos un x
Cuando menos un x
Algunos x
Para algún x
Para algunos x
Existe un x tal que
Ejemplos:
- Solo algunos estudiantes aprobaran el curso de pensamiento lógico y matemático
En este caso tendríamos que: ∃x (estudiantes(x) aprobaran curso (x)) "Existe por lo menos un x tal que, x es estudiantes entonces , x aprobara el cuso "
Se lee: existe al menos un hombre que aprobara el curso PML -¡ Esto indica que existen estudiantes que no aprobaran el curso PML
2. Existen países que no hablan español
En este caso tendríamos que: ∃x (paises(x) ¬ hablan español(x)) "Existe por lo menos un x tal que, x es paises y x no hablan español” se lee: existe al menos un país que no habla español - ¡se entiende que en existen países que hablan español
Referencia bibliográfica
- 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
Cuantificador existencial
Yazmin Ayala
Created on March 7, 2020
Conceptualización de Proposiciones con Cuantificadores
Start designing with a free template
Discover more than 1500 professional designs like these:
Explore all templates
Transcript
PENSAMIENTO LOGICO Y MATEMATICO
Conceptualización de Proposiciones con Cuantificadores
Yazmin Alexandra AyalaGrupo:
Cuantificador Existencial
Definición:
Este cuantificador nos indica que uno o varios valores de un contexto o dominio son verdaderos Su símbolo es: ∃ y se lee: “Existe por lo menos uno” , este va antepuesto a la variable para decir que existe, de un conjunto al que hace referencia la variable y cumple con la proposición
Simbología :
∃x P(x)
Se lee:"Existe al menos un x en A que cumple P(x)"
Este cuantificador se caracteriza por algunas frases como:
Existe al menos un x
Cuando menos un x
Algunos x
Para algún x
Para algunos x
Existe un x tal que
Ejemplos:
En este caso tendríamos que: ∃x (estudiantes(x) aprobaran curso (x)) "Existe por lo menos un x tal que, x es estudiantes entonces , x aprobara el cuso "
Se lee: existe al menos un hombre que aprobara el curso PML -¡ Esto indica que existen estudiantes que no aprobaran el curso PML
2. Existen países que no hablan español
En este caso tendríamos que: ∃x (paises(x) ¬ hablan español(x)) "Existe por lo menos un x tal que, x es paises y x no hablan español” se lee: existe al menos un país que no habla español - ¡se entiende que en existen países que hablan español
Referencia bibliográfica