Antecedent

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2024-05) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

En antecedent är den aktiva delen av en logisk implikation.

I implikationen "A leder till B" är A antecendent och B konsekvent.

Antecedenten kallas ibland också "försats", och konsekventen "eftersats".

Exempel: 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.