Respuestas
Respuesta dada por:
1
Respuesta:
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
Explicación:
espero a verte ayudado!! :)
Preguntas similares
hace 2 años
hace 2 años
hace 2 años
hace 5 años
hace 5 años
hace 5 años
hace 7 años
hace 7 años