I&C SCI 6B Chapter Notes - Chapter 1.1: Logical Biconditional, Contraposition, Truth Table

• School: UC-Irvine
• Department: Information and Computer Science
• Course: I&C SCI 6B
• Professor: Wayne Hayes

Document Summary

Textbook used: discrete mathematics and its applications, rosen, 7th edition. Propositional variables (statement variables): variables that represent propositions. Conventionally used letters for propositional variables: p, q, r, s Truth value: if it is a true proposition, denoted by t (true); if it is a false proposition, denoted by f (false) Compound propositions: new propositions formed from existing propositions using logical operators. Negation operator: constructs a new proposition from a single existing proposition. Connectives: forms a new proposition from two or more existing propositions. The conjunction of p and q is denoted by p q is the proposition p and q. the conjunction p q is true when both p and q are true and is false otherwise. The disjunction of p and q is denoted by p q is the proposition p or q. the conjunction p q is false when both p and q are false and is true otherwise. Inclusive or: use of connective or in a disjunction.