
Proposition
Declarative sentence that is either true or false but not both

Propositional variables
 Variables that represent propositions
 p,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 p
 not 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. Implication
 p=hypothesis
 q=conclusion


Contrapositive
not q > not p


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 orphan
 Attended Pluto's Academy in Athes
 tutor Alexander the Great
 Start school called Lyceum
 3 types of work  popular, compliations, science

Boole
 England 1800's mathematicion
 The Mathematical Analysis of Logic
 Queens College  Ierland
 The Laws of Thought  Boolean Algebra

Tukey
 Home School Mass
 Brown for Chem, Princeton for Math & teach
 AT&T Bell Lab
 Coining of words bit and software

