# Discrete Chapter 1

 Proposition Declarative sentence that is either true or false but not both Propositional variables Variables that represent propositionsp,q,r,s... Truth Value denoted by T or F Propositional Calculus the area of logic that deals with propositions (propositional logic) Compound Propositions formed from propositions by using logic operators Negation of p it is not the case that pnot p Conjunction of p and q p and q Disjunction of p and q p or q Inclusive or one or the other or both Exclusive or one or the other but not both Conditional Statement If p, then q.  Implicationp=hypothesisq=conclusion Converse q -> p Contrapositive not q -> not p Inverse not p -> not q Equivalent two compound propositions that always have the same truth value bitwise OR, AND, XOR taken on bit strings by doing the operation on the corresponding bits Aristotle greek orphanAttended Pluto's Academy in Athestutor Alexander the GreatStart school called Lyceum3 types of work - popular, compliations, science Boole England 1800's mathematicionThe Mathematical Analysis of LogicQueens College - IerlandThe Laws of Thought - Boolean Algebra Tukey Home School MassBrown for Chem, Princeton for Math & teachAT&T Bell LabCoining of words bit and software Authormi06bian ID170232 Card SetDiscrete Chapter 1 DescriptionSection 1.1 Updated2012-09-11T15:36:37Z Show Answers