Lecture Notes for CSCI 243 - Discrete Structures of CSCI at William & Mary (W&M)

Notes Information

Material Type:Class Note
Class:CSCI 243 - Discrete Structures of CSCI
Subject:Computer Science
University:William and Mary
  • Either...or
  • Consequence
  • Contrapositive
  • Conjunction
  • Proposition
  • Exclusive Or
  • Contradiction
  • Propositional
  • Possible Values
  • The President
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

9/6/2002 1 CSci 243 Discrete Structures Lecture 5 Logic 1 9/6/2002 2 Outline . Introduction, Propositions . Compound Propositions .Truth Tables . Tautologies and Contradictions . Predicates and Quantification 9/6/2002 3 Introduction to Logic . Statements are either true or false . Some statements are very hard to evaluate . Ex: has no integral solutions for x, y, and z when n>2 . QC: , x=? y=? z=? . I have discovered a truly remarkable proof which this margin is too small to contain - Fermat nnn zyx =+ 222 zyx =+ 9/6/2002 4 Introduction to Logic (cont) .We can: . Abstract the details of a statement . Perform meaning-preserving translations to simplify . Maybe prove the argument invalid regardless of the details, or the truth of the details . Ex: Bob is drunk or he's sleepy and needs a rest A or B and C 9/6/2002 5 Propositions . Propositions: . My name is Maximillian. . 1+1=2 . Not propositions: .Helo! . Where is McGloughlin-S...

Related Documents

Either...or Exam
Either...or Notes
Either...or Exam
Proposition Notes
Either...or Notes
Propositional Logic Notes
Propositional Exam
Either...or Exam
Definite Truth Values Notes
Particularly Notes
Exclusive Or Notes
Complete Formulas Notes
Either...or Notes
Either...or Notes
Forward Chaining Notes
Either...or Notes
155, "/var/app/current/tmp/"