Hey Guys, I am currently a first year computer science student and I am taking discrete mathematics. After having done the logic portion of discrete, I wanted to learn more about logic so I went online and found Peter Smith's guide on learning logic. I followed his advice under "baby-logic" and picked up Paul Teller's book "A Modern Formal Logic Primer". After having read the first few pages of Teller's book I got some questions that needs to be addressed, but I wasn't able to find the answers to my questions online. I try to consult my professor, but he told me to come back after learning discrete math! So here are my questions: -Can you guy recommend me a reference book on logic which will help to answer some of my questions. Here is one of my question: Teller defines an argument as such: Argument is a collection of declarative sentences one which is called conclusion and the rest of which are called the premises. I know that I am trying to get you to accept the conclusion as true by providing you with premises. -Is the above definition of an argument solid ? -What is the purpose of a premise in an argument? How does a premise relate to conclusion?