GitHunt

If P implies Q and P is true, then Q is true. (P → Q), P ⊢ Q

Contributors

Created June 20, 2023
Updated June 20, 2023
calculus-ratiocinator/modus-ponens | GitHunt