Filosofía en español
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.
Diccionario filosófico · 1965:77-78
Diccionario de filosofía · 1984