Logical Equivalence of Contrapositive

The ability to deduce that logical statements and their contrapositives are logically equivalent (e.g., "If $A$, then $B$" is equivalent to "if not $B$, then not $A$").

Use it

from datasets import load_dataset
ds = load_dataset("narunraman/steer", "equiv_contrapositive")

curl "https://steer-benchmark.cs.ubc.ca/api/sample?element_name=equiv_contrapositive&n=5&seed=42"