Student View | Instructor View | Information Center View | Home
Critical Thinking
Student View

Chapter Outline
Multiple Choice Quiz
True or False
Glossary
Web Links
PowerPoint Tutorials

Feedback
Help Center



Getting Deeper into Logic: Propositional Logic


Ampersand   A symbol (&) for and, 274
Antecedent   In a conditional statement, the component that immediately follows the word "if," 40, 295
Argument   A claim defended with reasons. More precisely, an argument is a set of statements, one of which (called the conclusion) is claimed or intended to be supported by the others (called the premises), 25, 50; cogent, 82--83, 222--223, 310, 312; complex, 32--33; deductive, 52--67, 83; explanation and, 42--43; inductive, 52--62, 67, 71, 83, 305--350; invalid, 74--78, 83; not a fight, 407--409; simple, 32--33; sound, 78, 83, 222--223, 310; strong, 78, 83, 222, 305, 312; uncogent, 82--83, 312; unsound, 78, 83; valid, 74--78, 83, 222, 276, 286; weak, 79-83, 305, 312
Arrow   a symbol (Æ) for the logical connective "if . . . then," 295; also, in argument diagramming, a symbol (Ø) for "therefore," 190
Compound statement   In logic, a statement that contains at least one simple statement as a component, 272
Conditional statement   An "if...then" statement, 39--40, 196, 295--301
Conjunction   A compound statement of the form "A and B," 272-280
Consequent   In a conditional statement, the part that immediately follows the word "then," 40, 295
Disjunction   A compound statement of the form "Either A or B," 196; in propositional logic, 291--294
Exclusive sense of "or"   The sense of "or" in which it means "either A or B, but not both," 291
Negation   Denial; symbolized by the tilde (~), 280--289
Nonexclusive sense of "or"   The sense of "or" in which it means "either A or B, or both A and B," 291
Principle of charity   A principle of interpretation that requires that unclear passages or arguments be interpreted in the way most favorable the speaker or writer, 41--42, 59-60, 203--204, 206, 291
Propositional logic   A branch of logic that studies truth-functional compound statements, i.e., statements whose truth value depends entirely on the truth values of their component statements (e.g., statements of the form "A and B," "A or B," "not A," and "if A then B"), 271--304
Simple statement   In logic, a statement that does not contain any other statement as a component, 272
Truth table   A table in which all possible truth values of compound statements are determined by listing all possible truth values of the simple statements that make up the compound statements, 272
Truth value   The truth or falsity of a statement. If a statement is true, it has the truth value "true"; if it is false, it has the truth value "false," 272
Valid argument   A deductive argument in which the conclusion follows necessarily from the premises, 74--78, 83, 276
Wedge   A symbol (v) for "or," 291