Cuantificación, reglas de
Cuantificación, reglas de. Son cuatro las reglas de cuantificación (Px es cualquier fórmula bien formada en el cáculo de cuantores).
1) Especificación Universal 2) Especificación Existencial
o Instanciación Universal. o Instanciación Existencial
E. U. E. E.
(x) Px (3x) Px
------ -------
Pa Pa
3) Generalización Universal 4) Generalización Existencial
G.U. o Generación Existencial. G.E.
Pa Pa
------ ------
(x) Px (3x) Px
—————