Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 525 vistas

    Reglas Inferencia Cuantificadores

    Cargado por

    hebert marcio quispe taype
    El documento presenta cuatro reglas de inferencia lógica con cuantificadores: la particularización universal permite inferir una instancia particular a partir de un enunciado universal; la generalización universal permite generalizar a partir de una instancia; la particularización existencial permite inferir una instancia a partir de un enunciado existencial; y la generalización existencial permite generalizar a partir de una instancia la existencia de algún elemento.

    Copyright:

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

    Reglas Inferencia Cuantificadores

    Cargado por

    hebert marcio quispe taype
    525 vistas1 página
    El documento presenta cuatro reglas de inferencia lógica con cuantificadores: la particularización universal permite inferir una instancia particular a partir de un enunciado universal; la generalización universal permite generalizar a partir de una instancia; la particularización existencial permite inferir una instancia a partir de un enunciado existencial; y la generalización existencial permite generalizar a partir de una instancia la existencia de algún elemento.

    Descripción original:

    Elementos de Logica y Teoria de Conjuntos Mate

    Título original

    REGLAS-INFERENCIA-CUANTIFICADORES

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta cuatro reglas de inferencia lógica con cuantificadores: la particularización universal permite inferir una instancia particular a partir de un enunciado universal; la generalización universal permite generalizar a partir de una instancia; la particularización existencial permite inferir una instancia a partir de un enunciado existencial; y la generalización existencial permite generalizar a partir de una instancia la existencia de algún elemento.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    525 vistas1 página

    Reglas Inferencia Cuantificadores

    Cargado por

    hebert marcio quispe taype
    El documento presenta cuatro reglas de inferencia lógica con cuantificadores: la particularización universal permite inferir una instancia particular a partir de un enunciado universal; la generalización universal permite generalizar a partir de una instancia; la particularización existencial permite inferir una instancia a partir de un enunciado existencial; y la generalización existencial permite generalizar a partir de una instancia la existencia de algún elemento.

    Copyright:

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

    PRINCIPALES REGLAS DE INFERENCIA CON

    CUANTIFICADORES

    C.1: Particularización Universal (PU):

    ∀x ∶ p x ∴p a
    C.2: Generalización Universal (GU):

    p a ∴ ∀x ∶ p x
    é

    C.3: Particularización Existencial (PE):

    ∃x ∶ p x ∴p a

    C.4: Generalización Existencial (PE):

    p a ∴ ∃x ∶ p x

    También podría gustarte