Valide
Un article de Wikipédia, l'encyclopédie libre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.