/sci/ - Science & Math

I'm drawing a blank on trying to remember something from Discrete math, maybe one of you remembers:
If " P ^ Q --> R " is the original statement
What is the formal term for " P ^ Q --> ~R " ?
I swear that there was inverse, converse, contrapositive and one other term, but I can't remember it, and it feels like I'm getting the fucking Mandela Effect.