21 estrategias tacticas
9
Estrategias y Tácticas Clase 21 Leonel Morales [email protected] [email protected] 17/Septiembre/2014
-
Upload
leonel-morales-diaz -
Category
Education
-
view
42 -
download
1
description
Lógica Simbólica
Transcript of 21 estrategias tacticas
2 de 9
Repaso1. Extracción
1. El objetivo es subfórmula positiva…
2. Conversión1. El objetivo es disyunción y hay disyunciones…
3. Inversión1. El objetivo es fórmula compuesta…
4. División1. Hay disyunciones que podrían eliminarse…
5. Refutación1. Todo lo anterior ha fallado, introducción y
eliminación de negación
3 de 9
Diagrama de Flujo
Iniciose busca llegar a
φ (objetivo)
¿Se puedeextraer φ?
IntentarExtracción
¿Si sepudo?
¡ Ya estuvo !
SíSí
No No
1. (R (A & S)) Premisa 2. (M & R) Premisa 3. … 4. S Goal
4 de 9
Diagrama de Flujo
Iniciose busca llegar a
φ (objetivo)
¿Se puedeextraer φ?
¿Es φuna fórmula com-
puesta?
IntentarExtracción
¿Si sepudo?
¡ Ya estuvo !
IntentarInversión
¿Si sepudo?
Sí
SíSí
Sí
No
No No
No
1. ((R & T) A) Premisa 2. (M & R) Premisa 3. ((B & M) T) Premisa 4. B Premisa 5. … 6. (A & T) Goal
5 de 9
Diagrama de Flujo
Iniciose busca llegar a
φ (objetivo)
¿Se puedeextraer φ?
¿Es φuna fórmula com-
puesta?
IntentarExtracción
¿Si sepudo?
¡ Ya estuvo !
IntentarInversión
¿Si sepudo?
¿Permite~φ llegar a
contradicción?
IntentarRefutación
¿Si sepudo?
Sí
Sí
SíSí
Sí
Sí
No
No
No No
No
No
1. (Q (F v N)) Premisa 2. ~N Premisa 3. Q Premisa 4. … Premisa 5. F Goal
6 de 9
Diagrama de Flujo
Iniciose busca llegar a
φ (objetivo)
¿Se puedeextraer φ?
¿Es φuna fórmula com-
puesta?
IntentarExtracción
¿Si sepudo?
¡ Ya estuvo !
IntentarInversión
¿Si sepudo?
¿Permite~φ llegar a
contradicción?
IntentarRefutación
¿Si sepudo?
Regresar yprobar siguiente
(backtrack)
Sí
Sí
SíSí
Sí
Sí
No
No
No No
No
No
7 de 9
Diagrama de Flujo
Iniciose busca llegar a
φ (objetivo)
¿Se puedeextraer φ?
¿Es φuna fórmula com-
puesta?
IntentarExtracción
¿Si sepudo?
¡ Ya estuvo !
IntentarInversión
¿Si sepudo?
¿Permite~φ llegar a
contradicción?
IntentarRefutación
¿Si sepudo?
Regresar yprobar siguiente
(backtrack)
Sí
Sí
SíSí
Sí
Sí
No
No
No No
No
No
¿φ es unadisyunción?
IntentarConversión
¿Si sepudo?
SíSí
No
No¿Hay disyuncio-nes disponibles?
No
Sí
8 de 9
Diagrama de Flujo
Iniciose busca llegar a
φ (objetivo)
¿Se puedeextraer φ?
¿Es φuna fórmula com-
puesta?
IntentarExtracción
¿Si sepudo?
¡ Ya estuvo !
IntentarInversión
¿Si sepudo?
¿Permite~φ llegar a
contradicción?
IntentarRefutación
¿Si sepudo?
Regresar yprobar siguiente
(backtrack)
Sí
Sí
SíSí
Sí
Sí
No
No
NoNo
No
No
¿φ es unadisyunción?
IntentarConversión
¿Si sepudo?
SíSí
No No¿Hay disyuncio-nes disponibles?
No
Sí
¿Hay disyuncio-nes disponibles?
No
IntentarDivisión
Sí ¿Si sepudo?
Sí
No
9 de 9
Regla de mano Las reglas de eliminación se aplican hacia
delante De las premisas buscando la conclusión (objetivo)
Las reglas de introducción se aplican hacia atrás
De la conclusión hacia las premisas Si el argumento se lee de las premisas hacia la
conclusión Primero aparecen las eliminaciones Luego las introducciones
¿Qué pasaría si se hiciera al revés?
