Saltar al contenido

Conclusión: definición, ejemplo y equivalente en inglés

La conclusión es el único enunciado que un argumento pretende establecer a partir de sus premisas. Un argumento es válido cuando la conclusión es verdadera en toda fila en que todas las premisas son verdaderas.

Todo argumento tiene exactamente una conclusión, señalada en prosa por palabras como «por tanto», «luego» y «así que», y en el modo argumento del motor por su propio papel junto a las premisas. La conclusión no se afirma por sí sola: se afirma condicionalmente, como algo que se sigue de las premisas. Una conclusión puede ser una fórmula compuesta, como en esta página, y puede ser verdadera en filas en que las premisas son falsas; esas filas no afectan a la validez, que mira solo las filas en que se cumplen todas las premisas.

El artefacto de esta página es el silogismo hipotético: premisas A -> B y B -> C, conclusión A -> C, con tres variables y 8 filas. La comprobación de validez se cumple: ninguna asignación admisible hace verdaderas todas las premisas y falsa la conclusión. La de consistencia de las premisas se cumple con el testigo A = FALSE, B = FALSE, C = FALSE, la fila 0, donde las dos implicaciones son verdaderas porque sus antecedentes son falsos. La columna de la conclusión se lee verdadero en seis de las ocho filas y falso en las filas 4 y 6, pero ninguna de esas dos tiene las dos premisas verdaderas.

En la práctica la conclusión es la parte de una regla sobre la que la gente actúa, así que es la parte que merece decirse con palabras; la lectura en lenguaje llano del motor expresa esta como «si A es verdadero, entonces C es verdadero». En un modelo de decisión, la contraparte de la conclusión es una salida con nombre. El término se confunde con el consecuente de una implicación, que es solo la parte «entonces» de una fórmula, y con el resultado de un cálculo, que es un valor y no un enunciado.

Ejemplo

p1 — A -> B · premisap2 — B -> C · premisaconclusion — A -> C · conclusión

Comprobaciones exactas

¿Se sigue la conclusión de las premisas? Sí · Exhaustively checked and solver cross-checked · 8 filas
¿Pueden ser todas las premisas verdaderas a la vez? Sí Asignación de ejemplo: A = F, B = F, C = F · Exhaustively checked and solver cross-checked · 1 filas

Tabla de verdad (8 filas)

Conclusión: definición, ejemplo y equivalente en inglés
#ABCp1p2conclusion
0FALSOFALSOFALSOVERDADEROVERDADEROVERDADERO
1FALSOFALSOVERDADEROVERDADEROVERDADEROVERDADERO
2FALSOVERDADEROFALSOVERDADEROFALSOVERDADERO
3FALSOVERDADEROVERDADEROVERDADEROVERDADEROVERDADERO
4VERDADEROFALSOFALSOFALSOVERDADEROFALSO
5VERDADEROFALSOVERDADEROFALSOVERDADEROVERDADERO
6VERDADEROVERDADEROFALSOVERDADEROFALSOFALSO
7VERDADEROVERDADEROVERDADEROVERDADEROVERDADEROVERDADERO

Lectura en lenguaje claro

PrincipianteConclusión: si A es verdadero, entonces C es verdadero.
Sobre los operadores:
- Una condición «si… entonces» solo restringe el caso en que se cumple su parte «si»: cuando la parte «si» es falsa, la condición se cumple sea cual sea la parte «entonces». No afirma lo recíproco.
IntermedioConclusión: si A es verdadero, entonces C es verdadero.
AvanzadoConclusión: si A es verdadero, entonces C es verdadero [implicación material →].
Notación formal: A → C

El error habitual

Comprobar la conclusión en todas las filas. Las filas en que una premisa es falsa no pueden ser contraejemplos, haga lo que haga la conclusión en ellas. En esta página la conclusión es falsa en las filas 4 y 6, y el argumento sigue siendo válido, porque en cada una de ellas una premisa es falsa.

Preguntas

¿Puede un argumento válido tener conclusión falsa?

Sí, cuando al menos una premisa es falsa. La validez promete solo que la conclusión es verdadera siempre que lo sean todas las premisas. Un argumento válido cuyas premisas son de hecho verdaderas es sólido, y solo un argumento sólido garantiza su conclusión.

Relacionado

Ejercicios

Véase también

Glosario

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.