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