There will be three lectures on symbolic logic. These notes include examples and exercises. Read the examples and try the exercises. Then do the first logic quiz , which is due Tuesday 31 March.
Logic is the science of reasoning and the study of argument forms.
This page is all about symbolic logic. That is, we can take statements in words, and represent them sybolically. We use letters to represent statements. A Truth Table is a handy way to represent the possible truth values of statements. Every statement has a negation .