Open WIKI
Home
Sources
About
Contacts
⯈
☰
Contraposition (traditional logic)
contraposition
is a
rule of inference
.