Conclusión lógica

Proposición B, inferida (Inferencia), según ciertas reglas lógicas, de las proposiciones A₁, A₂ ... A_n (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 A₁, A₂ ... A_n Õ B, donde Õ constituye el símbolo de que B es inferible de las premisas dadas.