PHI 108 Chapter Notes - Chapter 7: Propositional Calculus, Wednesday, Logical Connective
Document Summary
Logical operators - also called connectives; special symbols that can be used as part of ordinary language statement translations. Propositional logic - the basic components in propositional logic are statements (in categorical logic, the basic elements are class terms, which, by themselves, are neither true or false. ) Simple statement - one that does not have any other statement or logical operator as a component. Simple statements are translated by using any uppercase letter (ex. H for harrisburg is the capital of pennsylvania. Compound statement - a statement that has at least one simple statement and at least one logical operator as components. It is not the case that drinking hot coffee reduces sweating. Hamlet is a tragedy and kung fu panda is a comedy. Either we reduce carbon emissions or global warming will get worse. These compound statements can be represented by using uppercase letters to stand for the simple statements: