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

¡Te damos la bienvenida a Scribd!

  • 64 vistas

    Tarea PDF

    Cargado por

    Guillermo Bisbal
    Este documento explica cómo demostrar la validez de un argumento lógico mediante la prueba por casos cuando una de las premisas es una disyunción. Proporciona la ley de demostración por casos y un ejemplo resuelto. Luego presenta cuatro ejercicios para que el estudiante practique resolviéndolos usando esta técnica.

    Copyright:

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

    Tarea PDF

    Cargado por

    Guillermo Bisbal
    64 vistas2 páginas
    Este documento explica cómo demostrar la validez de un argumento lógico mediante la prueba por casos cuando una de las premisas es una disyunción. Proporciona la ley de demostración por casos y un ejemplo resuelto. Luego presenta cuatro ejercicios para que el estudiante practique resolviéndolos usando esta técnica.

    Título original

    Tarea.pdf

    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 cómo demostrar la validez de un argumento lógico mediante la prueba por casos cuando una de las premisas es una disyunción. Proporciona la ley de demostración por casos y un ejemplo resuelto. Luego presenta cuatro ejercicios para que el estudiante practique resolviéndolos usando esta técnica.

    Copyright:

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

    Tarea PDF

    Cargado por

    Guillermo Bisbal
    Este documento explica cómo demostrar la validez de un argumento lógico mediante la prueba por casos cuando una de las premisas es una disyunción. Proporciona la ley de demostración por casos y un ejemplo resuelto. Luego presenta cuatro ejercicios para que el estudiante practique resolviéndolos usando esta técnica.

    Copyright:

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

    UNIVERSIDAD CENTRAL DE VENEZUELA

    FACULTAD DE CIENCIAS
    ESCUELA DE COMPUTACION
    MATEMATICAS DISCRETAS I (6106)

    Prueba por Casos

    Si una de las premisas es una disyuncion se puede proceder a demostrar por casos. Conside-
    rando cada uno de los terminos de la disyuncion se debe llegar a la misma conclusion. Este metodo
    se basa en la Ley de demostracion por casos:

    [(p q) r] (p q) (q r)
    Este metodo tambien es valido si una de las premisas es una disyuncion exclusiva. Esto se
    fundamenta en la implicacion:

    pYq pq
    Ejemplo:

    p1 (a b) d
    p2 d (p t)
    p3 q (p t)
    q (a b) q

    Caso 1 Caso 2
    1) (a b) d p1 1) (a b) d p1
    2) d (p t) p2 2) d (p t) p2
    3) q Caso 1 en p3 3) (p t) Caso 2 en p3
    4) q (a b) Adicion en (3) 4)d (p t) Equiv. Implic. 2 veces
    5) (a b) q Conmutativa en (4) 5) p (d t) Asoc/ Conmut en (4)
    6) (a b) q Equiv. Implic. en (5) 6) p (d t) Equiv. Implic. en (5)
    7) p p (d t) Simplif. (3)/Conj. (6)
    8) d t MPP en (7)
    9) (d t) t Simplif. (3)/Conj. (8)
    10) d Silg. Disy. en (9)
    11) [(a b) d] d Conj. (1) y (10)
    13) (a b) MTT en (11)
    14) (a b) q Equi. Implic. en (13)

    1
    Ejercicios:

    Demuestre la validez de los siguientes argumentos logicos haciendo uso de la prueba


    por casos.

    (a) (Ley del Dilema Constructivo)

    p1 pq
    p2 rs
    p3 pr
    q qs

    (b)
    p1 pq r
    p2 (p r) s
    p3 q t
    q q st

    (c)
    p1 ps
    p2 s t
    p3 q d (h t)
    p4 (p q) (p d)
    p5 t
    q h

    (d)
    p1 cYa
    p2 cl
    p3 az
    p4 c z
    p5 a l
    q l z

    También podría gustarte