Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Tablas Verdad Conectivas Logicas

    Cargado por

    Aquiles Albarracin
    7 vistas6 páginas
    Este documento presenta las tablas de verdad de varias conectivas lógicas como la negación, la condicional, la disyunción inclusiva, la disyunción exclusiva, la conjunción, la incompatibilidad y el bicondicional. También presenta tablas de verdad para expresiones lógicas compuestas que involucran varias conectivas como la conjunción de condicionales y la implicación entre disyunciones.

    Descripción original:

    Conectivas, Tablas verdad

    Título original

    TablasVerdadConectivasLogicas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    Este documento presenta las tablas de verdad de varias conectivas lógicas como la negación, la condicional, la disyunción inclusiva, la disyunción exclusiva, la conjunción, la incompatibilidad y el bicondicional. También presenta tablas de verdad para expresiones lógicas compuestas que involucran varias conectivas como la conjunción de condicionales y la implicación entre disyunciones.

    Copyright:

    © All Rights Reserved
    Descargue como XLSX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    7 vistas6 páginas

    Tablas Verdad Conectivas Logicas

    Cargado por

    Aquiles Albarracin
    Este documento presenta las tablas de verdad de varias conectivas lógicas como la negación, la condicional, la disyunción inclusiva, la disyunción exclusiva, la conjunción, la incompatibilidad y el bicondicional. También presenta tablas de verdad para expresiones lógicas compuestas que involucran varias conectivas como la conjunción de condicionales y la implicación entre disyunciones.

    Copyright:

    © All Rights Reserved
    Descargue como XLSX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 6

    Condicional

    Negación ~(p ^ ~q) = p→q


    p ~p p q p→q
    V F V V V
    F V F V V Alt
    V F F Alt
    F F V Alt
    Alt
    antecedente, consecuente,
    suficiente necesario Alt
    Alt
    Disyunción Inclusiva 1/↓ Negación conjunta 1 / v
    ~(~p ^ ~q) = p v q ~p ^ ~q = p ↓ q Alt
    p q pvq p q p↓q Alt
    V V V V V F
    F V V F V F
    V F V V F F
    F F F F F V
    Disyunción Exclusiva 1 / ↔
    [ ~(p ^ q) ^ ~(~p ^ ~q) =
    pvq] Bicondicional 1 / v
    p q pvq p q p↔q
    V V F V V V
    F V V F V F
    V F V V F F
    F F F F F V

    Conjunción 1 / | Incompatibilidad 1 / ^
    p q p^q p q pvq
    V V V V V F
    F V F F V V
    V F F V F V
    F F F F F V

    [ ( p → q ) ^ p ]
    V V V V V
    F V V F F
    V F F F V
    F V F F F
    ( p v q ) ^ p ]
    V V V V V V
    F V V F F V
    V V F V V F
    F F F F F V
    25 ↓
    26 →
    29 ↔
    91 [

    93 ]
    94 ^

    124 |
    126 ~

    → q Alt 25 ↓
    V V Alt 26 →
    V V Alt 29 ↔
    V F Alt 91 [
    V F Alt 93 ]
    Alt 94 ^
    Alt 124 |
    Alt 126 ~
    → q Alt 123 {
    V Alt 125 }
    V
    F
    F
    { [ ( p → q ) ^ ( r → s ) ] ^ ( p
    V V V V V V V V V
    F V V V V V V V F
    V F F F V V V F V
    F V F V V V V V F
    V V V V F V V V V
    F V V V F V V F F
    V F F F F V V F V
    F V F V F V V F F
    V V V F V F F F V
    F V V F V F F F F
    V F F F V F F F V
    F V F F V F F F F
    V V V V F V F V V
    F V V V F V F F F
    V F F F F V F F V
    F V F V F V F F F

    F V F V F V F V V
    V V V V F V F V V
    v r ) } → ( q v s )
    V V V V V V
    V V V V V V
    V V V F V V
    V V V F V V
    V F V V V V
    F F V V V V
    V F V F V V
    F F V F V V
    V V V V V F
    V V V V V F
    V V V F F F
    V V V F F F
    V F V V V F
    F F V V V F
    V F V F F F
    F F V F F F

    V F F F F F
    V F F F F F

    También podría gustarte