Está en la página 1de 1

Lgica de predicados de 1 orden - Reglas cuantificacionales

Universal
Eliminacin

Particular
(EU)

Eliminacin (EP)

x A
A (x/b)
...
B
B

Bsicas

x A
A (x/b)

Introduccin

(IU)

supuesto sin cancelar.

A (x/b)
x A

"A" tiene que ser


generalizable.

Derivadas

Definicin

(DefU)

xA
x A
Negacin

x A
x A

"b" en ningn

Introduccin

Pues sirve para concluir


algo con su ayuda.

(IP)

A (x/b)
x A

Definicin

(DefP)

x A
x A
(NU)

Negacin (NP)

x A
x A

"b" ni en un supuesto
previo sin cancelar ni en
la conclusin,