Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 183 vistas

    Tarea 2 Logica Proposicional

    Cargado por

    Sharely Nicole
    Este documento explica los diferentes conectivos lógicos como la conjunción, disyunción, condicional e implicación y cómo estos conectan proposiciones para expresar ideas más complejas. También describe cómo determinar el valor de verdad de proposiciones compuestas usando tablas de verdad.

    Copyright:

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

    Tarea 2 Logica Proposicional

    Cargado por

    Sharely Nicole
    183 vistas5 páginas
    Este documento explica los diferentes conectivos lógicos como la conjunción, disyunción, condicional e implicación y cómo estos conectan proposiciones para expresar ideas más complejas. También describe cómo determinar el valor de verdad de proposiciones compuestas usando tablas de verdad.

    Descripción original:

    segunda parte

    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?

    Este documento explica los diferentes conectivos lógicos como la conjunción, disyunción, condicional e implicación y cómo estos conectan proposiciones para expresar ideas más complejas. También describe cómo determinar el valor de verdad de proposiciones compuestas usando tablas de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    183 vistas5 páginas

    Tarea 2 Logica Proposicional

    Cargado por

    Sharely Nicole
    Este documento explica los diferentes conectivos lógicos como la conjunción, disyunción, condicional e implicación y cómo estos conectan proposiciones para expresar ideas más complejas. También describe cómo determinar el valor de verdad de proposiciones compuestas usando tablas de verdad.

    Copyright:

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

    Son palabras que vinculan las ideas expresadas

    CONECTIVOS en dos o más proposiciones simples, para


    comunicar algo más complejo y estos están
    LOGICOS
    identificados con un símbolo especial y un nombre
    que representan la función que cumplen.

    CONECTIVO NOTACION NOMBRE


    LOGICO
    Y Conjunción
    ∧
    O ∨ Disyunción débil

    o…o  Disyunción fuerte

    Si…. Entonces  Implicación

    Si y solo si  Equivalencia

    No es cierto que ~ Negación


    Para determinar el valor de verdad de una proposición compuesta se elabora una tabla de verdad.

    p p q p q r
    V V V
    V V V
    V V F
    V F
    f V F V
    F V V F F
    𝟏
    𝟐
    F F F V V
    F V F
    𝟐𝟐 F F V

    F F F

    EN GENERAL PARA “n” 𝟐𝟑


    PROPOSICIONES SE
    PUEDEN PRESENTAR 𝟐𝒏
    POSIBILIDADES

    Vincula dos proposiciones mediante el conectivo


    I. CONJUNCION lógico “y”, cuyo símbolo es “∧” y se llama conjuntor.

    “Isabela viajo a Lima y Martin viajo a Cusco

    p q p∧q P q
    EJEMPLO V V V
    Simbología: “p ∧ q”

    V F F Es verdadera cuando las


    dos proposiciones son
    F V F verdaderas
    F F F
    Vincula dos proposiciones mediante el conectivo
    II. DISYUNCION DEBIL lógico “O”, cuyo símbolo es “∨” y se llama disyuntor.

    “Isabela viajara a Lima o a Cusco”

    P q Simbología: “p ∨ q”
    EJEMPLO p q p∨ q
    V V V

    V F v Es falsa solo si ambas


    proposiciones son falsas
    F V v
    F F F

    Vincula dos proposiciones mediante el conectivo lógico


    III. DISYUNCION FUERTE “O……o…”, cuyo símbolo es “”y se llama disyuntor fuerte.

    “ O Isabela vive en Lima o en Cusco”


    P q
    EJEMPLO p q pq Simbología: “p  q”
    V V F

    V F v Es falsa solo si ambas


    proposiciones tienen
    F V v idénticos valores de
    F F F verdad
    Vincula dos proposiciones mediante el conectivo lógico
    “si….entonces…”, cuyo símbolo es “” y se llama
    IV. CONDICIONAL implicador.

    “Si 10 es un numero par entonces es divisible entre 2”

    P q
    EJEMPLO p q p q
    Simbología: “p q”
    V V V

    V F F Es falso cuando el
    F V antecedente es
    v verdadero y el
    F F V consecuente es falso

    Vincula dos proposiciones mediante el conectivo lógico


    V. BICONDICIONAL “….si y solo si”, cuyo símbolo es “” llamado doble
    implicador.

    “Sicilia es una isla si y solo si está rodeada de agua ”

    P q

    p q p” q Simbología: “p ” q”
    EJEMPLO V V V

    V F F Es verdadero solo si
    ambas proposiciones
    F V F tienen idénticos valores
    de verdad
    F F V
    Afecta a una sola proposición, Es un operador que cambia

    VI. NEGACION el valor de verdad de una proposición. Su símbolo es “~” y


    se llama negador

    p ~p
    “Todo número elevado al cuadrado es positivo”
    EJEMPLO
    P V F
     “No todo número elevado al cuadrado es positivo”
    F V
    ~P

    También podría gustarte