PHIL 2100 Lecture Notes - Lecture 16: Categorical Logic, Truth Table

• School: University of Guelph
• Department: Philosophy
• Course: PHIL 2100
• Professor: Yussif Yakubu

Document Summary

Propositional logic deals with the relationship between entire statements, rather than components of statements as in categorical logic. All humans are mortal: propositional logic. If you are human, then you are mortal. A simple statement has no other statements as constituents: ex. ) A compound statement has at least, two simple statements as constituents: ex. ) Either we win or we are out of the tournament. If it quacks then it is a duck. It is not the case that the globe is warming. Connectives: link the constituents of compound statements together. It is cold and windy p & q conjunction: p & q. Either an orange or a lemon p v q disjunction: p v q. If it quacks then it is a duck p -> q conditional: p -> q. It is not the case that the globe is warming - ~ p - negation.