Cita de Garrido 2

Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

Extractos de obras

2315C.png

*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.