If P implies Q and P is true, then Q is true. (P → Q), P ⊢ Q
-
Notifications
You must be signed in to change notification settings - Fork 0
calculus-ratiocinator/modus-ponens
About
Modus Ponens
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published