descripicion breve de teoria sobre diagramas de flujos asmDescripción completa
Diagramas semánticos
Docente: Mg. David Pizarro Dirección de Calidad Educativa
Reglas del procedimiento para el método de los diagramas semánticos El método de Diagramas Semánticos, permite a través de un proceso determina la naturaleza de una formula lógica, es decir si es tautología, contradicción o consistencia. 1. Suponer que toda la formula es verdadera o falsa. 2. Aplicar las reglas semánticas (RS) usando las fórmulas de los operadores, en las fórmulas que no ofrecen bifurcación.
3. Clausurar la rama que muestra contraposición de valores.
4. Una fórmula puede bifurcarse en dos o más sub – ramas, y éstas a su vez en otras, así sucesivamente. Si no se encuentran valores contrapuestos se debe poner asteriscos o dejar en blanco para entender que en «p» o en «q» no existen valores encontrados (contrapuestos). 5. Cada rama es independiente respecto a otras, salvo en lo que respecta al tronco o rama de donde procedan.
6. Si la fórmula que está en el tronco común se bifurca, se introducirá en cada una de las sub ramas no clausuradas.
Diagramas semánticos Método decisorio alternativo a las Tablas de 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]
b) V [∼A]
F[A]
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]
V[B]
F[B]
b) V[A B]
V[A]
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 ) q] F [∼(p r)]
V [q]
4. Disyunción: Es falso cuando ambos miembros son falsos. a) F [A B]
F[A] F[B]
b) V[A B]
V[A]
V[B]
5. Bicondicional: Es verdadero cuando ambos miembros son falsos o cuando son verdaderos. a)
V [A B]
V[A] V[B]
b) F [A B]
F [A] F [B]
V [A] F [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 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 s)] F [(p q) (r s)]
I)
F [(p q) (r s)] (1) V [(p q)] F [(r s)]
II)
F [(p q) (r s)] (1) V [(p q)] (2) F [(r s)] V (p) V (q)
Cuestiones previas: Recuerda: a. Las Reglas del Diagrama Semántico para las proposiciones básicas
