I. Un argumento es correcto si (1) es v谩lido y (2) sus premisas, y, por tanto, su conclusi贸n, son verdaderas.
II. Un sistema l贸gico es correcto syss todos sus teoremas son l贸gicamente verdaderos; correcci贸n es la conversa de completud.
(Haack, 1978).
A la correcci贸n tambi茅n se la llama validez l贸gica y no hay que confundirla con verdad logica. Puede haber pues, argumentos correctos, pero falsos y viceversa.
En l贸gica, la validez es la propiedad que tienen los argumentos cuando las premisas implican la conclusi贸n. Si la conclusi贸n es una consecuencia l贸gica de las premisas, se dice que el argumento es deductivamente v谩lido. Algunos consideran estas dos nociones [deductivo y v谩lido] id茅nticas y usan ambos t茅rminos indistintamente. Otros, sin embargo, consideran que puede haber argumentos v谩lidos que no sean deductivamente v谩lidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de v谩lidas o inv谩lidas.
(Wikipedia).