MATH 235 Midterm: exam 1 study guide
Document Summary
Has a truth value (is true or false). Opinions have no truth value due to ambiguity of words. Ex: animals which are hairy and give milk are mammals. But defining a term under a domain is a statement. Ex: biologists categorize animals which are hairy and give milk as mammals. Consist of a quantifier, a domain, and a clause. For all (universal quantifier) all/none two / at least infinite, but not all. There exists (existential quantifier) at least one/ or modified further such as at least. Use a table to sort multiple quantified statements: A or b (inclusive) not a (only true when a is false) Also means: if a then b + if b then a. Series of statements of known truth value to show truth value of statement with unknown truth value. Purpose is to convince someone else, so proofs have to be understandable.