ensayo
Páginas: 2 (335 palabras)
Publicado: 21 de mayo de 2014
´
Docente: Mg. David Pizarro
Huancayo, 31 de marzo de 2014
OBJETIVOS
Definir los diagramas semánticos
Aplicar los diagramas semánticos en la resolución de esquemas lógicos
INDICADORESEl estudiante identifica los diagramas semánticos
El estudiante resuelve 3 ejercicios de diagramas semánticos
27/03/2014
2
Diagramas semánticos
Método decisorio alternativo a las Tablasde verdad
Representación de los valores de verdad
1. Negación: Como sabemos, si una proposición o esquema,
su negación es falsa o viceversa.
a) F[ -A]
V [A]
27/03/2014
b) V [-A]F[A]
3
Ejemplos:
En variables:
Con esquemas
F[-p]
V [-(p
q)]
V [p]
F [(p
q)]
2. Conjunción: Ambos miembros deben ser verdaderos para
que sea verdad.
a) F[A^B]
F[A]F[B]
b) V[A^B]
V[A]
V[B]
Ejemplos:
Con esquemas:
V [(p
q) ^ (r
p)]
V [(p
q)]
V [(r p)]
3. Condicional: Es falso cuando el anterior es verdadero y el
consecuente falso.a) F [A B]
V[A]
F[B]
b) V[A B]
F[A]
V[B]
Ejemplos:
Con esquemas:
V [-(p ^ r )
F [-(p ^ r)]
q]
V [(q]
4. Disyunción: Es falso cuando ambos miembros son falsos.
a) F[A v B]
F[A]
F[B]
b) V[A v B]
V[A]
V[B]
5. Bicondicional: Es verdadero cuando ambos miembros son
falsos o cuando son verdaderos.
a) V [A
V[A]
V[B]
B]
b) F [A
F [A]
F[B]
V [A]
F [B]
B]
F [A]
V[B]
Análisis de esquemas moleculares a través de
diagramas semánticos
1. Dar un valor de verdad al esquema.
2. En base al valor de verdad del esquema iranalizando 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)]
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)
27/03/2014
10
Docente: Mg. David Pizarro
Huancayo, 31 de marzo de 2014
OBJETIVOS
Definir los diagramas semánticos
Aplicar los diagramas semánticos en la resolución de esquemas lógicos
INDICADORESEl estudiante identifica los diagramas semánticos
El estudiante resuelve 3 ejercicios de diagramas semánticos
27/03/2014
2
Diagramas semánticos
Método decisorio alternativo a las Tablasde verdad
Representación de los valores de verdad
1. Negación: Como sabemos, si una proposición o esquema,
su negación es falsa o viceversa.
a) F[ -A]
V [A]
27/03/2014
b) V [-A]F[A]
3
Ejemplos:
En variables:
Con esquemas
F[-p]
V [-(p
q)]
V [p]
F [(p
q)]
2. Conjunción: Ambos miembros deben ser verdaderos para
que sea verdad.
a) F[A^B]
F[A]F[B]
b) V[A^B]
V[A]
V[B]
Ejemplos:
Con esquemas:
V [(p
q) ^ (r
p)]
V [(p
q)]
V [(r p)]
3. Condicional: Es falso cuando el anterior es verdadero y el
consecuente falso.a) F [A B]
V[A]
F[B]
b) V[A B]
F[A]
V[B]
Ejemplos:
Con esquemas:
V [-(p ^ r )
F [-(p ^ r)]
q]
V [(q]
4. Disyunción: Es falso cuando ambos miembros son falsos.
a) F[A v B]
F[A]
F[B]
b) V[A v B]
V[A]
V[B]
5. Bicondicional: Es verdadero cuando ambos miembros son
falsos o cuando son verdaderos.
a) V [A
V[A]
V[B]
B]
b) F [A
F [A]
F[B]
V [A]
F [B]
B]
F [A]
V[B]
Análisis de esquemas moleculares a través de
diagramas semánticos
1. Dar un valor de verdad al esquema.
2. En base al valor de verdad del esquema iranalizando 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)]
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)
27/03/2014
10
Leer documento completo
Regístrate para leer el documento completo.