Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 188 vistas

    Tablas de Verdad

    Cargado por

    Ro Di
    El documento describe las tablas de verdad para diferentes operadores lógicos como la negación, disyunción, conjunción, condicional e implicación. Explica que la negación de una proposición p es ∼p y su tabla de verdad. La disyunción p ⋁ q es verdadera si al menos una proposición es verdadera. La conjunción p ⋀ q sólo es verdadera si ambas proposiciones lo son. El condicional p ⇒ q evalúa a verdadero excepto si p es verdadero y q es falso

    Copyright:

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

    Tablas de Verdad

    Cargado por

    Ro Di
    188 vistas2 páginas
    El documento describe las tablas de verdad para diferentes operadores lógicos como la negación, disyunción, conjunción, condicional e implicación. Explica que la negación de una proposición p es ∼p y su tabla de verdad. La disyunción p ⋁ q es verdadera si al menos una proposición es verdadera. La conjunción p ⋀ q sólo es verdadera si ambas proposiciones lo son. El condicional p ⇒ q evalúa a verdadero excepto si p es verdadero y q es falso

    Descripción original:

    pc

    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 las tablas de verdad para diferentes operadores lógicos como la negación, disyunción, conjunción, condicional e implicación. Explica que la negación de una proposición p es ∼p y su tabla de verdad. La disyunción p ⋁ q es verdadera si al menos una proposición es verdadera. La conjunción p ⋀ q sólo es verdadera si ambas proposiciones lo son. El condicional p ⇒ q evalúa a verdadero excepto si p es verdadero y q es falso

    Copyright:

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

    Tablas de Verdad

    Cargado por

    Ro Di
    El documento describe las tablas de verdad para diferentes operadores lógicos como la negación, disyunción, conjunción, condicional e implicación. Explica que la negación de una proposición p es ∼p y su tabla de verdad. La disyunción p ⋁ q es verdadera si al menos una proposición es verdadera. La conjunción p ⋀ q sólo es verdadera si ambas proposiciones lo son. El condicional p ⇒ q evalúa a verdadero excepto si p es verdadero y q es falso

    Copyright:

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

    Universidad Metropolitana Castro Carazo

    Ingeniera en Informtica
    Tablas de la Verdad

    2015

    TABLAS DE VERDAD
    Negacin de una proposicin p es la proposicin p (no p), obtenida
    anteponiendo el adverbio no a la primera. Su tabla de verdad es:
    p
    V
    F

    p
    F
    V

    Disyuncin de las proposiciones p y q, es la proposicin compuesta p q


    que se obtiene unindolas en el orden dado, mediante el conectivo o en
    sentido incluyente. Ejemplo: Dadas las proposiciones: p: Juan canta q: Juan
    baila La disyuncin de ambas es. p q: Juan canta o baila El sentido lgico
    establece que p q, es verdadera cuando por lo menos una de las
    proposiciones es verdadera. Su tabla de verdad es:
    p
    V
    V
    F
    F

    q
    V
    F
    V
    F

    p q
    V
    V
    V
    F

    Conjuncin de las proposiciones p y q, es la proposicin compuesta p q


    que se obtiene unindolas, en el orden dado, mediante el conectivo y.
    Ejemplo dadas las proposiciones: p: Juan canta q: Juan baila La conjuncin
    de ambas es: p q: Juan canta y baila Considerando el razonamiento lgico
    se deduce que p q es verdadera slo cuando ambas proposiciones son
    verdaderas. Su tabla de verdad es:
    p
    V
    V
    F
    F

    q
    V
    F
    V
    F

    p q
    V
    F
    F
    F

    Condicional o Implicacin de las proposiciones p y q es la proposicin


    compuesta p q, anteponiendo a la primera proposicin la palabra Si, y
    uniendo ambas mediante la palabra entonces. En este caso las proposiciones
    p y q reciben el nombre de antecedente y consecuente respectivamente.
    Dadas las proposiciones: p: a y b son nmeros pares q: la suma entre a y b
    es un nmero par La implicacin entre ambas es: p q: Si a y b son nmeros
    pares, entonces la suma entre a y b es un nmero par. La tabla de verdad
    correspondiente para esta proposicin, tiene la siguiente estructura:
    p

    Prof: Lic. Yann Chavarra Herrera

    p q

    Universidad Metropolitana Castro Carazo


    Ingeniera en Informtica
    Tablas de la Verdad
    V
    V
    F
    F

    V
    F
    V
    F

    2015
    V
    F
    V
    V

    Bicondicional o Equivalencia de las proposiciones p y q, es la proposicin


    compuesta p q, obtenida unindolas mediante el conectivo equivalente,
    que corresponde a la doble implicacin o bicondicional [(p q) (q p)]. Su
    tabla de verdad tiene la siguiente estructura:
    p
    V
    V
    F
    F

    q
    V
    F
    V
    F

    p q
    V
    F
    V
    V

    q p
    V
    V
    F
    V

    p q
    V
    F
    F
    V

    Luego, el bicondicional es verdadero slo cuando las dos proposiciones simples


    tienen el mismo valor de verdad.
    Tautologas, contradicciones y contingencias
    a) Tautologa es una proposicin compuesta que siempre es verdadera (V)
    cualquiera que sea el valor de verdad de sus componentes.
    b) Contradiccin es una proposicin compuesta que siempre es falsa (F)
    cualquiera que sea el valor de verdad de las componentes.
    c) Contingencia es una proposicin compuesta que en algunos casos es
    verdadera y en otros es falsa.
    PRCTICA
    1.
    2.
    3.
    4.
    5.
    6.
    7.
    8.
    9.

    (p v p) p
    p (p v q)
    (p v q) (q v p)
    (p q) [(r v p) (r v q)]
    (p p) q
    ( p V q) ( q V p)
    (P Q) R
    (P Q) V Q
    (P V Q) P Q
    10. (r v p) V p r

    Prof: Lic. Yann Chavarra Herrera

    También podría gustarte