Question

Cuales son los criterios para considerar un sistema lógico?​

Answer 1

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 ☕