Correctheid (logica): verschil tussen versies

Een '''geldige''' redenering is in de [[logica (wetenschap)|logica]] en [[Argument (argumentatieleer)|argumentatieleer]] een redenering die qua vorm voldoet aan de voorwaarden van een goede [[deductie]]ve redenering. Dat wil zeggen dat de [[conclusie]] [[Noodzakelijke en voldoende voorwaarde|noodzakelijk]] volgt uit de [[Premisse (logica)|premissen]]. Een geldige redenering is dus geldig [[Dan en slechts dan als|desda]] men de conclusie niet kan ontkennen zonder in tegenspraak te komen met de premissen.<ref>{{aut|Wilhelmus Antonius de Pater|de Pater, W.A.}} & {{aut|Vergauwen, R.M.A.}}, ''Logica: formeel en informeel'', Universitaire Pers Leuven, Leuven, 2005, p. 27.</ref>

Het is niet noodzakelijk voor een geldige redenering dat de premissen an sich waar zijn: als de vorm van de redenering zelf maar klopt. Een redenering die én geldig is én waarvan de premissen evident waar zijn noemt men '''validecorrect'''.

Deze redenering is geldig omdat, als je de premissen A en B voor waar aanneemt, de conclusie C noodzakelijk volgt. Zij is echter niet validecorrect omdat de premisse B niet evident waar is.

Deze redenering is zowel geldig als validecorrect.