Download
1 / 15
150 likes | 338 Views
An Introduction to Propositional Logic. Translations: Ordinary Language to Propositional Form. The Focus of Propositional Logic. Propositional truth is determined by consulting typical sources of information.
E N D
An Introduction to Propositional Logic Translations: Ordinary Language to Propositional Form
The Focus of Propositional Logic • Propositional truth is determined by consulting typical sources of information. • Propositional logic is determined by examining how various propositions are related.
Types of relations between propositions • 1 proposition is offered in support of another (simple argument) • 1 proposition expressed the condition under which a 2nd proposition is true (conditional statement) • 1 sentence offers two proposed alternatives, and a 2nd proposition negates one of these alternatives (disjunctive syllogism)
Propositional Symbols • Symbolizing propositions allows us to focus on the relations between propositions (logic) rather than the content of those propositions (truth).
Module Objectives - 1 • Learn how to symbolize complex propositions • Simple propositions, which express grammatically independent units of information, are easy to symbolize: “It is cold” = “C” • Complex propositions are sentences which contain 2 or more simple propositions. These can be more difficult to symbolize.
Module Objectives - 2 • Learn how to determine the truth-value of complex propositions Remember, an argument can only establish the truth of it’s conclusion if all its premises are true (and its reasoning is valid) • “Fees are rising at UCLA” is either true or false • “Either fees are rising or services are being cut back” could be true or false – depending on the actual situation regarding fees and services at UCLA.
Module Objectives - 3 • Create and interpret truth tables for both propositions and arguments (series of propositions). Truth tables allow us to see all possible conditions under which a statement could be true and could be false.
Module Objectives – 4 & 5 • Learn to recognize common argument forms, and know when an argument form is valid or invalid • Prove that an argument is valid or invalid when it doesn’t fit a common argument form.
Basics of Propositional Logic All arguments are reducible to symbols, which represent either elements of an argument orways these elements are put together. • All arguments contain statements, by definition. Each statement is represented by a “propositional variable” – p, q, r, s • All arguments also contain connections, or ways in which individual propositions are related. Each of these connections are represented by one of five “operators”: Putting propositional variables together with operators creates a “statement form,” or a symbolic blueprint identifying typical structures of English expressions.
Propositional Operators (p. 281) ~ (“tilde,” negation) Not, it is false that, conjunctions like “don’t” • (“dot,” conjunction) And, also, but, in addition, moreover v (“wedge,” either-or) Or, unless > (“implication” or “conditional,” if,then). Is a sufficient (or necessary) condition of, if-then, implies, given that, only if Ξ (“biconditional,” if and only if) If and only if, is equivalent to, is a sufficient and necessary condition of
Tips for Translation - 1 • Use “clue words”: • “If, then”; “on the condition that”: > • Both; and; also; etc: ● • Either, or; or maybe both:v • If one, then the other; if and only if; always occur together: • Negation; it is not true that, not: ~
Tips for Translation - 2 • Develop a system to mark every important part of a complex proposition before trying to symbolize it. DMX abandons explicit lyrics if and only if neither Columbia nor BMG stops advertising. DMX abandons explicit lyricsif and only ifneitherColumbianorBMG stops advertising.
