Notes From CS Undergrad Courses FSU
This project is maintained by awa03
[!My Note] First of all I dont like the use of numbers instead of variables, but why not use the Socrates example
All men are mortal, Socrates is a man, therefore Socrates is mortal