Correctheid (logica)

Een geldige redenering is in de logica en argumentatieleer een redenering die qua vorm voldoet aan de voorwaarden van een goede deductieve redenering. Dat wil zeggen dat de conclusie noodzakelijk volgt uit de premissen. Een geldige redenering is dus geldig dan en slechts dan als men de conclusie niet kan ontkennen zonder in tegenspraak te komen met de premissen.