CSC 226 Chapter Notes - Chapter 1.1: Automated Reasoning, Truth Table
Document Summary
Proposition: a statement that is either true or false: example propositions: There are an infinite number of prime numbers (true) The declaration of independence was signed on july 4, 1812 (false: e(cid:454)a(cid:373)ples of thi(cid:374)gs that are(cid:374)(cid:859)t propositio(cid:374)s: What time is it? (this is a question) Have a great day. (this is a command) Truth value: a value that indicates whether the proposition is true or false. The proposition can only be true or false- it cannot be both: can be symbolized using t and f, or 0 (false) and 1 (true, examples of propositions + truth values: The extinction of the dinosaurs was caused by a meteor. Compound proposition: individual propositions that are connected with logical operations. Logical operations: an operation that combines propositions using a particular composition rule. The (cid:448)aria(cid:271)les (cid:858)p(cid:859), (cid:858)q(cid:859), a(cid:374)d (cid:858)r(cid:859) are (cid:373)ost (cid:272)o(cid:373)(cid:373)o(cid:374)l(cid:455) used as (cid:448)aria(cid:271)les to de(cid:374)ote propositions: for example:
