APÉNDICE D: TEOREMAS DE LÓGICA DE PREDICADOS

AXIOMAS

Trueque  (x | R : P)  (x |: R  P)

Distributividad / Si P no depende de x:
P  (x| R : Q)  (x| R : P  Q)
De Morgan generalizado (x| Q : R )  (x| Q : R)

TEOREMAS

1.1 Distributividad / Si P no depende de x:

P  (x|: R)  (x| R : P)
1.2 Distributividad / Si P no depende de x:
(x|:R)  ((x| R : P  Q)  P  (x| R : Q))
2.1 -true (x| R : true)  true
3.1 Distributividad / (x| R : P  Q)  (x| R : P)  (x| R : Q)
4.1 Debilitamiento de
(x| QR: P)  (x| Q: P)
rango
4.2 Debilitamiento de
(x| R: PQ)  (x| R: P)
cuerpo
5.1 Monotonía de  (x| R : Q  P)  ((x | R : Q)  (x | R : P))
6.1 Instanciación (x|: P)  P[x:= E]
7.1 Metateorema de   P si y solo si  (x|: P)
8.1 Trueque  (x | R : P)  (x |: R  P)
9.1 Distributividad / Si P no depende de x:
P  (x| R : Q )  (x| R : P  Q)
9.2 Distributividad / Si P no depende de x:
P  (x|: R)  (x| R : P)
10.1 Distributividad / Si P no depende de x:
(x|:R)  (P  (x| R : Q )  (x| R : P  Q))
11.1 -false (x| R : false)  false
12.1 Debilitamiento de
(x| Q  R: P)  (x| Q: P)
rango
12.2 Debilitamiento de
(x| R: PQ)  (x| R: P)
cuerpo
13.1 Monotonía- (x| R : Q  P)  ((x | R : Q)  (x | R : P))
14.1 -introducción (x|: P)  P[x:= E]
15.1 Metateorema del Si P,Q,R no dependen de a:
testigo  (x| R : P) si y solo si  (R  P)[x:= a]