Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 304 vistas

    Cuantificadores

    Cargado por

    Andres
    Este documento trata sobre los cuantificadores lógicos. Explica que existen dos tipos principales de cuantificadores: existenciales como "existe" o "algún", y universales como "para todo" o "ninguno". Luego presenta ejemplos de proposiciones cuantificadas y reglas para negar proposiciones con cuantificadores.

    Copyright:

    © All Rights Reserved
    Descargue como PPT, PDF, TXT o lea en línea desde Scribd

    Cuantificadores

    Cargado por

    Andres
    304 vistas9 páginas
    Este documento trata sobre los cuantificadores lógicos. Explica que existen dos tipos principales de cuantificadores: existenciales como "existe" o "algún", y universales como "para todo" o "ninguno". Luego presenta ejemplos de proposiciones cuantificadas y reglas para negar proposiciones con cuantificadores.

    Descripción original:

    Descripcion de Cuantificadores Matematicas Discretas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPT, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento trata sobre los cuantificadores lógicos. Explica que existen dos tipos principales de cuantificadores: existenciales como "existe" o "algún", y universales como "para todo" o "ninguno". Luego presenta ejemplos de proposiciones cuantificadas y reglas para negar proposiciones con cuantificadores.

    Copyright:

    © All Rights Reserved
    Descargue como PPT, PDF, TXT o lea en línea desde Scribd
    Descargar como ppt, pdf o txt
    304 vistas9 páginas

    Cuantificadores

    Cargado por

    Andres
    Este documento trata sobre los cuantificadores lógicos. Explica que existen dos tipos principales de cuantificadores: existenciales como "existe" o "algún", y universales como "para todo" o "ninguno". Luego presenta ejemplos de proposiciones cuantificadas y reglas para negar proposiciones con cuantificadores.

    Copyright:

    © All Rights Reserved
    Descargue como PPT, PDF, TXT o lea en línea desde Scribd
    Descargar como ppt, pdf o txt
    Está en la página 1de 9

    Cuantificadores

    A una palabra o frase que indica cuntos objetos cumplen con


    determinada propiedad se le llama cuantificador.
    Los cuantificadores se clasifican como:
    a)

    Existenciales: existe, algn, por lo menos uno, etc..


    Notacin:

    b)

    Universales: para todo, ninguno.


    Notacin:

    Cuantificador

    Proposicin

    Existencial

    (existe)

    Universal

    (para todo)

    Negacin

    Algunos

    Ningn

    Ningn

    Algunos

    Todos

    Algunos no

    Algunos no

    Todos

    Ejemplo: Escriba la negacin de cada uno de los siguientes


    enunciados
    1) Todos los nmeros son enteros.
    Negacin: Algunos nmeros no son enteros.
    2) Ninguno de mis compaeros es extranjero.
    Negacin: Algunos de mis compaeros son extranjeros.

    Definicin: Una frase declarativa es una


    proposicin abierta si:
    1) Contiene una o ms variables
    2) No es una proposicin, pero
    se convierte en una proposicin cuando las
    variables que aparecen en ella se reemplazan
    por ciertas opciones permisibles (universo).

    Ejemplo 1: Sea el universo todos los nmeros dgitos impares, las


    proposiciones abiertas p(x), q(x), r(x) y s(x) estn dadas por:

    p x : x 0
    q x : x2 0
    r x : x 2 3x 4 0
    s x : x 2 3 0.
    Determine los valores de verdad de las proposiciones
    abiertas:

    1) x p x r x
    2) x p x q x

    3) x q x s x
    4) x r x s x

    5) x r x p x

    Ejemplo 2: Sea el universo todos los nmeros reales, las


    proposiciones abiertas p(x), q(x), r(x) y s(x) estn dadas por:

    p x : x 0
    q x : x2 0
    r x : x 2 3x 4 0
    s x : x 2 3 0.
    Muestre que las proposiciones abiertas 1) y 2) son
    verdaderas:

    1) x p x r x
    2) x p x q x

    p x : x 0
    q x : x2 0
    r x : x 2 3x 4 0
    s x : x 3 0.
    2

    Muestre que las siguientes proposiciones abiertas 3), 4) y


    5) son falsas

    3) x q x s x
    4) x r x s x

    5) x r x p x

    Equivalencias e implicaciones lgicas para proposiciones


    cuantificadas de una variable
    Para un universo dado y cualquiera proposiciones abiertas p(x), q(x) en la
    variable x.

    1) x p x q x
    xp x xq x
    2) x p x q x
    xp x xq x
    3) x p x q x xp x xq x
    4) x p x q x
    xp x xq x

    Reglas para negar proposiciones con un


    cuantificador

    xp x xp x
    xp x xp x

    xp x xp x xp x

    xp x xp x xp x

    También podría gustarte