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

Notes Information

 Material Type: Class Note Professor: Staff Class: CSCI 243 - Discrete Structures of CSCI Subject: Computer Science University: William and Mary Term: -- Keywords: Either...orConsequenceContrapositiveConjunctionPropositionExclusive OrContradictionPropositionalPossible ValuesThe President

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