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