Tabla de Verdad y Conectivos Logicos

download Tabla de Verdad y Conectivos Logicos

of 1

Transcript of Tabla de Verdad y Conectivos Logicos

  • 8/19/2019 Tabla de Verdad y Conectivos Logicos

    1/1

    TABLA DE CONECTIVOS LÓGICOSCONECTIVO FUNCIÓN SÍMBOLO LECTURA

    a)  Conjunción Juntar,Agregar,

    Adherir,(enunciados /no términos )

    • 

    ^

    Y, pero, mas, también,mientras, un, sin embargo

    Tanto…….como…… Aunque, además

    b)  Disyuncióni)  Inclusiva

    El uno o el otro oambos

    ii)  ExclusivaEl uno o el otro pero noambos

    Presentar alternativas u opciones

    La “o” en medio de las

     proporciones simples.

    Presenta una sola opción

    La “o” antes de la primera

     proposición y otra “o” en medio de

    las proporciones.

    v

    v

    A menos que, o,

    Ni………ni……….. O bien…… o……. O bien……..a menos que……. O el uno ó el otro pero noambos

    c)  Condicional Presenta una reilación hipotéticaentre 2 o mas eventos que tenganuna secuencia lógica.Es necesario que ocurra “A”

    (antecedente) para que suceda“B” (consecuencia)

     Si ... entonces … Se sigue que,Implica que,Contiene a

    d)  Bicondicional Implica una relación de igualdad ode equivalencia

    ↔ 

     

     

    Si y solo siEquivalente

      La Negación Niega una preposición, cambia oinvierte el valor de verdad de una

    proposición.

    Es falso queNo es el caso que

    No es cierto queNo ocurre queNo sucede que

      Signos1.  Agrupación

    2.  Puntuación

    Determinan orden y prioridad delos términos

    ( ) { } [ ] 

    , . ;

    Cuando existe una “coma”;“punto”, y “punto y coma”, aislarla expresión siguiente consignos de agrupación.

    TABLAS DE VERDAD 

    Proposiciones  Conjunción

    v Disyunción

    Inclusiva

    vDisyunción

    Exclusiva

    → Condicional

    ↔ Bicondicional Negación

    pAntecedente qConsecuente p q p q p v q P → q p ↔ q  P P

    V V V V F V VV F

    V F F V V F FF V F V V V F

    F VF F F F F V V

    Universidad Francisco GavidiaFacul tad de Ingeniería y Sistemas

    Lógica Proposicional