Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 55 vistas

    Cuantificadores

    Cargado por

    Isabel Pacheco
    1. El documento habla sobre funciones proposicionales y cuantificadores. Explica que una función proposicional es un enunciado abierto que se convierte en una proposición cuando se le asigna un valor a la variable. Los cuantificadores universal y existencial convierten funciones proposicionales en proposiciones generales. 2. Da ejemplos de funciones proposicionales cuantificadas y explica cómo negar proposiciones cuantificadas universalmente cambiando el cuantificador a existencial y negando la función proposicional.

    Copyright:

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

    Cuantificadores

    Cargado por

    Isabel Pacheco
    55 vistas3 páginas
    1. El documento habla sobre funciones proposicionales y cuantificadores. Explica que una función proposicional es un enunciado abierto que se convierte en una proposición cuando se le asigna un valor a la variable. Los cuantificadores universal y existencial convierten funciones proposicionales en proposiciones generales. 2. Da ejemplos de funciones proposicionales cuantificadas y explica cómo negar proposiciones cuantificadas universalmente cambiando el cuantificador a existencial y negando la función proposicional.

    Título original

    cuantificadores

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    1. El documento habla sobre funciones proposicionales y cuantificadores. Explica que una función proposicional es un enunciado abierto que se convierte en una proposición cuando se le asigna un valor a la variable. Los cuantificadores universal y existencial convierten funciones proposicionales en proposiciones generales. 2. Da ejemplos de funciones proposicionales cuantificadas y explica cómo negar proposiciones cuantificadas universalmente cambiando el cuantificador a existencial y negando la función proposicional.

    Copyright:

    © All Rights Reserved
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    55 vistas3 páginas

    Cuantificadores

    Cargado por

    Isabel Pacheco
    1. El documento habla sobre funciones proposicionales y cuantificadores. Explica que una función proposicional es un enunciado abierto que se convierte en una proposición cuando se le asigna un valor a la variable. Los cuantificadores universal y existencial convierten funciones proposicionales en proposiciones generales. 2. Da ejemplos de funciones proposicionales cuantificadas y explica cómo negar proposiciones cuantificadas universalmente cambiando el cuantificador a existencial y negando la función proposicional.

    Copyright:

    © All Rights Reserved
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    de 3

    FACULTAD DE CIENCIAS EMPRESARIALES Y EDUCACIÓN

    ESCUELA PROFESIONAL DE ADMINISTRACIÓN Y NEGOCIOS INTERNACIONALES

    CUANTIFICADORES

    Función Proposicional
    Supongamos tenemos los enunciados abiertos: 
    1. " x es la capital del Perú"
    2. " x + 4 = 11"
    Estos no tienen un valor veritativo.
    Pero si en el primero de ellos hacemos x = Lima, tenemos:
    "Lima es la capital del Perú" (V)
    Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 (F)
    Podemos, entonces, dar la siguiente definición: "Una función proposicional es
    un enunciado abierto de la forma P(x) que se convierte en una proposición
    cuando se le asigna un valor específico a la variable".

    Ejemplos:

    p(x): 2x + 5 > 11, si x = 4 → 13 > 11 (Verdadero)

    q(x): 3x + 7 = 11, si x = 5 → 22 = 16 (Falso)

    Cuantificadores
    A partir de funciones proposicionales es posible obtener proposiciones
    generales mediante un proceso llamado de cuantificación. Asociados a la
    indeterminada x, introducimos los símbolos ∀ x y ∃x, llamados cuantificador
    universal y cuantificador existencial respectivamente. Las expresiones
    Para todo x, se verifica p(x) se denota por ∀ x : p(x)
    Existe x, tal que se verifica p(x) se denota por ∃x / p(x)
    Corresponden a una función proposicional p (x) cuantificada universalmente en
    el primer caso, y existencialmente en el segundo.

    Ejemplo: Una función proposicional cuantificada universalmente es V si y sólo


    si son V todas las proposiciones particulares asociadas a aquella. Para
    asegurar la verdad de una proposición cuantificada universalmente es
    suficiente que sea verdadera alguna de las proposiciones asociadas a la
    función proposicional.

    Un problema de interés es la negación de funciones proposicionales


    cuantificadas. Por ejemplo, La negación de "Todos los enteros son impares" es
    "Existen enteros que no son impares"   y en símbolos: ∃x / ~ p(x)

    Entonces, para negar una función proposicional cuantificada universalmente se


    cambia el cuantificador en existencial, y se niega la función proposicional.

    Los siguientes enunciados, formulados en base a la función proposicional p(n):


    r: "Para todo número entero n, n es par"
    s: "Existe un número racional n, tal que es par"

    La expresión "para todo" se denota con el símbolo "" y se llama cuantificador


    universal, y la expresión "existe", denotado con el símbolo "", se llama
    cuantificador existencial. Estos cuantificadores unidos a una función
    proposicional la transforman en una proposición. Podemos escribir las
    proposiciones r y s como:

    r : "n  / n es par" s: "  n  / n es par"

    Ejemplos
    En el conjunto de los números enteros (Z) consideremos la proposición:
    p: Existen múltiplos de dos que son múltiplos de cuatro (verdadero)
    La negación de p es:
    ~p: No existen múltiplos de dos que son múltiplos de cuatro (falso)
    Equivalentemente:
    ~p: Todos los múltiplos de dos no son múltiplos de cuatro.

    En símbolos:
    p: " n Z / n es múltiplo de 2 y n es múltiplo de 4"
    ~p: "n Z, n no es múltiplo de 2 ó n no es múltiplo de 4"
    en esta negación se usa las leyes de De Morgan.
    En general, en relación a los cuantificadores tenemos:
    ~ [  xU / p(x)]  [xU, ~p(x)]
    ~ [xU, p(x)]  [  xU / ~p(x)]

    Lógica de predicados
    Símbolo Nombre se lee como Categoría
    para todos; para cualquier; para lógica de
    [editar] cuantificación universal
    cada predicados
    ∀ x: P(x) significa: P(x) es verdadera para cualquier x
    ∀ ∀ n ∈ N: n² ≥ n
    cuantificación lógica de
    [editar] existe
    existencial predicados
    ∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
    ∃ ∃ n ∈ N: n + 5 = 2n
    [editar] lógica de
    tal que
    predicados
    ∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
    : ∃ n ∈ N: n + 5 = 2n

    PRACTICANDO

    1. Sea P (x) = " x aumentado en 9, es mayor o igual que 13".De acuerdo a esta
    proposición es incorrecto señalar que:
    a) ∃ x que cumple p(x) b) ∀ x > 3 se cumple p(x) c) ∃ x4 se cumple p(x)
    d) ∀ x > 14 se cumple p(x)

    2. Si A = 0, 1, 2, 3, 4, 5 ¿Cuáles de las siguientes proposiciones son


    verdaderas?
    a) x  A / x2 = x
    b) x  A / y  A, xy  0
    c) x  A , y  A / x + 2 = y
    d) x  A / y  A, x + y es par

    3. Determinar el valor de verdad de las siguientes proposiciones:

    ll )x   / x  4  4
    e)x  R, x 0  1 i )x  Q / 2 x  1  0
    m)x  R  , x  x
    a )x  N , x  1  2 1 j )x  Z , x  2 x  1  0
    2
    f )x  R / x 1  n)x  R  , x   x
    b)x  N / x  7  0 x k )x  I / x  3  0
    c )x  Q, x 2  4 x2  4 1
    g )x  R /  x  l2)x  x  0
    2 ñ)x  R, x 1 
    x2 x
    d ) Si.x  , x 2  0
    h)x  R / x  9  0
    2

    También podría gustarte