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

¡Te damos la bienvenida a Scribd!

  • 73 vistas

    Tarea de Logica Matematica 4

    Cargado por

    Ricky Almonte
    Este documento presenta las reglas lógicas de negación, adición, modus ponens, silogismo hipotético, silogismo disyuntivo y dilema constructivo. Incluye tablas de verdad para verificar las reglas lógicas de manera simbólica y comprobar su validez. También contiene ejemplos de proposiciones lógicas cuantificadas para determinar su valor de verdad.

    Copyright:

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

    Tarea de Logica Matematica 4

    Cargado por

    Ricky Almonte
    73 vistas7 páginas
    Este documento presenta las reglas lógicas de negación, adición, modus ponens, silogismo hipotético, silogismo disyuntivo y dilema constructivo. Incluye tablas de verdad para verificar las reglas lógicas de manera simbólica y comprobar su validez. También contiene ejemplos de proposiciones lógicas cuantificadas para determinar su valor de verdad.

    Descripción original:

    la tarea 4 para logica matemarica

    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 las reglas lógicas de negación, adición, modus ponens, silogismo hipotético, silogismo disyuntivo y dilema constructivo. Incluye tablas de verdad para verificar las reglas lógicas de manera simbólica y comprobar su validez. También contiene ejemplos de proposiciones lógicas cuantificadas para determinar su valor de verdad.

    Copyright:

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

    Tarea de Logica Matematica 4

    Cargado por

    Ricky Almonte
    Este documento presenta las reglas lógicas de negación, adición, modus ponens, silogismo hipotético, silogismo disyuntivo y dilema constructivo. Incluye tablas de verdad para verificar las reglas lógicas de manera simbólica y comprobar su validez. También contiene ejemplos de proposiciones lógicas cuantificadas para determinar su valor de verdad.

    Copyright:

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

    NOMBRE:

    Ricardo Ant. Almonte Sánchez

    MATRICULA:

    17 - 5850

    ASIGNATURA:

    Lógica Matemática

    FACILITADORA:

    Roberto Antonio Herrera


    Dadas las reglas:
    a) "no (A y B)" es lo mismo que "(no A) o (no B)"
    y también,

    b) "no (A o B)" es lo mismo que "(no A) y (no B)"


    Actividades
     Escribe simbólicamente las reglas a y b

    a. ~ (A ᶺ B) ≡ ~ A ˅ ~ B
    b. ~ (A ˅ B) ≡ ~ A ᶺ ~ B

     Comprueba la representación simbólica de cada regla


    a)
    A B AᶺB ~(AᶺB) A B ~A ~B ~A˅~B

    1 1 1 0 1 1 0 0 0

    1 0 0 1 1 0 0 1 1

    0 1 0 1 0 1 1 0 1

    0 0 0 1 0 0 1 1 1

    B
    A B ~A ~B ~Aᶺ~B
    A B A˅B ~(A˅B)
    I) 1 1 0 0 0
    1 1 1 0

    1 0 1 0 1 0 0 1 0

    0 1 1 0 0 1 1 0 0

    0 0 0 1 0 0 1 1 1
    Realice la comprobación tautológica de las siguientes reglas
    (usa 1 para verdadero y 0 para falso)
    ADICIÓN MODUS PONENS

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

    1 1 1 1 1 1 1 1 1

    1 0 1 1 1 0 0 0 1

    0 1 1 1 0 1 1 0 1

    0 0 0 1 0 0 1 0 1

    SILOGISMO HIPOTÉTICO

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

    1 1 1 1 1 1 1 1

    1 1 0 1 0 0 0 1

    1 0 1 0 1 1 0 1

    1 0 0 0 1 0 0 1

    0 1 1 1 1 1 1 1

    0 1 0 1 0 1 0 1

    0 0 1 1 1 1 1 1

    0 0 0 1 1 1 1 1

    SILOGISMO DISYUNTIVO

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

    1 1 0 1 0 1

    1 0 0 1 0 1

    0 1 1 1 1 1

    0 0 1 0 0 1
    DILEMA CONSTRUCTIVO

    A B C D
    P Q R S P→Q R→S P˅R Q˅S AᶺB (AᶺB)ᶺC [(AᶺB)ᶺC]→D

    1 1 1 1 1 1 1 1 1 1 1

    1 1 1 0 1 0 1 1 0 0 1

    1 1 0 1 1 1 1 1 1 1 1

    1 1 0 0 1 1 1 1 1 1 1

    1 0 1 1 0 1 1 1 0 0 1

    1 0 1 0 0 0 1 0 0 0 1

    1 0 0 1 0 1 1 1 0 0 1

    1 0 0 0 0 1 1 0 0 0 1

    0 1 1 1 1 1 1 1 1 1 1

    0 1 1 0 1 0 1 1 0 0 1

    0 1 0 1 1 1 0 1 1 0 1

    0 1 0 0 1 1 0 1 1 0 1

    0 0 1 1 1 1 1 1 1 1 1

    0 0 1 0 1 0 1 0 0 0 1

    0 0 0 1 1 1 0 1 1 0 1

    0 0 0 0 1 1 0 0 1 0 1
    CONTRADICCIÓN

    C P ~P ~P→C (~P→C)→P

    1 1 0 1 1

    1 0 1 1 0

    0 1 0 1 1

    0 0 1 0 1

    DEMOSTRACIÓN CONDICIONAL

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

    1 1 1 1 1 1 1 1

    1 1 0 1 0 0 0 1

    1 0 1 0 1 1 0 1

    1 0 0 0 1 1 0 1

    0 1 1 0 1 1 0 1

    0 1 0 0 0 1 0 1

    0 0 1 0 1 1 0 1

    0 0 0 0 1 1 0 1
    Determine el valor de verdad de las siguientes
    proposiciones:

    a) Ʉm ε Z+, Ǝn ε Z+, 2n = m=V


    b) (Ʉx ε R), (Ǝy ε R)(xy = 1)=V
    c) (Ǝx ε R), (Ǝy ε R)(xy = 1)=V

    Sea x: entero positivo. Determine valor de verdad de las proposiciones


    y justifique sus respuestas

    a) Ʉx [x ε pares Λ x ε impares] = F (No todos los números


    enteros positivos son pares y no todos son impares)

    b) Ʉx [x = 5] = F (No todo número entero positivo es igual a


    5)

    c) ᴲx [x ε pares Λ x ε primo] = V (Si existen enteros positivos


    pares y primos)

    d) ᴲ!x [x ε pares Λ x ε primo] = V (Si existen enteros positivos


    pares y primos)

    Sean (x,y) pares ordenados enteros positivo. Encuentre el valor de


    verdad y justifique su respuesta.

    a) ᴲ!x,y [y = 2x +1] = V (Porque existe al menos un número que sea


    igual al doble de otro número más uno. 5=2(2)+1.)

    b) Ʉx,y [ y < x/3] = F (No todo número es menor que otro entre 3)

    También podría gustarte