kontraposition (medeltidslat. contra­posiʹtio ’motsättande’, av latin contra­poʹno ’sätta emot’), i modern logik benämning på en slutledning i vilken man från en premiss av formen ”om A, så B” drar slutsatsen ”om icke-B, så icke-A”.