SLIDE 1
1
February 11, 2015
Mathematics for Computer Science 6.042J/18.062J
Propositions & Logical Operations
Albert R Meyer
propositional ops.1 February 11, 2015
Albert R Meyer
There are 5 regular solids. True 6
Propositional (Boolean) Logic
A proposition is either True or False
Example:
False
Non-examples:
Wake up! Where am I? It’s 3PM.
propositional ops.2 February 11, 2015
Albert R Meyer
IMPLIES OR
G (S J)
G → (S ∨
English to Math
Greeks carry Swords or Javelins
J)
True even if a Greek carries both a Sword and a Javelin
propositional ops.3 February 11, 2015
Albert R Meyer
IMPLIES XOR
G (B C)
English to Math
Greeks carry Bronze or Copper swords
G → (B ⊕ C)
Bronze or Copper but not both
propositional ops.4