SSH 105 Chapter Notes - Chapter 7: Propositional Calculus, High-Altitude Pulmonary Edema, Mathematical Logic
Document Summary
Compound statement: a statement composed of at least two constituents, or simple, statements. Conjunct: one of two simple statements joined by a connective to form a compound statement. Conjunction: two simple statements joined by a connective to form a compound statement. Disjunct: a simple statement that is a component of a disjunction. Disjunction: a compound statement of the form either p or q . Propositional logic: the branch of deductive reasoning that deals with logical relationships among statements. Simple statement: a statement that doesn"t contain any other statements are constituents. Statement (claim): an assertion that something is or is not the case. Symbolic logic: modern deductive logic that uses symbolic language to do its work. Truth table: a table that specifies the truth values for claim variables and combinations of claim variables. Variables: in modern logic, the symbols, or letters, used to express a statement. It is impossible for a valid argument to have true premises and a false conclusion.