*1. Condición: "a" no debe ocurrir en ningún supuesto previo no cancelado.
*2. Condición: "a" no debe ocurrir en [math]\exists{x Px}[/math] ni en A, ni en ningún supuesto previo no cancelado.
| M. Garrido, Lógica simbólica, Tecnos, Madrid 1983, p. 268. |