¿Alguno de vosotros sabe dónde puedo encontrar ejercicios y soluciones para pruebas de deducción natural en aritmética de Robinson y Peano?
Gracias y saludos.
Respuesta
¿Demasiados anuncios?
Puede encontrar aquí algunos ejercicios de demostración formal en aritmética de Peano utilizando la deducción natural.
Considere que, en general, las pruebas en deducción natural de las propiedades básicas de la aritmética de Peano, como la conmutatividad de la multiplicación, pueden ser muy largas y tediosas.
