Describe los axiomas de deducción natural de Genzen de lógica proposicional
1. Axioma de Identidad: La proposición P se deduce de la proposición P.

2. Axioma de Doble Negación: La proposición No No P se deduce de la proposición P.

3. Axioma de Conmutatividad: La proposición P o Q se deduce de la proposición Q o P.

4. Axioma de Asociatividad: La proposición (P o Q) o R se deduce de la proposición P o (Q o R).

5. Axioma de Adición: La proposición P o Q se deduce de la proposición P y de la proposición Q.

6. Axioma de Distribución: La proposición (P y Q) o R se deduce de la proposición P o R y de la proposición Q o R.

7. Axioma de Simplicidad: La proposición P y F se deduce de la proposición P.

8. Axioma de Reducción: La proposición P o F se deduce de la proposición P.