Conclusion (n.f.)

proposition logique qui résulte d'autres propositions tenues pour vraies.