donde la regla es cuando ""P" → "Q"" y ""P"" aparezcan por sí mismos en una misma línea de una prueba lógica, "Q" puede ser escrito válidamente en una línea subsiguiente.