logica uc ing tema4 diagrama semantico (2)

Download Logica Uc Ing Tema4 Diagrama Semantico (2)

Post on 14-Apr-2018

225 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    1/9

    Docente: Mg. David Pizarro

    Huancayo, 2 de septiembre de 2013

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    2/9

    14/09/2013 2

    Diagramas semnticos

    Mtodo decisorio alternativo a las Tablas de verdad

    Representacin de los valores de verdad

    1. Negacin: Como sabemos, si una proposicin o esquema,su negacin es falsa o viceversa.

    a) F[ -A] b) V [-A]

    V [A] F[A]

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    3/9

    Ejemplos:

    En variables: Con esquemas

    F[-p] V [-(p q)]

    V [p] F [(p q)]

    2. Conjuncin: Ambos miembros deben ser verdaderos paraque sea verdad.

    a) F[A^B] b) V[A^B]

    F[A] F[B] V[A]V[B]

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    4/9

    Ejemplos:Con esquemas:

    V [(pq) ^ (r p)]

    V [(p q)]V [(rp)]

    3. Condicional: Es falso cuando el anterior es verdadero y elconsecuente falso.

    a) F [A

    B] b) V[A

    B]

    V[A]F[B] F[A] V[B]

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    5/9

    Ejemplos:

    Con esquemas:

    V [-(p ^ r ) q]

    F [-(p r)] V [(q]

    4. Disyuncin: Es falso cuando ambos miembros son falsos.

    a) F [A v B] b) V[A v B]

    F[A]F[B] V[A] V[B]

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    6/9

    5. Bicondicional: Es verdadero cuando ambos miembros sonfalsos o cuando son verdaderos.

    a) V [A B] b) F [A B]

    V[A] F [A] V [A] F [A]

    V[B] F [B] F [B] V[B]

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    7/9

    Anlisis de esquemas moleculares a travs dediagramas semnticos

    1. Dar un valor de verdad al esquema.

    2. En base al valor de verdad del esquema ir analizando cada

    miembro o sub esquemas- de ste.

    3. Ir numerando, a la derecha, el orden en que se han ido

    analizando los esquemas y sub esquemas

    Dado el siguiente esquema:[(p ^ q) (r v s)]

    F [(p ^ q) (r v s)]

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    8/9

    I) F [(p ^ q) (r v s)] (1)

    V [(p ^ q)]

    F [(r v s)]

    II) F [(p ^ q) (r v s)] (1)

    V [(p ^ q)] (2)

    F [(r v s)]

    V (p)

    V (q)

  • 7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

    9/9

    14/09/2013 9