Cuales son los criterios para considerar un sistema lógico?
Respuestas a la pregunta
Contestado por
4
Respuesta:
En términos generales, para considerar a un sistema como lógico, deben cumplir tres criterios:
Consistencia (no hay contradicción entre los teoremas que componen el sistema)
Solidez (los sistemas de prueba no incluyen falsas inferencias)
Completud (todas las oraciones verdaderas deben poder probarse)
Explicación:
coronita plis ☕
Otras preguntas