Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 204 vistas

    Metodo Abreviado 2BE

    Cargado por

    Wilmar Adrian Andre Morales
    Este documento presenta dos ejemplos de evaluación de esquemas moleculares mediante el método abreviado. En el primer ejemplo, se asignan valores de verdad a las proposiciones simples y luego se evalúa el esquema molecular para determinar que es tautológico. En el segundo ejemplo también se asignan valores a las proposiciones simples y se evalúa el esquema molecular, determinando que también es tautológico. Finalmente, se explica brevemente en qué consiste el método abreviado.

    Copyright:

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

    Metodo Abreviado 2BE

    Cargado por

    Wilmar Adrian Andre Morales
    204 vistas6 páginas
    Este documento presenta dos ejemplos de evaluación de esquemas moleculares mediante el método abreviado. En el primer ejemplo, se asignan valores de verdad a las proposiciones simples y luego se evalúa el esquema molecular para determinar que es tautológico. En el segundo ejemplo también se asignan valores a las proposiciones simples y se evalúa el esquema molecular, determinando que también es tautológico. Finalmente, se explica brevemente en qué consiste el método abreviado.

    Descripción original:

    Concepto y ejercicios

    Título original

    metodo abreviado 2BE

    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 presenta dos ejemplos de evaluación de esquemas moleculares mediante el método abreviado. En el primer ejemplo, se asignan valores de verdad a las proposiciones simples y luego se evalúa el esquema molecular para determinar que es tautológico. En el segundo ejemplo también se asignan valores a las proposiciones simples y se evalúa el esquema molecular, determinando que también es tautológico. Finalmente, se explica brevemente en qué consiste el método abreviado.

    Copyright:

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

    Metodo Abreviado 2BE

    Cargado por

    Wilmar Adrian Andre Morales
    Este documento presenta dos ejemplos de evaluación de esquemas moleculares mediante el método abreviado. En el primer ejemplo, se asignan valores de verdad a las proposiciones simples y luego se evalúa el esquema molecular para determinar que es tautológico. En el segundo ejemplo también se asignan valores a las proposiciones simples y se evalúa el esquema molecular, determinando que también es tautológico. Finalmente, se explica brevemente en qué consiste el método abreviado.

    Copyright:

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

    Ejemplo:

    Evaluar el valor de verdad del siguiente esquema molecular:

    B { ( p  ~ q )  [ ( r  q )  ~ r ] }  ~ q
    Evaluando:

    p q r {( p  ~ q )  [ ( r  q )  ~ r ]}  ~ q
    V V V V F F F V F F V F
    V V F V F F F V V V V F
    V F V V V V F F F F V V
    V F F V V V V V V V V V
    F V V F V F F V F F V F
    F V F F V F V V V V F F
    F F V F F V F F F F V V
    F F F F F V F V V V V V

    1 2 1 3 1 2 1 OP 1

    Por tanto al evaluar el esquema molecular y observar los valores de OP resulta


    una CONTINGENCIA.

    PERVISU
    Ejemplo:
    Evaluar el valor de verdad del siguiente esquema molecular:

    {[ ( ~ p  q )  ( q  r ) ]  ~ r }  p
    Evaluando:

    p q r {[ ( ~ p  q )  ( q  r ) ]  ~ r }  p
    V V V F V V V V F F V V
    V V F F V V F F F V V V
    V F V F V F V V F F V V
    V F F F V F V V V V V V
    F V V V V V V V F F V F
    F V F V V V F F F V V F
    F F V V F F F V F F V F
    F F F V F F F V F V V F
    1 2 1 3 2 4 1 OP 1

    Al evaluar el esquema molecular y observar los valores de OP resulta una


    TAUTOLOGIA.

    PERVISU
    PRACTICA GRUPAL: (PARA QUE LOS ESTUDIANTES EN GRUPOS LO DESARROLLEN)

    Evaluar el valor de verdad de los siguientes esquemas moleculares:

    A     p  q    q   (  p  q )

    E  {   p  r    q   (  r  q ) }

    B   p  q   ( q  r )   ( p  r )

    C   q  r   ( p  r )   p  r

    PERVISU
    FORMA ABREVIADA

    Para establecer el valor de verdad de un esquema lógico o proposición compuesta se


    puede asignar valores de verdad a las proposiciones simples que lo conforman y así
    conocer el valor de verdad de la proposición compuesta, este proceso se conoce como la
    forma abreviada.

     Determinación del valor de verdad de la proposición compuesta a partir de conocer el


    valor de verdad de las proposiciones simples.

     Determinación del valor de verdad de las proposiciones simples a partir de conocer el


    valor de verdad de la proposición compuesta.

    PERVISU
    Ejemplo:
    Dada las proposiciones simples 𝑝, 𝑞, 𝑟 𝑦 𝑠 con sus respectivos valores de verdad. 𝑣 𝑝 = 𝐹,
    𝑣 𝑞 = 𝐹, 𝑣 𝑟 = 𝑉 𝑦 𝑉 𝑠 = 𝑉 . Evaluar el valor de verdad del siguiente esquema
    molecular: E  ( p  r )  [  ( p  s)  q ]

    Evaluando:

    E  ( p  r )  [  ( p  s)  q ]

    E( p  r)  [  ( p  s )  q ]
    F V F V
    F F

    V F
    F F

    V

    Al evaluar el esquema molecular por método abreviado se puede observar que en el OP resulta
    VERDADERA O TAUTOLOGICA.

    PERVISU
    Ejemplo:
    Dada las proposiciones simples 𝑝, 𝑞, 𝑟 𝑦 𝑠 con sus respectivos valores de verdad. 𝑣 𝑝 = 𝑉,
    𝑣 𝑞 = 𝑉, 𝑣 𝑟 = 𝐹, 𝑣 𝑠 = 𝑉 𝑦 𝑣 𝑡 = 𝐹 . Evaluar el valor de verdad del siguiente esquema
    molecular:
    E  [ ( p   r )  t ]   [  ( p  s)  q ]
    Evaluando:

    [ ( p  r )  t ]   [  ( p  s )  q ]

    V V V V V
     V
    V V F V

    V
     
    V F
    V
    Al evaluar el esquema molecular por método abreviado se puede observar que en el OP resulta
    VERDADERA O TAUTOLOGICA.

    PERVISU

    También podría gustarte