The proposition concluded from one or more premises.

• 推论从一个或多个前提得出的结论性命题。