User:174.99.105.118/sandbox

I plan to elaborate on the logical concepts of modus ponens and modus tollens. Hopefully be able to find better resources as well.