Download - 21 estrategias tacticas
![Page 2: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/2.jpg)
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
![Page 3: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/3.jpg)
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
![Page 4: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/4.jpg)
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
![Page 5: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/5.jpg)
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
![Page 6: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/6.jpg)
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
![Page 7: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/7.jpg)
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í
![Page 8: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/8.jpg)
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
![Page 9: 21 estrategias tacticas](https://reader036.vdocumento.com/reader036/viewer/2022082705/55932c401a28ab74088b46fd/html5/thumbnails/9.jpg)
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?