The statement that P implies Q is equivalent to the statement that not Q implies not P. (P → Q) ↔ (¬Q → ¬P)
-
Notifications
You must be signed in to change notification settings - Fork 0
calculus-ratiocinator/contraposition
About
Contraposition
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published