Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 53 vistas

    CUANTIFICADORES

    Cargado por

    La Yoicy Ketin
    El documento describe los elementos básicos de la lógica proposicional como variables, constantes lógicas y tablas de verdad para la negación, disyunción, conjunción, condicional y bicondicional.

    Copyright:

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

    CUANTIFICADORES

    Cargado por

    La Yoicy Ketin
    53 vistas2 páginas
    El documento describe los elementos básicos de la lógica proposicional como variables, constantes lógicas y tablas de verdad para la negación, disyunción, conjunción, condicional y bicondicional.

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento describe los elementos básicos de la lógica proposicional como variables, constantes lógicas y tablas de verdad para la negación, disyunción, conjunción, condicional y bicondicional.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    53 vistas2 páginas

    CUANTIFICADORES

    Cargado por

    La Yoicy Ketin
    El documento describe los elementos básicos de la lógica proposicional como variables, constantes lógicas y tablas de verdad para la negación, disyunción, conjunción, condicional y bicondicional.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 2

    Proposiciones

    Variables: En el lenguaje simbólico de la lógica de proposiciones, a los


    enunciados simples, atómicos o elementales son los que no pueden
    descomponerse en otros más simples. Se les llama variables, y se escriben
    con las letras minúsculas del final del abecedario: «p», «q», «r», «s»… para
    los casos particulares, o con las letras en mayúscula del principio del
    alfabeto cuando son casos generales: «A», «B», «C», «D»…

    Además de las variables, la lógica proposicional tiene otros elementos en su


    alfabeto: las constantes lógicas y los símbolos auxiliares que forman los
    enunciados compuestos.

    Algunas de las marcas léxicas del lenguaje natural, se traducen con uno de
    las cinco constantes lógicas siguientes:

    ¬ NEGACIÓN: No

    ٧ DISYUNCIÓN INCLUSIVA: o, o bien, tanto si… como si,

    ٨ CONJUNCIÓN: y, e, o ni (=y no)

    → CONDICIONAL: si…. entonces

    ↔ BICONDICIONAL: si y solo si

    Tabla de la Verdad
    La negación: Cuando la variable es verdadera al negarla se convierte en
    falsa, y si es falsa, al negarla se hace verdadera.

    A ~A

    V F

    F V

    La disyunción: Solo es falsa cuando todas las variables son falsas.

    A B AVB

    V V V

    V F V
    F V V

    F F F

    La conjunción: Únicamente es verdadera cuando todas las variables son


    verdaderas también.

    A B A ∧ B

    V V V

    V F F

    F V F

    F F F

    El condicional: Solo cuando la primera variable o antecedente, es verdadera


    y la segunda o consecuente, falsa, el resultado es falso.

    A B A⇒B

    V V V

    V F F

    F V V

    F F V

    El Bicondicional: Es verdad cuando las dos variables tienen el mismo valor.

    A B A⇔B

    V V V

    V F F

    F V F

    F F V

    También podría gustarte