Mg. CÉSAR AUGUSTO POMA HENOSTROZA

Presentación del tema: "Mg. CÉSAR AUGUSTO POMA HENOSTROZA"— Transcripción de la presentación:

1 Mg. CÉSAR AUGUSTO POMA HENOSTROZA
SISTEMAS DE FÓRMULAS Y TÉCNICAS DE VALIDACIÓN Mg. CÉSAR AUGUSTO POMA HENOSTROZA 2016

2 1) Conversión de sistemas
Introducción La Lógica Moderna, en estas últimas décadas está renovándose con nuevos conceptos y aplicaciones en diversos campos, tanto en nuestra vida cotidiana como en el campo profesional y laboral. Comprendiendo que esta tarea es variado por la complejidad de los idiomas, se han diseñado muchas formas de sistemas lógicos, siendo los más conocidos: Estándar y Polaco. Este último en alusión al lógico Lukasiewicz, creador de la lógica polivalente. Veamos en que consiste cada uno de ellos.

3 DIFERENCIA ENTRE LOS SISTEMAS ESTANDAR Y POLACO
CRITERIOS ESTANDAR POLACO VARIABLES p, q, r, s, etc. FMF pq FBF pq OPERADORES Negación ~ Condicional → Conjunción ^ Negación conjunta ↓ Bicondicional ↔ Disyunción Fuerte ≠ Negación Alterna ⁄ Disyunción débil v N C K X E J D A JERARQUIZACIÓN DE OPERADORES ( ), [ ], { }, | | A > encierro < jerarquía A < encierro > jerarquía Tiene > jerarquía el operador que está en el extremo izquierdo.

4 CONVERSIÓN DEL SISTEMA ESTANDAR AL POLACO
Se inicia con el operador mayor y el símbolo se coloca al extremo izquierdo, luego se convierte de manera secuencial de izquierda a derecha a partir de los operadores. Ejemplos: 1) ~ p v ( q → ~ r ) A N p C q N r

5 2) p v [~ q v ~(r → ~ s)] A p A N q N C r N s 3) [(p → ~ q) → (~ r v ~ p)] → (~ p v ~ q) C C C p N q A N r N p A N p N q 4) [~ q v (r → s)] → [ s v ~ (~ p → ~ r) ] C A N q C r s A s N C N p N r

6 DEL POLACO AL ESTANDAR Se inicia con dos variables que se encuentren bajo el dominio o alcance de un operador diádico. Estos, conservan su misma ubicación. Ejemplo: 1) N A C N p q A N q r ~ [ (~ p → q ) v (~ q v r ) ]

7 2) C C p q N r (p → q) → ~ r 3) N A C p q N q ~ [ (p → q) v ~ q ] 4) D K C A p q N q p N p 5) N A C p N q N E N p N r

8 2) SISTEMAS DE VALIDACION
1) MÉTODO ABREVIADO Para buscar Tautología (T): Ejemplo 1 1) Ubicar el operador de mayor jerarquía de la formula problema. [( ~ p v q )  ~ ( p  ~ q )] ® (p ® q ) Operador mayor (condicional) 2) Asignar el valor de falsedad «F» debajo del operador mayor. [( ~ p v q )  ~ ( p ~ q )] ® (p ® q ) F

9 [( ~ p v q )  ~ ( p  ~ q )] ® (p ® q ) V F F
3) Justificar el valor de «F» poniendo valores de V o F debajo de los operadores que siguen en jerarquía tanto en la formula derecha como izquierda del operador mayor. Estos valores se asignarán teniendo en cuenta la fórmula de dicho operador. [( ~ p v q )  ~ ( p  ~ q )] ® (p ® q ) V F F 4) Se asignan valores de verdad o falsedad (según los casos) debajo de cada variable justificando siempre la fórmula de los operadores. Las variables redundantes tendrán los mismos valores asignados a los primeros. [(~ p v q )  ~ ( p  ~ q )] ® (p ® q ) F V F V V V F V F V F F

10 5) Un operador será tautológico cuando al verificar los valores asignados con las fórmulas de los operadores presentan una o más contraposiciones. Caso contrario (cuando todo se justifica) la formula puede ser contradicción o consistencia. [(~ p v q )  ~ ( p  ~ q )] ® (p ® q ) F V F V V V F V F V F F F V hay contraposiciones. Tautología

11 MÉTODO DEL ÁRBOL LÓGICO O DIAGRAMAS SEMÁNTICOS

12 Ejemplo F  p  [ (q  p)   p] v ( p) F [(q  p)   p] F (p)
V (q  p) F (p) V (p) R1 Hay contraposición. Es tautología

13 Desarrollar 1) [ ( p ® q )  ~ q ] ® ~ p 2) [ ( ~ q v p )  q ] ® p
3) [ (p ® q ) ® ~ p ] ® (q v p) 4) [ (p v q )  q ] ® ~ ( p ® q)