FORMULAS PARA LOGICA MODAL AXIOMÁTICA

{Instituto de Filosofía UV, 2019}

(Tomadas del libro Hughes y Cresswell: Introducción a la Logica Modal [Madrid: Tecnos, 1973])

RF1: Una variable que aparezca sola es una fbf.

RF2: Si α es una fbf también lo son ~α [no α] y Lα [necesario α]
RF3: Si α y β son fbfs, también lo es (α v β) [disyunción inclusiva]

Def M [posible α]: Mα =df ~L~α

Def [implicación estricta]: (α β)=df L(α ‫ כ‬β)
Def = [equivalencia estricta]: (α = β)=df ((α β) • (β α))
(L(α ‫ כ‬β) • L(β ‫ כ‬α))
Def • [conjunción]: (α • β)=df ~(~α v ~ β)
Def ‫[ כ‬condicional]: (α ‫ כ‬β)=df (~α v β)
Def ≡ [equivalencia material]: (α ≡ β)=df ((α ‫ כ‬β) • (β ‫כ‬α))

RT1 La Regla de la Sustitución Uniforme [Sust.]: La formula resultante de

substituir TODAS las apariciones de una variable (letra) de una tesis por cualquier
otra fbf es también una tesis.

RT2 [M.P.] La Regla del Modus Ponens: si ⊢ α y ⊢ (α ‫ כ‬β )  ⊢ β

RT3 [Necs.] La Regla de la Necesariedad: ⊢ α  ⊢ Lα

[No confundir con p ‫ כ‬Lp, que NO es VALIDA en ningún sistema
modal]

RD1: ⊢ (α ‫ כ‬β)  ⊢ (Lα ‫ כ‬Lβ)

RD2: ⊢ (α ≡ β)  ⊢ (Lα ≡ Lβ)
RD3: ⊢ (α ‫ כ‬β)  ⊢ (Mα ‫ כ‬Mβ)
RD4: ⊢ α  ⊢ (Mβ ‫ כ‬M (α • β))

RDE-5: ⊢ (α ‫ כ‬β )  ⊢ (α β)
RDE-6. [Sil.]: ⊢ (α ‫ כ‬β), ⊢ (β ‫כ‬γ)  ⊢ (α ‫ כ‬γ)
RDE-7: [Imp.]: ⊢ (α ‫( כ‬β ‫ כ‬γ)  ⊢ ((α • β) ‫ כ‬γ)
RDE-8: ⊢ (α = β)  ⊢ (α ‫ כ‬β ) ⊢ (α = β)  ⊢(β ‫ כ‬α)
⊢ (α ≡ β)  ⊢(α ‫ כ‬β) ⊢ (α ≡ β)  ⊢ (β ‫ כ‬α)
⊢ (α = β)  ⊢ (α ≡ β)
RDE-9: Substitucion Equivalentes [Eq.]
RDE-10: [ILM]: Intercambio L M
⊢ Mα ↔ ⊢ ~L~α
⊢ Lα ↔ ⊢ ~M~α
AXIOMAS

A1 (p v p) ‫ כ‬p
A2 q ‫( כ‬p v q)
A3 (p v q) ‫( כ‬q v p)  CP
A4 (q ‫ כ‬r) ‫([ כ‬p v q) ‫( כ‬p v r)] T
A5 Lp ‫ כ‬p
A6 L (p ‫ כ‬q) ‫( כ‬Lp ‫ כ‬Lq)
A7 Lp ‫ כ‬LLp S4
A8 Mp ‫ כ‬LMp S5
Teoremas del cálculo proposicional [CP] (ó sentencial)

CP1 (a • b) ≡ ~ (~a v ~ b) [Leyes de De Morgan –De M]

CP2 (a v b) ≡ ~ (~a • ~ b)
CP3 a ≡ ~ ~a [Ley de la Doble Negación-DN]
CP4 (a v b) ≡ (b v a) [Leyes conmutativas-CONM]
CP5 (a • b) ≡ (b • a)
CP6 ((a v b) v c) ≡ (a v (b v c)) [Leyes Asociativas-Asoc]
CP7 ((a • b) • c) ≡ (a • (b • c))
CP8 a ≡ (a v a)
CP9 a ≡ (a • a)
CP10 (a ‫ כ‬b) ≡ (~b ‫~ כ‬a) [Ley de Transposición]
CP11 (a • (b v c)) ≡ ((a • b) v (a • c)) [Leyes Distributivas-Distrib]
CP12 (a v (b • c)) ≡ ((a v b) • (a v c)
CP13 a ≡ a [Ley de Identidad- Id]
CP14 a ‫( כ‬a v b)
CP15 (a • b) ‫ כ‬a
CP16 (a • b) ‫ כ‬b
CP17 a ‫( כ‬b ‫ כ‬a)
CP18 ~a ‫( כ‬a ‫ כ‬b)
CP19 a ‫( כ‬b ‫( כ‬a • b) [Ley de Adjunción-Adj]
CP20 (a ‫( כ‬b ‫ כ‬c)) ≡ (b ‫( כ‬a ‫ כ‬c)) [Ley de Permutación-Perm]
CP21 (a ‫ כ‬b ) ‫(( כ‬b ‫ כ‬c ) ‫( כ‬a ‫ כ‬c)) [Leyes del Silogismo-Sil]
CP22 (b ‫ כ‬c ) ‫(( כ‬a ‫ כ‬b) ‫( כ‬a ‫ כ‬c))
CP23 (a ‫( כ‬b ‫ כ‬c)) ‫(( כ‬a • b) ‫ כ‬c) [Ley de Importación-Imp]
CP24 ((a • b) ‫ כ‬c) ‫( כ‬a ‫( כ‬b ‫ כ‬c) [Ley de Exportación-Exp]
CP25 (a ‫ כ‬b) ‫(( כ‬a ‫ כ‬c) ‫( כ‬a ‫( כ‬b • c))) [Ley de composición-Comp]
CP26 (a ‫ כ‬b) ‫(( כ‬c ‫ כ‬d) ‫(( כ‬a • c) ‫( כ‬b • d)))
CP27 (a ‫ כ‬c) ‫(( כ‬b ‫ כ‬c) ‫(( כ‬a v b) ‫ כ‬c))
CP28 (~a ≡ b ) ≡ (a ≡ ~b)
CP29 (a ≡ b) ≡ (~a ≡ ~ b)
CP30 (~a ‫ כ‬a) ≡ a
CP31 ((b ‫ כ‬a) • (~b ‫ כ‬a)) ≡ a
CP32 ((a ‫ כ‬b) • (a ‫ ~ כ‬b)) ≡ ~ a
Teoremas de Sistema Modal T

T1 P ‫ כ‬Mp T6 ~M (p v q) ≡ (~Mp • ~Mq)

T2 (p = q) ‫( כ‬Lp ≡ Lq) T7 M (p v q) ≡ (Mp v Mq)
T3 L(p • q) ≡ (Lp • Lq) T8 (p q) ‫( כ‬Mp ‫ כ‬Mq)
T4 L (p ≡ q) ≡ (p = q) T9 (Lp v Lq) ‫ כ‬L (p v q)
T5 Lp ≡ ~ M ~ p T10 M (p • q) ‫( כ‬Mp • Mq)
a) L~p ≡ ~ Mp T11 (~p p) ≡ Lp
b) ~Lp ≡ M~p T12 (p ~p) ≡ L~ p
c) LLp ≡ ~ MM~p T13 ((q p) • (~q p) ≡ Lp
d) LL ~ p ≡ ~MMp T14 ((p q) • (p ~q) ≡ L ~p
e) MM~p ≡ ~LLp T15 Lp ‫( כ‬q p)
f) LM ~p ≡ ~ MLp T16 L ~p ‫( כ‬p q)
g) ML ~p ≡ ~ LMp T17 Lp ‫( כ‬Mq ‫ כ‬M (p • q)