Respuestas
Respuesta dada por:
1
Respuesta:
inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema.
Explicación:
Preguntas similares
hace 4 años
hace 7 años
hace 7 años
hace 7 años
hace 8 años
hace 8 años