Konsekventenär ett begrepp inom logiken. I enimplikationutgörs konsekventen av den senare satsen. Den första satsen kallas förantecedenten.

I "Om Kalle har körkort så kan han köra bil" är "Om Kalle har körkort" antecedenten och "Kalle kan köra bil" konsekventen.

Se även

redigera