Documente Academic
Documente Profesional
Documente Cultură
Operadores:
□A Es necesario
◊A Es posible
CA Es contingente
IA Es imposible
Cada uno de estos operadores pueden definirse a partir de alguno
de ellos:
◊A=def ¬□¬A
CA=def ¬□A ∧ ¬□¬A y entonces CA = def ◊ A ∧ ◊¬A
IA= def □¬A y entonces IA = def ¬◊A
se agregan:
Axioma de Distribución (D) □(A→B) → (□A→□B)
1 1. ¬( A∨ ¬ A)
2 1. ¬ A
3 1. ¬ ¬ A
4. 2. ¬A
5. 3. ¬¬ A
6. 3. A
7. 2. A
X
Reglas de árboles para el sistema K
Reglas sobre la posibilidad: si el prefijo σ.n es nuevo en la
rama:
(◊) σ. ◊ A (¬ ) σ ¬ A
│ │
σ .n A σ .n ¬ A
Sistema Regla
D D
T T
B B, 4
K4 4
S4 T, 4
S5 T, 4, 4r
• Bibliografía:
• Chellas, B. (1980), Modal Logic, CUP, Cambridge.