Valide

Un article de Wikipédia, l'encyclopédie libre.

En logique, la forme d'une argumentation est valide, si elle ne peut mener, à partir de prémisses vrais à une conclusion fausse.

Voir Théorème de complétude de Gödel pour plus de détails.

[modifier] voir aussi