Se trata de una razón o prueba que permite efectuar la justificación o la refutación de algo, para afirmar que es verdadero o falso.

Tanto en lógica como en filosofía, es cada una de las entidades que portan los valores de verdad, es decir, indican en qué grado una declaración es verdadera. Para la lógica clásica bivalente, solamente se puede hablar de “verdadero” o “falso”.

Se trata de una proposición que se toma como evidente, para la cual no se exige una demostración previa.

También conocidas como reglas de transformación, son formas lógicas o funciones que toman premisas para analizar su sintaxis y arrojar una o más conclusiones.

Discusión entre dos o más personas que exhiben opiniones contrapuestas o contrarias.

Razonamientos en que se obtienen una o varias conclusiones de manera necesaria; es pues la actividad de la mente que permite inferir necesariamente una conclusión a partir de una serie de premisas o axiomas.

Razonamientos en el que usamos nuestras experiencias y observaciones para sacar conclusiones sobre lo que sucederá en el futuro.

Mario y Laura tienen cuatro hijos: María, Juan, Pedro, y Jorge.

Se sabe que María es rubia,

Juan es rubio, Pedro es rubio y Jorge es rubio;

Conclusión:

Todos los hijos de Mario y Laura son rubios.

Estamos hablando de una:

Todos los vertebrados tienen vértebras. Todos los perros son los vertebrados. Por lo tanto, todos los perros tienen vértebras.

Se trata de una: