PHIL 1110 Chapter Notes - Chapter 8: Propositional Calculus, Logical Connective, Truth Table
Document Summary
Propositional logic- a type of symbolic logic that deals with the relationship between propositions using the basic logical connectives: and, or, not, and if, then. Logical connective- a word or symbol that relates one statement to another or to itself. Not, and, v, and are all logical connectives. Variable- a capital letter used in propositional logic to represent a proposition. Negation- a statement of the form not p . A negation is true if and only if the statement it negates is false. For example, it is not the case that the indian ocean is the largest ocean on earth . Conjunction- a statement of the form p and q . A conjunction connects two other statements such that i is true if and only if the connected statements are true. For example, penguins are birds and dogs are mammals. Disjunction- a statement of the form p or q .