{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

MIT6_042JS10_lec04

# MIT6_042JS10_lec04 - Propositional(Boolean Logic A...

This preview shows pages 1–3. Sign up to view the full content.

1 February 10, 2010 Albert R Meyer The Logic of Propositions lec 2W.1 February 10, 2010 Albert R Meyer There are 5 regular solids. 6 False lec 2W.2 Propositional (Boolean) Logic A proposition is either True or False Example: Non -examples: Wake up! Where am I? February 10, 2010 Albert R Meyer G (S J) True even if a Greek carries both a Sword and a Javelin Greeks carry Swords or Javelins lec 2W.3 English to Math February 10, 2010 Albert R Meyer G (B C) English to Math Greeks carry Bronze or Copper swords Bronze or Copper but not both lec 2W.4 February 10, 2010 Albert R Meyer Definition of OR P Q P OR Q T T T T F T F T T F F F The value of (P OR Q) is T iff P is T, or Q is T , or both are T . Truth Table for OR lec 2W.5 F iff both P,Q are F February 10, 2010 Albert R Meyer Definition of XOR P Q P XOR Q T T F T F T F T T F F F The value of (P XOR Q) is T iff exactly one of P and Q is T. Truth Table for XOR lec 2W.6

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
2 February 10, 2010 Albert R Meyer Definition of AND P Q P AND Q T T T T F F F T F F F F The value of (P AND Q) is T iff both P and Q are T .
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}