docoo

Frase

2021-02-25

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

Definición propia

2021-02-25

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

Definición impropia

2021-02-28

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.

Razonamiento

2021-02-28

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

Premisa

2021-03-01

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.

Axioma

2021-03-03

Premisa que se reconoce o asume como cierta.

Lenguaje natural

2021-03-04

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

Verdad material

2021-03-10

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.

Definición por extensión

2021-03-24

La definición por extensión consiste en enumerar el conjunto o sus conjuntos por sus elementos directamente, esto solo es práctico para conjuntos finitos.

Ambigüedad semántica

2021-03-31

Fenómeno que se da en los lenguajes naturales, cuando una frase tiene una libre interpretación puede depender del contexto o no queda clara.

Verdad formal

2021-04-17

Toda premisa que es consecuencia de un desarrollo correcto a partir de premisas que son axiomas tienen la categoría de verdad formal.
También todas las premisas que son desarrolladas de forma correcta a partir de premisas que tienen la categoría verdad formal, también lo son .

Inferencia

2021-07-07

La inferencia es el proceso que se utiliza lógica para obtener conclusiones a partir de premisas.

Formalizar

2021-08-24

Traducir del lenguaje natural al lenguaje formal.

--