CSC 226 Chapter 1.2: CSC226 Zybooks 1.2 Notes (Evaluating Compound Propositions)
Document Summary
In the same way that normal mathematical operations have an order of operations, so too do the operations within compound propositions: the order is: 3) (cid:1166) (or: an example, using p(cid:1166)q(cid:1165)r should translate into p(cid:1166)(q(cid:1165)r) To evaluate a compound proposition, roll through the order of operations, keeping in mind what each operation does to a proposition. Remember- (cid:1165) only results in a true value if both sides of it are true, (cid:1166) is true if at least one side of the operation is true, and negates the proposition it is placed next to. Inside, there is one symbol next to q. Since q is true, putting a not next to it turns it into false: the value inside the parentheses is now true (or) false. Since there is a true on at least one side of the or, it resolves into a.