Post on 01-Jul-2015
description
Subfórmulas positivas
Clase 15Leonel Morales Díazlitomd@ufm.eduleonel@ingenieriasimple.com25/Julio/2014
Definición
• Las subfórmulas positivas son:• Cualquier subfórmula
• Que puede ser descompuesta• En un árbol de análisis (parse tree) por ejemplo
• Sin aplicar la regla de negación
• Otra definición:• Cualquier subfórmula
• Que no ocurre dentro de una negación
2 de 11
Ejemplo
((Q & (P (T v R))) v (M & ~(S v (T & R))))
¿Cuáles son subfórmulas positivas?– Toda la fórmula es subfórmula de sí misma
– La fórmula es una subfórmula positiva de sí misma
– La fórmula es una disyunción
– Cada disyunto es una subfórmula positiva
3 de 11
Ejemplo
((Q & (P (T v R))) v (M & ~(S v (T & R))))¿Cuáles NO son subfórmulas positivas?
– OJO: ~(S v (T & R)) sí es subfórmula positiva
– (S v (T & R)) NO es subfórmula positiva• Habría que negarla para que lo fuera
– (T & R) tampoco es subfórmula positiva
– S tampoco es subfórmula positiva• Están dentro de una negación
– P tampoco es subfórmula positiva• Es el antecedente de una implicación
4 de 11
5 de 11
Árbol de análisis
((Q & (P (T v R))) v (M & ~(S v (T & R))))
1.P, Q, R, S, etc.,son FL2.~FL es FL3.FL & FL es FL4.FL v FL es FL5.FL FL es FL
(Q & (P (T v R))) (M & ~(S v (T & R)))
Q (P (T v R))
P (T v R)
T R
M ~(S v (T & R))
S (T & R)
(S v (T & R))
T R
6 de 11
El caso del antecedente
¿Por qué no es subfórmula positiva?Recordar el árbol de verdad
Toda implicaciónincluye unanegación
(((P v Q) & T) ~S)
~((P v Q) & T) ~S
~(P v Q) ~T
~P
~Q
(P Q)
~P Q
Valor de las subfórmulas positivas
1. (M → (P & S)) Premisa2. (P → A) Premisa3. M Premisa…O. (A v F) Goal
7 de 11
Valor de las subfórmulas positivas
1. (M → (P & S)) Premisa2. (P → A) Premisa3. M Premisa…O. (A v F) Goal
Obtener A y hacer introducción de disyunción
por la derecha
8 de 11
Valor de las subfórmulas positivas
1. (M → (P & S)) Premisa2. (P → A) Premisa3. M Premisa…O. (A v F) Goal
Obtener A y hacer introducción de disyunción
por la derecha
A es subfórmula positiva en 2, así que necesitamos P para aplicar eliminación
de condicional
9 de 11
Valor de las subfórmulas positivas
1. (M → (P & S)) Premisa2. (P → A) Premisa3. M Premisa…O. (A v F) Goal
Obtener A y hacer introducción de disyunción
por la derecha
A es subfórmula positiva en 2, así que necesitamos P para aplicar eliminación
de condicional
P es subfórmula positiva en 1 así que necesitamos
M para eliminar condicional
10 de 11
Valor de las subfórmulas positivas
1. (M → (P & S)) Premisa2. (P → A) Premisa3. M Premisa…O. (A v F) Goal
Obtener A y hacer introducción de disyunción
por la derecha
A es subfórmula positiva en 2, así que necesitamos P para aplicar eliminación
de condicional
P es subfórmula positiva en 1 así que necesitamos
M para eliminar condicional
M está en 3.¡Asunto
resuelto!
11 de 11