SSH 105 Lecture Notes - Lecture 12: Truth Table, Deductive Reasoning
Document Summary
Proposiional logic: the branch of deducive reasoning that deals with the logical relaionship among statements. Symbolic logic: modern deducive logic that uses symbolic language to do its work: there are two types of symbols used to express an argument: Variables: the symbols or leters used to express a statement. Symbols for the logical connecives that indicate the relaionships between statements. Simple statement: a statement that doesn"t contain any other statements as consituents. Compound statement: a statement composed of at least two consituents, or simple, statements. Truth table: a table that speciies the truth values for claim variables and combinaions of claim variables in symbolized statements or arguments. Inclusive: one or the other, or both (e. g. if he"s sick or ired, he won"t go jogging) Exclusive: either but not both (e. g. you can have either the chicken or the ish as your in-light meal) p.