¿Qué significan los números en la sección de razones en las secuencias de pruebas?

Question

Prove: p V q and not p => q

solution:

statements                Reasons
1. p V q                  Given
2. not p                  Given
3. not (not p) V q        Double Negation, 1
4. not p ->               implication, 3
5. q                      Modus Ponens, 4,2

Answer 1

Son referencias a pasos anteriores de la prueba, que puedes ver que han sido numerados. Por ejemplo:

3\. not (not p) V q        Double Negation, 1

significa que tanto Double Negation y paso 1,

1\. p V q                  Given

se citan como razones para que la afirmación 3 sea cierta.