Es cualquier expresión que tiene sentido.
También se puede hacer referencia a ella como oración o sentencia.

Una definición que hace referencia a un único elemento es una definición propia.
Un único elemento es una constante.

Son aquellas definiciones que hacen referencia a más de una constante.
Una definición puede ser propia o impropia dependiendo de donde se encuentre.

Un razonamiento es el camino que utilizamos para llegar a la conclusión partiendo de premisas.

Si una expresión o frase puede ser verdadera (V) o falsa (F) entonces es una premisa.
La premisa es la unidad básica de la lógica.

Premisa que se reconoce o asume como cierta.

Son los lenguajes con los que nos solemos comunicar, se caracterizan por poder ser ambiguos, interpretables y condicionales.

Son lenguajes carentes de ambiguedades y de contextos.

Una premisa de las que se parte o axioma siempre es considerada como cierta, sin embargo esta puede ser cierta o no si se corresponde con la realidad o no, a esta verdad se le llama verdad material si así lo es, esto es un proceso empírico.