User Avatar
peabeeandj
Joined
Jun 2025
Subscription
Free
User Avatar
peabeeandj
Friday, Jul 04

Contrapositive is logically equivalent to the original sufficient -> necessary condition but it's flipped and negated.

Example:

If I am awake, I am running. A -> R

If I am not running, then I am not awake. /R-> /A

Logically, those are the same statements. If my necessary condition isn't met then my sufficient condition wasn't met.

Contrapositives are useful in chaining.

Example:

If I am awake, then I am running. A->R

If not awake, then I am sleeping. /A -> S

Therefore _____

As is, those don't chain together easily. But if I make premise 1 a contrapositive then I have

/R -> /A -> S

Therefore /R -> S

Negation is a logical contradiction. It's not the opposite, it's just shoving a 'not' (or removing a not in some cases) in front of the concept you're trying to negate. I find them useful in 'EXCEPT' question stems.

"If the above statements are true, each of the following statements could be true EXCEPT" is a really hard concept to keep in my brain when I'm moving down a list of choices. So I negate the "could be true" and turn "each" to "which".

"If the above statements are true, which of the following statements could be not true (or is not necessarily true)?" is an easier north star for me to navigate towards. It doesn't mean that I'm searching for a statement that's FALSE. I'm just looking for a statement that's not necessarily true.

Confirm action

Are you sure?