1
Enunciado susceptible de ser verdadero o falso.
2
Proceso lógico que infiere conclusiones a partir de premisas.
3
Conjunto de pasos razonados que confirman una afirmación.
4
Evidencia formal que valida una afirmación o teorema.
5
Colección de objetos claramente identificados.
6
Relación entre entradas y salidas definida por reglas.
7
Operador que expresa universalidad o existencia de atributos.
8
Proposición básica aceptada sin demostración para construir teorías.
6
8
5
7
3
1
4
2