logisch gevolg

Een logisch gevolg of logische consequentie is zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande. Logische gevolgen zijn het resultaat van deductie en vormen een fundamenteel concept binnen de logica. Logische gevolgen worden samen met gevolgtrekkingen in de epistemologie gebruikt om tot hypotheses omtrent de causaliteit van risicofactoren te komen. Een formeel beschreven logisch gevolg kan binnen de modeltheorie of de bewijstheorie of beide worden gekarakteriseerd. Een logisch gevolg kan ook worden beschreven als een wiskundige functie, waarbij de ene reeks zinnen de invoer en de andere reeks de uitvoer is.