docoo
Lógica
La lógica es la ciencia que estudia el conjunto de los razonamientos.
La lógica es la encargada de la validez de los razonamientos.
La lógica se puede considerar como una ciencia de la que posteriormente parten el resto o como una rama de cada una de ellas dedicada dedicada a

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 conclusiones a través 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.

Lenguaje formal

2021-03-05

Son lenguajes carentes de ambiguedades y de contextos, solo admiten premisas y nexos.

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.

Proposición simple

2021-03-22

Es aquella que no se puede dividir, desde el punto de vista matemático genera un único particionado en base a un único criterio.

Proposición compuesta

2021-03-22

También llamada proposición molecular, necesitan de un nexo o varios, son varias proposiciones simples , y por tanto varios particionados sobre el conjunto.

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.

--