Knowlus logo
The truth is in here

edit

Socrates

Classical modus ponens .
0Human($x)→Mortal($x)premise
1Human(Socrates)premise
2Human(Socrates)→Mortal(Socrates)substitution [0]
Socrates/$x
3Mortal(Socrates)modus ponens [1, 2]
comments powered by Disqus
en_US © 2012-2016 Ilya Ashikhmin
Request result: