Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 196 vistas

    Tarea de Logica 2

    Cargado por

    Ricky Almonte
    Este documento presenta un ejercicio de lógica matemática sobre tablas de verdad y reglas de inferencia. En la primera sección, se pide completar una tabla de verdad y clasificar varias proposiciones lógicas. La segunda sección evalúa la validez de algunas formas argumentales usando reglas de inferencia. La tercera sección comprueba que ciertas reglas de inferencia como el modus ponens y el modus tollens son tautologías. La cuarta sección evalúa equivalencias lógicas como implicación-disy

    Copyright:

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

    Tarea de Logica 2

    Cargado por

    Ricky Almonte
    196 vistas6 páginas
    Este documento presenta un ejercicio de lógica matemática sobre tablas de verdad y reglas de inferencia. En la primera sección, se pide completar una tabla de verdad y clasificar varias proposiciones lógicas. La segunda sección evalúa la validez de algunas formas argumentales usando reglas de inferencia. La tercera sección comprueba que ciertas reglas de inferencia como el modus ponens y el modus tollens son tautologías. La cuarta sección evalúa equivalencias lógicas como implicación-disy

    Descripción original:

    tarea de matemática lógica 2 uapa

    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?

    Este documento presenta un ejercicio de lógica matemática sobre tablas de verdad y reglas de inferencia. En la primera sección, se pide completar una tabla de verdad y clasificar varias proposiciones lógicas. La segunda sección evalúa la validez de algunas formas argumentales usando reglas de inferencia. La tercera sección comprueba que ciertas reglas de inferencia como el modus ponens y el modus tollens son tautologías. La cuarta sección evalúa equivalencias lógicas como implicación-disy

    Copyright:

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

    Tarea de Logica 2

    Cargado por

    Ricky Almonte
    Este documento presenta un ejercicio de lógica matemática sobre tablas de verdad y reglas de inferencia. En la primera sección, se pide completar una tabla de verdad y clasificar varias proposiciones lógicas. La segunda sección evalúa la validez de algunas formas argumentales usando reglas de inferencia. La tercera sección comprueba que ciertas reglas de inferencia como el modus ponens y el modus tollens son tautologías. La cuarta sección evalúa equivalencias lógicas como implicación-disy

    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 6

    NOMBRE:

    Ricardo Ant. Almonte Sánchez

    MATRICULA:

    17 - 5850

    ASIGNATURA:

    Lógica Matemática

    FACILITADORA:

    Roberto Herrera
    EJERCICIO DEL TEMA II
    I) Completa la siguiente tabla y luego clasifícala en tautología, contingencia o
    contradicción:

    p q ~p ~q (~p ^ ~q) (p v q) (~p ^ ~q)→ (p v q)


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

    II) Demuestre por medio de tablas de verdad si la siguientes proposiciones son


    Tautología (T) Contingencia o Indeterminación (k) o Contradicción (C)
    a) [(p → q) ∧ ~p] →~q (Contingencia)

    p q ~p ~q ( P→q) ( P→q)^~p [ ( P→q)^~p]→~ q


    V V F F V F V
    V F F V F F V
    F V V F V V F
    F F V V V V V
    b) [(p v q) ∧ r] ↔ [(p ↔q) v r ] (Contingencia)

    P q R (p v q) (p ↔q) [(p v q) ∧ r] [(p ↔q) v r ] [(p v q) ∧ r] ↔ [(p ↔q) v r ]


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

    F) [(p V q) ^ ( p→ r) ^ ¬ r] → q (Tautologia)

    P Q R ~R PvQ Q→R (PVQ) ᶺ (Q→R) (PVQ) ᶺ (Q→R) ᶺ ~R [PVQ) ᶺ (Q→R)ᶺ~R] →P


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

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

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

    H) [(p ˄ q) ˅ ~r)] ↔(~p ˄ r)

    P Q R ~P ~R PᶺQ ~PᶺR [(p ˄ q) ˅ ~r)] [(p ˄ q) ˅ ~r)] ↔(~p ˄ r)

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

    V F F F V F F V F
    F V V V F F V F F
    F V F V V F F V F
    F F V V F F V F F
    F F F V V F F V F
    III) Utilice las reglas de inferencia para determinar el valor de verdad de las
    siguientes formas argumentales:
    a) H1: P
    H2: PQ
    H3: QR
    _________
    C: ┐P Λ R

    [{Pᶺ(P→Q}) ᶺ (Q→R)]→(~PᶺR)

    P Q R ~P P→Q Q→R ~PᶺR Pᶺ(P→Q) {Pᶺ(P→Q})ᶺ(Q→R) [{Pᶺ(P→Q})ᶺ(Q→R)]→(~PᶺR)


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

    b) P1: P Λ Q
    P2: PQ
    P3: QR
    _________
    C: ┐P Λ R

    {[(P Λ Q)ᶺ(P→Q)]ᶺ(Q→R)}→(~PᶺR)

    P Q R ~P P ΛQ P→Q Q→R ~PᶺR (P Λ Q)ᶺ( P→Q) {[(P Λ Q)ᶺ( P→Q)]ᶺ {[(P Λ Q)ᶺ(
    (Q→R)} P→Q)]ᶺ
    (Q→R)}→(~PᶺR)

    V V V F V V V F V V F

    V V F F V V F F V F V

    V F V F F F V F F F V

    V F F F F F V F F F V

    F V V V F V V V F F V

    F V F V F V F F F F V

    F F V V F V V V F F V

    F F F V F V V F F F V
    IV) Compruebe que las siguientes reglas de inferencias son tautologías

     Modus Ponens

    P Q P→Q (P→Q)ᶺP [(P→Q)ᶺP]→Q

    V V V V V

    V F F F V

    F V V F V

    F F V F V

     Modus Tollens

    P Q ~P ~Q P→Q (P→Q)ᶺ~Q [(P→Q)ᶺ~Q]→~P


    V V F F V F V
    V F F V F F V
    F V V F V F V
    F F V V V V V
    V) Compruebe la equivalencia lógica en cada caso:

    1) Implicación y Disyunción
    P Q P→Q P Q ~P ~P˅Q
    V V V V V F V
    V F F V F F F
    F V V F V V V
    F F V F F V V

    2) Doble Negación

    P ~P ~~P
    V F V
    F V F

    3) De Morgan
    P Q P˅Q ~(P˅Q) P Q ~P ~Q ~Pᶺ~Q
    V V V F V V F F F
    V F V F V F F V F
    F V V F F V V F F
    F F F V F F V V V

    b)
    P Q PᶺQ ~(PᶺQ) P Q ~P ~Q ~P˅~Q
    V V V F V V F F F
    V F F V V F F V V
    F V F V F V V F V
    F F F V
    F F V V V

    También podría gustarte