-
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 LogicQueens 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
|
|
