Conclusión lógica

Conclusión lógica

No figura en el Diccionario filosófico marxista · 1946

No figura en el Diccionario filosófico abreviado · 1959

Diccionario filosófico · 1965:77-78

Proposición B, inferida (Inferencia), según ciertas reglas lógicas, de
las proposiciones A1, A2 … An (denominadas premisas respecto a B).
La conclusión lógica es necesariamente verdadera si son verdaderas las
premisas. La relación entre las premisas y la conclusión de ellas
inferida se expresa mediante la notación simbólica A1, A2 … An ⊢ B,
donde ⊢ constituye el símbolo de que B es inferible de las premisas
dadas.

No figura en el Diccionario de filosofía · 1984

Comparte este artículo