http://gametheory101.com/courses/logi...

Sentential logic (also called propositional logic, sentential calculus, and propositional calculus) is a formal method to derive conclusions from premises. Logic is omnipresent and necessary to succeed in fields like law, mathematics, computer science, social science, and philosophy. In other words, if you live on this Earth and want to succeed in life, you need a solid understanding of introductory logic.